Incremental Refinement Checking for Test Case Generation.

Bernhard K. Aichernig, Elisabeth Jbstl, Matthias Kegele

Browse the full TAP paper archive.