Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. SMC@FLoC 1999: 11-22