EFSM; real-time embedded software; software testing; test case;
机译:基于EFSM的面向嵌入式软件的权重一致性测试
机译:基于EFSM的面向嵌入式软件的权重一致性测试
机译:基于EFSM的嵌入式软件基于权重的Concolic测试Giuseppe Di Guglielmo
机译:基于时间扩展EFSM的实时嵌入式软件测试用例:一个案例研究
机译:基于组件的实时嵌入式系统的基于模型的测试技术
机译:用于软件测试案例生成的实时扩展接口自动机
机译:基于实时扩展UmL和改进形式化方法的实时嵌入式软件测试集成应用