Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education Peking University, Beijing, 100871, China;
Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education Peking University, Beijing, 100871, China;
Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education Peking University, Beijing, 100871, China;
Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education Peking University, Beijing, 100871, China;
Department of Computer Science, North Carolina State University, Raleigh, NC 27695, USA;
Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education Peking University, Beijing, 100871, China;
static analysis tools; warning prioritization; training-set construction; generic-bug-related lines;
机译:海绵宝宝:以响应静态代码分析警告自动生成修复建议
机译:使用故障模式和有效分析建设项目的混合风险优先级方法
机译:静电随机系统分析施工施工集
机译:自动构建优先静态分析警告的有效训练集
机译:使用新的静态分析警告生成错误显示输入
机译:用主成分分析法建立有效校准体内循环伏安数据的训练集
机译:轻松发出警告:应用于自动静态分析的salutogenesis模型的原理