Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern
Lembeck C, Müller R, Kuchen H
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Page range: 418-427
Title of series: Lecture Notes in Informatics
Volume of series: P-51
Status: Published
Release year: 2004
Language in which the publication is written: German
Conference: 34. Jahrestagung der Gesellschaft für Informatik, Ulm, undefined
Link to the full text: http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/ATPS04.pdf
Authors from the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |
| Müller, Romek | Institute of Physical Chemistry |