design by contract; empirical study; runtime assertion checking; test oracles;
机译:基于oracles飞机观测的仿真衍生出直接气溶胶辐射效果的参数化
机译:基于oracles飞机观测的仿真衍生出直接气溶胶辐射效果的参数化
机译:痴迷的疯子和千里眼的甲骨文:通过经验验证的企业家行为模式
机译:对oracles的断言的实证评估
机译:对JML断言作为测试预言有效性的经验评估。
机译:使用经验语义相关性来解释临床文本中的时间断言
机译:Gassert:完全自动化的工具,以改善断言oracles
机译:评估竞争源选择中的知识产权和数据权利 - 将断言过程提升到一个新的水平,以促进开放系统架构。