A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds.

Sbastien Salva, Tien-Dung Cao

Browse the full SERA paper archive.