机译:使用部分Oracle自动执行单元和集成测试
Department of Applied Information Processing, Ulm University, 89069 Ulm, Germany;
Department of Applied Information Processing, Ulm University, 89069 Ulm, Germany;
test automation; partial oracles; metamorphic testing; integration testing; mutation analysis; random testing;
机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:建立测试用例和Oracle以自动化Web数据库应用程序的测试
机译:自动生成(F)LTL oracle以进行测试和调试
机译:在集成环境中使用部分Oracle自动执行软件测试
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:即时自动点对点血液测试:机器人放血与下游样本处理的集成
机译:使用JmL运行时断言检查在没有测试规则的应用程序中自动执行变形测试