Improving Quality of Counterexamples in Model Checking via Automated Planning.

Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

Browse the full QRS paper archive.