Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern.

Christoph Lembeck, Roger A. Mller, Herbert Kuchen

Browse the full GI paper archive.