Home | english  | Impressum | Sitemap | KIT

Verification Based Test Case Generation

Verification Based Test Case Generation
Typ:Diplomarbeit
Datum:2006
Betreuer:

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

Bearbeiter:

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},
}