Home | deutsch  | Legals | Sitemap | KIT

Verification Based Test Case Generation

Verification Based Test Case Generation
Type:Diplomarbeit
Date:2006
Supervisor:

Prof. P. H. Schmitt
Prof. R. Hähnle

Author:

Christian Engel

BibTeX

@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/publications/da.pdf},
        month = {aug},
}