Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder. - Elmin Ibrahimov; Jixing Wang; Zhi Quan Zhou 001 (QSIC, 2013)