Testing; Automata; Clocks; Taxonomy; Task analysis; Real-time systems; Software packages;
机译:数据驱动的Koopman运算符,用于人机系统的模型共享控制
机译:更高的准确性和更低的运行时间:使用非冗余突变算子进行有效的突变分析
机译:使用MuEPL突变系统评估EPL突变算子
机译:定时系统的基于模型的变异算子:分类学和研究议程
机译:使用时移运算符进行突变测试
机译:lac oc突变体假拟突变体的分离:超级操纵基因突变的选择系统。
机译:数据驱动的Koopman运算符,用于人机系统的模型共享控制
机译:基于操作员模型的先进系统设计与评估:概念模型