Technical Report

Graz University of Technology created the following technical report on their lastest research results:

Bernhard K. Aichernig, Elisabeth J√∂bstl, Matthias Kegele: “Incremental Refinement Checking for Test Case Generation”. Graz University of Technology – Institute for Software Technology, no. IST-MBT-2013-01, January 2013 [PDF]

Advertisements