TY  - RPRT
AU  - Brucker, Achim D.
AU  - Brügger, Lukas
AU  - Krieger, Matthias P.
AU  - Wolff, Burkhart
PY  - 2010/apr/
TI  - HOL-TestGen 1.5.0 User Guide
IS  - 670
PB  - ETH Zurich
KW  - symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2010
L1  - http://www.brucker.ch/bibliography/download/2010/brucker.ea-hol-testgen-2010.pdf
ID  - brucker.ea:hol-testgen:2010
ER  -