Cong Tian, Zhao Duan, Zhenhua Duan. Accelerating counterexample detection in software model checking. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 250-251, ACM, 2018. [doi]
@inproceedings{TianDD18,
title = {Accelerating counterexample detection in software model checking},
author = {Cong Tian and Zhao Duan and Zhenhua Duan},
year = {2018},
doi = {10.1145/3183440.3194955},
url = {http://doi.acm.org/10.1145/3183440.3194955},
researchr = {https://researchr.org/publication/TianDD18},
cites = {0},
citedby = {0},
pages = {250-251},
booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},
publisher = {ACM},
}