Christoph Lembeck, Roger A. Müller, Herbert Kuchen. Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. In Peter Dadam, Manfred Reichert, editors, INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. Volume 51 of LNI, pages 418-427, GI, 2004.
Abstract is missing.