TY - RPRT AU - Brucker, Achim D. AU - Brügger, Lukas AU - Krieger, Matthias P. AU - Wolff, Burkhart PY - 2012 DA - 2012/04/ TI - HOL-TestGen 1.7.0 User Guide IS - 1551 PB - Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France KW - symbolic test case generations, black box testing, theorem proving, Isabelle/HOL L1 - https://www.brucker.ch/bibliography/download/2012/brucker.ea-hol-testgen-2012.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2012 LA - USenglish ID - brucker.ea:hol-testgen:2012 ER -