Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2001

Cite this

@phdthesis{e953fff0582e43b58ac366a49797ddd2,
title = "Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques",
author = "Bernhard Aichernig",
year = "2001",
language = "English",

}

TY - THES

T1 - Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques

AU - Aichernig, Bernhard

PY - 2001

Y1 - 2001

M3 - Doctoral Thesis

ER -