pdfreaders.org

HOL-TestGen: An Interactive Test-case Generation Framework

by Achim D. Brucker and Burkhart Wolff

Keywords:
Categories:
Documents:

QR Code for talk:brucker.ea:hol-testgen:2008.Please cite this article as follows:
Achim D. Brucker and Burkhart Wolff. HOL-TestGen: An Interactive Test-case Generation Framework. Fundamental Approaches to Software Engineering (FASE09), York, UK, 27. mar. 2009.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker.ea:hol-testgen:2008,
address = {York, UK},
author = {Achim D. Brucker and Burkhart Wolff},
day = {27},
event = {Fundamental Approaches to Software Engineering {(FASE09)}},
handout = {https://www.brucker.ch/bibliography/download/2009/talk-brucker.ea-hol-testgen-2009-2x2.pdf},
isodate = {2009-03-27},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {mar},
slides = {https://www.brucker.ch/bibliography/download/2009/talk-brucker.ea-hol-testgen-2009.pdf},
title = {HOL-TestGen: An Interactive Test-case Generation Framework},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-testgen-2008},
year = {2009},
}