HOL-TestGen 1.0.0 User Guide

By Achim D. Brucker and Burkhart Wolff.

Keywords:
Symbolic Test Case Generations, Black Box Testing, Theorem Proving, Isabelle/HOL

Please cite this work as follows:
A. D. Brucker and B. Wolff, “HOL-TestGen 1.0.0 user guide,” ETH Zurich, 482, Apr. 2005. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-2005/

BibTeX
@TechReport{ brucker.ea:hol-testgen:2005,
  author      = {Achim D. Brucker and Burkhart Wolff},
  institution = {ETH Zurich},
  language    = {USenglish},
  month       = {apr},
  title       = {{HOL-TestGen} 1.0.0 User Guide},
  areas       = {formal methods, software},
  keywords    = {Symbolic Test Case Generations, Black Box Testing, Theorem
                 Proving, Isabelle/HOL},
  year        = {2005},
  number      = {482},
  num_pages   = {50},
  note        = {Author copy: \url{https://logicalhacking.com/publications/brucker.ea-hol-testgen-2005/}},
  pdf         = {https://logicalhacking.com/publications/brucker.ea-hol-testgen-2005/brucker.ea-hol-testgen-2005.pdf},
}