Cong Tian, Zhenhua Duan. Detecting spurious counterexamples efficiently in abstract model checking. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 202-211, IEEE / ACM, 2013. [doi]
Abstract is missing.