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

Lembeck C, Müller R, Kuchen H



Publikationstyp
Aufsatz (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2004

Konferenz
34. Jahrestagung der Gesellschaft für Informatik

Konferenzort
Ulm

Erste Seite
418

Letzte Seite
427

Seiten
418-427

Band
P-51

Reihe
Lecture Notes in Informatics

Sprache
Deutsch

Gesamter Text