Testing; Automotive engineering; Data models; Complexity theory; Safety; Automata; Manuals;
机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:嵌入式汽车系统的基于模型的实时测试
机译:分布式系统功能测试的自动化和智能调度:实践中基于模型的功能测试
机译:基于模型的自动化优先级汽车分布式系统的测试
机译:用于测试分布式系统的自动化多代理框架
机译:基于模型的测试用例优先级排序使用经过仔细检查的排序标准的基于选择性和均匀分布计数的方法
机译:基于模型的测试如何帮助汽车系统测试?