HOL-TestGen 1.7.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.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/

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