Alex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245