Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming. Automated specification inference in a combined domain via user-defined predicates. Science of Computer Programming, 148:189-212, 2017. [doi]
@article{QinHCCHM17,
title = {Automated specification inference in a combined domain via user-defined predicates},
author = {Shengchao Qin and Guanhua He and Wei-Ngan Chin and Florin Craciun and Mengda He and Zhong Ming},
year = {2017},
doi = {10.1016/j.scico.2017.05.007},
url = {https://doi.org/10.1016/j.scico.2017.05.007},
researchr = {https://researchr.org/publication/QinHCCHM17},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {148},
pages = {189-212},
}