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]
@inproceedings{LuTYD21,
title = {Improving Quality of Counterexamples in Model Checking via Automated Planning},
author = {Xu Lu and Cong Tian and Bin Yu and Zhenhua Duan},
year = {2021},
doi = {10.1109/QRS54544.2021.00079},
url = {https://doi.org/10.1109/QRS54544.2021.00079},
researchr = {https://researchr.org/publication/LuTYD21},
cites = {0},
citedby = {0},
pages = {691-701},
booktitle = {21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021},
publisher = {IEEE},
isbn = {978-1-6654-5813-9},
}