Detecting spurious counterexamples efficiently in abstract model checking.

Cong Tian, Zhenhua Duan

Browse the full ICSE paper archive.