TY  - RPRT
AU  - Brucker, Achim D.
AU  - Wolff, Burkhart
PY  - 2005/apr/
TI  - HOL-TestGen 1.0.0 User Guide
IS  - 482
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-2005
L1  - http://www.brucker.ch/bibliography/download/2005/brucker.ea-hol-testgen-2005.pdf
ID  - brucker.ea:hol-testgen:2005
ER  -