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

B. Aichernig

Abstract:

Reference: B. Aichernig. Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, January 2001. Supervisor: Peter Lucas.