Theorem-prover based Testing with HOL-TestGen

by Achim D. Brucker and Burkhart Wolff

Keywords:
Categories:
Documents:

QR Code for talk:brucker.ea:theorem-prover:2007.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) (Share article on LinkedIn. Share article on CiteULike. )

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},
}