HOL-TestGen 1.8.0 User Guide

By Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, and Burkhart Wolff.

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

Please cite this work as follows:
A. D. Brucker et al., “HOL-TestGen 1.8.0 user guide,” Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France, 1586, Apr. 2016. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-2016/

BibTeX
@TechReport{ brucker.ea:hol-testgen:2016,
  author      = {Achim D. Brucker and Lukas Br{\"u}gger and Abderrahmane
                 Feliachi and Chantal Keller and Matthias P. Krieger and
                 Delphine Longuet and Yakoub Nemouchi and Fr{\'e}d{\'e}ric
                 Tuong and Burkhart Wolff},
  institution = {Laboratoire en Recherche en Informatique (LRI), Universit\'e
                 Paris-Sud 11, France},
  language    = {USenglish},
  month       = {apr},
  title       = {{HOL-TestGen} 1.8.0 User Guide},
  areas       = {formal methods, software},
  keywords    = {Symbolic Test Case Generations, Black Box Testing, Theorem
                 Proving, Isabelle/HOL},
  year        = {2016},
  number      = {1586},
  num_pages   = {111},
  note        = {Author copy: \url{https://logicalhacking.com/publications/brucker.ea-hol-testgen-2016/}},
  pdf         = {https://logicalhacking.com/publications/brucker.ea-hol-testgen-2016/brucker.ea-hol-testgen-2016.pdf},
}