Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern
Lembeck C, Müller R, Kuchen H
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