@inproceedings{conf/iwpc/GaoMSSZMMDDZC18,
added-at = {2019-09-16T00:00:00.000+0200},
author = {Gao, Qing and Ma, Sen and Shao, Sihao and Sui, Yulei and Zhao, Guoliang and Ma, Luyao and Ma, Xiao and Duan, Fuyao and Deng, Xiao and Zhang, Shikun and Chen, Xianglong},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bdb8093932b18956032a08444e36be50/dblp},
booktitle = {ICPC},
crossref = {conf/iwpc/2018},
editor = {Khomh, Foutse and Roy, Chanchal K. and Siegmund, Janet},
ee = {https://doi.org/10.1145/3196321.3196367},
interhash = {a39ebe11236151621328755ee1457b9a},
intrahash = {bdb8093932b18956032a08444e36be50},
keywords = {dblp},
pages = {385-388},
publisher = {ACM},
timestamp = {2019-09-27T14:09:34.000+0200},
title = {CoBOT: static C/C++ bug detection in the presence of incomplete code.},
url = {http://dblp.uni-trier.de/db/conf/iwpc/icpc2018.html#GaoMSSZMMDDZC18},
year = 2018
}