A Symbolic Java Vitual Machine for Test-Case Generation
Müller R, Lembeck C, Kuchen H
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Page range: 365-371
Status: Published
Release year: 2004
Language in which the publication is written: English
Conference: IASTED
Link to the full text: http://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/IASTED04.ps.gz
Authors from the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |
| Müller, Romek | Institute of Physical Chemistry |