A Symbolic Java Vitual Machine for Test-Case Generation

Müller R, Lembeck C, Kuchen H

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Seitenbereich365-371
StatusVeröffentlicht
Veröffentlichungsjahr2004
Sprache, in der die Publikation verfasst istEnglisch
KonferenzIASTED
Link zum Volltexthttp://danae.uni-muenster.de/lehre/kuchen/PUBLICATIONS/IASTED04.ps.gz

Autor*innen der Universität Münster

Kuchen, Herbert
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)
Müller, Romek
Institut für Physikalische Chemie