* ICSE 2018 * (series) / ICPC 2018 (series) / Technical Research / CoBOT: Static C/C++ Bug Detection in the Presence of Incomplete Code
CoBOT: Static C/C++ Bug Detection in the Presence of Incomplete CodeTool Demo
Sun 27 May Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 27 May
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 14:00 - 14:17 Full-paper | Cheng ZhouYangzhou University, Bin LiYangzhou University, Xiaobing SunYangzhou University, Hongjing GuoYangzhou University | |||||||||||||||||||||||||||||||||||||||||
| 14:17 - 14:27 Short-paper | Qing GaoPeking University, Sen MaPeking University, Sihao Shao, Yulei SuiUniversity of Technology Sydney, Australia, Guoliang ZhaoCASIC_CQC Software Testing and Assessment Technology(Beijing) Corporation, Ltd., Luyao MaPeking University, Xiao MaPeking University, Fuyao Duan, Xiao DengPeking University, Shikun ZhangPeking University, Xianglong ChenCASC Software Testing Center | |||||||||||||||||||||||||||||||||||||||||
| 14:28 - 14:45 Full-paper | Yun ZhangZhejiang University, David LoSingapore Management University, Xin XiaMonash University, Jing JiangBeihang University, Jianling SunZhejiang University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:02 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 15:02 - 15:19 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 15:19 - 15:26 Short-paper | Joshua ScarsbrookUniversity of Waikato, Ryan KoUniversity of Waikato, Bill RogersUniversity of Waikato, David BainbridgeUniversity of Waikato | |||||||||||||||||||||||||||||||||||||||||