Using Runtime Analysis to Guide Model Checking of Java Programs. - Penix, John; Visser, Willem; Havelund, Klaus (SPIN Model Checking & Software Verification, 2000)