机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
RMIT University, Melbourne|c|;
BDI agents; Test oracles; unit testing;
机译:自动生成(F)LTL oracle以进行测试和调试
机译:使用部分Oracle自动执行单元和集成测试
机译:变异驱动的单元测试和Oracle生成
机译:用于测试移动应用程序的用户交互功能的自动生成oracles
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:三种自动化系统(MicroScan WalkAwayVITEK和VITEK 2)对铜绿假单胞菌对五种广谱β-内酰胺试剂的药敏试验的准确性
机译:基于模型的测试oracles自动转向,以承认真实的程序行为