HOL-TestGen 1.0.0 User Guide
Achim D. Brucker und Burkhart Wolff
Schlüsselwörter: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
Kategorien: ,
Dokumente: (Artikel als PDF Datei)
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Burkhart Wolff.
HOL-TestGen 1.0.0 User Guide. ETH Zurich, Technical Report 482, 2005.
Schlüsselwörter: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (
)
BibTeX
@TechReport{ brucker.ea:hol-testgen:2005,
}
| author | = | {Achim D. Brucker and Burkhart Wolff}, | |
| institution | = | {ETH Zurich}, | |
| keywords | = | {symbolic test case generations, black box testing, theorem proving, Isabelle/HOL}, | |
| language | = | {USenglish}, | |
| month | = | {apr}, | |
| num_pages | = | {50}, | |
| number | = | {482}, | |
| = | {https://www.brucker.ch/bibliography/download/2005/brucker.ea-hol-testgen-2005.pdf}, | ||
| title | = | {{HOL-TestGen} 1.0.0 User Guide}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2005}, | |
| year | = | {2005}, |