机译:建立测试用例和Oracle以自动化Web数据库应用程序的测试
机译:自动生成(F)LTL oracle以进行测试和调试
机译:人工神经网络和信息模糊网络作为软件测试中自动Oracle的比较研究
机译:用抽象VDM oracles自动黑盒测试
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:Anandamide摄取抑制剂VDM11对脂肪酸酰胺水解酶和单酰基甘油脂酶的抑制作用:证据表明VDM11充当FAAH底物
机译:使用JmL运行时断言检查在没有测试规则的应用程序中自动执行变形测试