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