
By Achim D. Brucker, Lukas Brügger, Matthias P. Krieger, and Burkhart Wolff.
Keywords: Symbolic Test Case Generations, Black Box Testing, Theorem Proving, Isabelle/HOL
Please cite this work as follows: A. D. Brucker, L. Brügger, M. P. Krieger, and B. Wolff, “HOL-TestGen 1.5.0 user guide,” ETH Zurich, 670, Apr. 2010. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-2010/
@TechReport{ brucker.ea:hol-testgen:2010,
author = {Achim D. Brucker and Lukas Br{\"u}gger and Matthias P.
Krieger and Burkhart Wolff},institution = {ETH Zurich},
language = {USenglish},
month = {apr},
title = {{HOL-TestGen} 1.5.0 User Guide},
areas = {formal methods, software},
keywords = {Symbolic Test Case Generations, Black Box Testing, Theorem
Proving, Isabelle/HOL},year = {2010},
number = {670},
num_pages = {248},
note = {Author copy: \url{https://logicalhacking.com/publications/brucker.ea-hol-testgen-2010/}},
pdf = {https://logicalhacking.com/publications/brucker.ea-hol-testgen-2010/brucker.ea-hol-testgen-2010.pdf},
}