%0 Report
%T HOL-TestGen 1.5.0 User Guide
%A Brucker, Achim D.
%A Brügger, Lukas
%A Krieger, Matthias P.
%A Wolff, Burkhart
%D 2010
%8 apr
%N 670
%I ETH Zurich
%G USenglish
%F brucker.ea:hol-testgen:2010
%K symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2010
%U http://www.brucker.ch/bibliography/download/2010/brucker.ea-hol-testgen-2010.pdf