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

Bernhard Aichernig

Research output: Thesis › Doctoral Thesis › Research

Original languageEnglish
Publication statusPublished - 2001

Cite this

Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques. / Aichernig, Bernhard.

2001.

Research output: Thesis › Doctoral Thesis › Research

Aichernig, B 2001, 'Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques'.
Aichernig B. Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques. 2001.
Aichernig, Bernhard. / Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques. 2001.
@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 -