HOL-TestGen 1.8.0 User Guide

Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong und Burkhart Wolff

Cover for brucker.ea:hol-testgen:2016.

Schlüsselwörter: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
Kategorien: ,
Dokumente: (Artikel als PDF Datei)

QR Code for brucker.ea:hol-testgen:2016.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong und Burkhart Wolff. HOL-TestGen 1.8.0 User Guide. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France, Technical Report 1586, 2016.
Schlüsselwörter: symbolic test case generations, black box testing, theorem proving, Isabelle/HOL
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@TechReport{ brucker.ea:hol-testgen:2016,
author = {Achim D. Brucker and Lukas Br{\"u}gger and Abderrahmane Feliachi and Chantal Keller and Matthias P. Krieger and Delphine Longuet and Yakoub Nemouchi and Fr{\'e}d{\'e}ric Tuong 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 = {111},
number = {1586},
pdf = {https://www.brucker.ch/bibliography/download/2016/brucker.ea-hol-testgen-2016.pdf},
title = {{HOL-TestGen} 1.8.0 User Guide},
url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2016},
year = {2016},
}