Model checking Java programs using structural heuristics.

Alex Groce, Willem Visser

Browse the full ISSTA paper archive.