Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern
Lembeck C, Müller R, Kuchen H
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Seitenbereich: 418-427
Titel der Reihe: Lecture Notes in Informatics
Nr. in Reihe: P-51
Status: Veröffentlicht
Veröffentlichungsjahr: 2004
Sprache, in der die Publikation verfasst ist: Deutsch
Konferenz: 34. Jahrestagung der Gesellschaft für Informatik, Ulm
Link zum Volltext: http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ATPS04.pdf
Autor*innen der Universität Münster
| Kuchen, Herbert | |
| Müller, Romek |