Theorem-prover based Testing with HOL-TestGen
by Achim D. Brucker and Burkhart Wolff
Keywords:
Categories:
Documents:
Please cite this article as follows:
Achim D. Brucker and Burkhart Wolff.
Theorem-prover based Testing with HOL-TestGen. Tutorial at Testcom/Fates 2007, Tallinn, Estonia, 26. jun. 2007.
(slides) (handout) (BibTeX) (
BibTeX
@Talk{ talk:brucker.ea:theorem-prover:2007,
}
| address | = | {Tallinn, Estonia}, | |
| author | = | {Achim D. Brucker and Burkhart Wolff}, | |
| day | = | {26}, | |
| event | = | {Tutorial at Testcom/Fates 2007}, | |
| handout | = | {https://www.brucker.ch/bibliography/download/2007/talk-brucker.ea-theorem-prover-2007-2x2.pdf}, | |
| isodate | = | {2007-06-26}, | |
| lecturer | = | {Achim D. Brucker and Burkhart Wolff}, | |
| month | = | {jun}, | |
| slides | = | {https://www.brucker.ch/bibliography/download/2007/talk-brucker.ea-theorem-prover-2007.pdf}, | |
| title | = | {Theorem-prover based Testing with HOL-TestGen}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-theorem-prover-2007}, | |
| year | = | {2007}, |