Automated model checking and testing for composite Web services

Hai Huang, Wei Tek Tsai, Raymond Paul, Yinong Chen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

99 Scopus citations

Fingerprint

Dive into the research topics of 'Automated model checking and testing for composite Web services'. Together they form a unique fingerprint.

Engineering & Materials Science