...
机译:用于自动生成测试Oracle的语义方法
Univ Nebraska, Dept Comp Sci, Omaha, NE 68106 USA;
Software testing; Test case generation; Test oracle; Denotational semantics;
机译:使用模型驱动的方法自动生成测试预告片
机译:自动生成(F)LTL oracle以进行测试和调试
机译:具有正则表达式和组合技术的自动生成令人讨厌的测试用例
机译:通过指称语义自动生成测试Oracle
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:更正:ESBL检测:对第三代头孢菌素耐药性的市售生色测试与肠杆菌科中自动药敏测试的比较
机译:使用JmL运行时断言检查在没有测试规则的应用程序中自动执行变形测试
机译:自动生成测试神谕 - 从试点研究到应用