Prof. P. H. Schmitt Prof. R. Hähnle
Christian Engel
@MastersThesis{Engel06, author = {Christian Engel}, title = {Verification Based Test Case Generation}, school = {{U}niversit\"{a}t {K}arlsruhe}, year = {2006}, address = {http://i12www.ira.uka.de/$\sim$engelc/publications/da.pdf}, month = {aug}, }