搜索结果: 1-1 共查到“计算机科学技术基础学科 abductive inference”相关记录1条 . 查询时间(0.171 秒)
Automated Error Diagnosis Using Abductive Inference
Error diagnosis abductive inference static analysis
2016/5/24
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but ...