Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser

Browse the full TACAS paper archive.