Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Applying model checking to generate model-based integration tests from choreography models

 
: Wieczorek, S.; Kozyura, V.; Roth, A.; Leuschel, M.; Bendisposto, J.; Plagge, D.; Schieferdecker, I.

:

Núñez, M. ; International Federation for Information Processing -IFIP-:
Testing of software and communication systems. 21st IFIP WG 6.1 international conference TESTCOM 2009 and 9th international workshop FATES 2009 : Eindhoven, The Netherlands, November 2-4, 2009; proceedings
Berlin: Springer, 2009 (Lecture Notes in Computer Science 5826)
ISBN: 3-642-05030-1
ISBN: 978-3-642-05030-5
ISSN: 0302-9743
S.179-194
International Conference on Testing of Communicating Systems (TESTCOM) <21, 2009, Eindhoven>
International Workshop on Formal Approaches to Testing of Software (FATES) <9, 2009, Eindhoven>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/N-122990.html