Detecting missing-check bugs via semantic- and context-aware criticalness and constraints inferences
Detecting missing-check bugs via semantic- and context-aware criticalness and constraints inferences
复制标题
通过语义和上下文感知的关键性和约束推断来检测遗漏检查错误
DOI:
10.5555/3361338.3361461
复制
发表时间:
2019
期刊:
影响因子:
--
通讯作者:
Wu, Qiushi
中科院分区:
文献类型:
--
作者:
Lu, Kangjie Lu;Pakki, Aditya;Wu, Qiushi