Counterexample Guided Abstraction Refinement Via Program Execution.

Daniel Kroening, Alex Groce, Edmund M. Clarke

Browse the full ICFEM paper archive.