HOL-TestGen 1.7.0 User Guide

by Achim D. Brucker, Lukas Brügger, Matthias P. Krieger, and Burkhart Wolff

Cover for brucker.ea:hol-testgen:2012.

Keywords: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
Categories: ,
Documents: (full text as PDF file)

QR Code for brucker.ea:hol-testgen:2012.Please cite this article as follows:
Achim D. Brucker, Lukas Brügger, Matthias P. Krieger, and Burkhart Wolff. HOL-TestGen 1.7.0 User Guide. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France, Technical Report 1551, 2012.
Keywords: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
(full text as PDF file) (BibTeX) (Endnote) (RIS) (Word) (Share article on LinkedIn. Share article on CiteULike. )

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},
keywords = {symbolic test case generations, black box testing, theorem proving, Isabelle/HOL},
language = {USenglish},
month = {apr},
num_pages = {120},
number = {1551},
pdf = {https://www.brucker.ch/bibliography/download/2012/brucker.ea-hol-testgen-2012.pdf},
title = {{HOL-TestGen} 1.7.0 User Guide},
url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2012},
year = {2012},
}