Refining CEGAR-Based Test-Case Generation with Feasibility Annotations.

Max Barth, Marie-Christine Jakobs

Browse the full TAP paper archive.