Incremental Refinement Checking for Test Case Generation. - Bernhard K. Aichernig; Elisabeth Jöbstl; Matthias Kegele (TAP@STAF, 2013)