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 | |
| Müller, Romek |
Projects the publication originates from
Duration: since 01/11/2003 Type of project: Own resources project |