%0 Report
%T HOL-TestGen 1.0.0 User Guide
%A Brucker, Achim D.
%A Wolff, Burkhart
%D 2005
%8 apr
%N 482
%I ETH Zurich
%G USenglish
%F brucker.ea:hol-testgen:2005
%K symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2005
%U http://www.brucker.ch/bibliography/download/2005/brucker.ea-hol-testgen-2005.pdf