Test-Case Generation as a Refinement Problem

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Test-case generation as a refinement problem. Technical Report IST-TEC-99-21, Institute for Software Technology (IST), Graz University of Technology, 1999.