Counterexample-Guided Precondition Inference.

Mohamed Nassim Seghir, Daniel Kroening

Browse the full ESOP paper archive.