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
Categories: ,
Documents: (full text as PDF file)
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) (
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}, | |
= | {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}, |