机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:建立测试用例和Oracle以自动化Web数据库应用程序的测试
机译:Pat:用于网格简化程序测试的自动参考Oracle的模式分类方法
机译:用于访问控制系统的基于模型的自动化测试Oracle
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:基于健康促进模型的教育计划对伊朗冠状动脉搭桥术患者自我保健行为的影响
机译:为具有连续和不确定行为的Simulink模型生成自动化和在线测试orcacles