Automated Model Checking and Testing for Composite Web Services.

Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen

Browse the full ISORC paper archive.