搜索结果: 1-1 共查到“计算机运行测试与性能评价 Bug Detection Systems”相关记录1条 . 查询时间(0.087 秒)
Soundness and its Role in Bug Detection Systems
Soundness Role Bug Detection Systems
font style='font-size:12px;'>
2016/5/24
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...