搜索结果: 1-1 共查到“计算机软件 Static Analysis Approximations”相关记录1条 . 查询时间(0.116 秒)
Z-Ranking:Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Z-Ranking Statistical Analysis Static Analysis Approximations
2015/8/7
This paper explores z-ranking, a technique to rank error reports emitted by static program checking analysis tools. Such tools often use approximate analysis schemes, leading to false error reports. T...