Accelerating counterexample detection in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan

Browse the full ICSE paper archive.