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

sébastien Salva, Tien-Dung Cao
January, 2013
PDF Cite
Type
2
Publication
Software Engineering Research, Management and Applications [Selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013, Prague, Czech Republic, August 7-9, 2013]