HOL-TestGen 1.5.0 User Guide

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/

BibTeX
@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},
}