Scott A. Carr, Francesco Logozzo, Mathias Payer. Automatic Contract Insertion with CCBot. IEEE Trans. Software Eng., 43(8):701-714, 2017. [doi]
@article{CarrLP17,
title = {Automatic Contract Insertion with CCBot},
author = {Scott A. Carr and Francesco Logozzo and Mathias Payer},
year = {2017},
doi = {10.1109/TSE.2016.2625248},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2016.2625248},
researchr = {https://researchr.org/publication/CarrLP17},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {43},
number = {8},
pages = {701-714},
}