Autor der Publikation

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

, , , und . ICTSS, Volume 7641 von Lecture Notes in Computer Science, Seite 119-135. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Timed Conformance Testing for Orchestrated Service Discovery., , und . FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 133-150. Springer, (2011)Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing., , , und . ICTSS, Volume 7641 von Lecture Notes in Computer Science, Seite 119-135. Springer, (2012)Observability and Controllability Issues in Conformance Testing of Web Service Compositions., , , und . TestCom/FATES, Volume 5826 von Lecture Notes in Computer Science, Seite 217-222. Springer, (2009)Testing Web Service Orchestrators in Context: A Symbolic Approach., , , und . SEFM, Seite 257-267. IEEE Computer Society, (2010)Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case., , , und . HASE, Seite 9-16. IEEE Computer Society, (2012)Symbolic test case generation for testing orchestrators in context. (Génération des cas de tests symboliques pour tester des orchestrateurs en contexte).. Telecom & Management SudParis, Évry, Essonne, France, (2010)