1. Aichernig, B.K.: Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, Supervisor: Peter Lucas (January 2001)
2. Lecture Notes in Computer Science;B.K. Aichernig,2001
3. Aichernig, B.K.: Test-Design through Abstraction: a Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science 7(8), 710–735 (2001)
4. Aichernig, B.K.: Contract-based mutation testing in the refinement calculus. In: REFINE 2002, the British Computer Society - Formal Aspects of Computing refinement workshop, Copenhagen, Denmark, July 20-21 (2002), affiliated with FME 2002 (2002)
5. Lecture Notes in Computer Science;R. Back,1999