搜索结果: 1-1 共查到“软件开发环境与开发技术 Belief”相关记录1条 . 查询时间(0.109 秒)
From Uncertainty to Belief:Inferring the Specification Within
Uncertainty Belief Inferring the Specification Within
2015/8/7
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework ...