Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan. Improving Quality of Counterexamples in Model Checking via Automated Planning. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021. pages 691-701, IEEE, 2021. [doi]
Abstract is missing.