Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern
Cite as
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
Publication type
Research article in proceedings (conference)
Peer reviewed
Yes
Publication status
Published
Year
2004
Conference
34. Jahrestagung der Gesellschaft für Informatik
Venue
Ulm
Start page
418
End page
427
Volume
P-51
Title of series
Lecture Notes in Informatics
Language
German
Full text