
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.7.0 user guide,” Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France, 1551, Apr. 2012. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-2012/
@TechReport{ brucker.ea:hol-testgen:2012,
author = {Achim D. Brucker and Lukas Br{\"u}gger and Matthias P.
Krieger and Burkhart Wolff},institution = {Laboratoire en Recherche en Informatique (LRI), Universit\'e
Paris-Sud 11, France},language = {USenglish},
month = {apr},
title = {{HOL-TestGen} 1.7.0 User Guide},
areas = {formal methods, software},
keywords = {Symbolic Test Case Generations, Black Box Testing, Theorem
Proving, Isabelle/HOL},year = {2012},
number = {1551},
num_pages = {120},
note = {Author copy: \url{https://logicalhacking.com/publications/brucker.ea-hol-testgen-2012/}},
pdf = {https://logicalhacking.com/publications/brucker.ea-hol-testgen-2012/brucker.ea-hol-testgen-2012.pdf},
}