HOL-TestGen 1.5.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
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.5.0 User Guide. ETH Zurich, Technical Report 670, 2010.
Keywords: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
(full text as PDF file) (BibTeX) (Endnote) (RIS) (Word) (
BibTeX
@TechReport{ brucker.ea:hol-testgen:2010,
}
| author | = | {Achim D. Brucker and Lukas Br{\"u}gger and Matthias P. Krieger and Burkhart Wolff}, | |
| institution | = | {ETH Zurich}, | |
| keywords | = | {symbolic test case generations, black box testing, theorem proving, Isabelle/HOL}, | |
| language | = | {USenglish}, | |
| month | = | {apr}, | |
| num_pages | = | {248}, | |
| number | = | {670}, | |
| = | {https://www.brucker.ch/bibliography/download/2010/brucker.ea-hol-testgen-2010.pdf}, | ||
| title | = | {{HOL-TestGen} 1.5.0 User Guide}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2010}, | |
| year | = | {2010}, |