TY - RPRT AU - Brucker, Achim D. AU - Brügger, Lukas AU - Krieger, Matthias P. AU - Wolff, Burkhart PY - 2010 DA - 2010/04/ 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 L1 - https://www.brucker.ch/bibliography/download/2010/brucker.ea-hol-testgen-2010.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2010 LA - USenglish ID - brucker.ea:hol-testgen:2010 ER -