Qing Gao, Sen Ma, Sihao Shao, Yulei Sui, Guoliang Zhao, Luyao Ma, Xiao Ma, Fuyao Duan, Xiao Deng, Shikun Zhang, Xianglong Chen
CoBOT: static C/C++ bug detection in the presence of incomplete code
ICPC, 2018.
@inproceedings{ICPC-2018-GaoMSSZMMDDZC,
author = "Qing Gao and Sen Ma and Sihao Shao and Yulei Sui and Guoliang Zhao and Luyao Ma and Xiao Ma and Fuyao Duan and Xiao Deng and Shikun Zhang and Xianglong Chen",
booktitle = "{Proceedings of the 26th International Conference on Program Comprehension}",
doi = "10.1145/3196321.3196367",
ee = "http://ieeexplore.ieee.org/document/117763425",
pages = "385--388",
publisher = "{ACM}",
title = "{CoBOT: static C/C++ bug detection in the presence of incomplete code}",
year = 2018,
}
Tags: