Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern

Lembeck C, Müller R, Kuchen H



Publication type
Conference Paper

Peer reviewed
Yes

Publication status
Published

Year
2004

Conference
34. Jahrestagung der Gesellschaft für Informatik

Venue
Ulm

Start page
418

End page
427

Pages range
418-427

Volume
P-51

Title of series
Lecture Notes in Informatics

Language
German

Full text