Generation of conformance test suites for compositions of web services using model checking
Autor(es) y otros:
Fecha de publicación:
2006-08
Descripción:
Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART). Windsor