Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding. A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 263-273, IEEE, 2022. [doi]
@inproceedings{DingLLD22,
title = {A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation},
author = {Mi Ding and Kaipeng Lin and Wang Lin and Zuohua Ding},
year = {2022},
doi = {10.1109/ISSRE55969.2022.00034},
url = {https://doi.org/10.1109/ISSRE55969.2022.00034},
researchr = {https://researchr.org/publication/DingLLD22},
cites = {0},
citedby = {0},
pages = {263-273},
booktitle = {IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
publisher = {IEEE},
isbn = {978-1-6654-5132-1},
}