Forschung
[Forschung] [Lebenslauf] [Publikationen] [Vorträge] [Lehre]
Publikationen
[sortiert nach Typ] [sortiert nach Jahr] [sortiert nach Thema]
pdfreaders.org

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: Formale Methoden, Softwaretechnik

QR Code for brucker.ea:hol-testgen:2005.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
(PDF) (BibTeX) (Endnote) (RIS) (Word 2007) (Share article on LinkedIn. Share article on CiteULike. Share article on Connotea.)

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},
pdf = {http://www.brucker.ch/bibliography/download/2005/brucker.ea-hol-testgen-2005.pdf},
title = {{HOL-TestGen} 1.0.0 User Guide},
url = {http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-testgen-2005},
year = {2005},
}