Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern
Zitieren als
Lembeck, C., Müller, R., & Kuchen, H. (2004). Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern. In Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, Ulm, 418–427.Details
Publikationstyp
Forschungsartikel in Sammelband (Konferenz)
Begutachtet
Ja
Publikationsstatus
Veröffentlicht
Jahr
2004
Konferenz
34. Jahrestagung der Gesellschaft für Informatik
Konferenzort
Ulm
Erste Seite
418
Letzte Seite
427
Band
P-51
Reihe
Lecture Notes in Informatics
Sprache
Deutsch
Gesamter Text