机译:使用时序图和Simulink Stateflow建模软件需求
机译:使用模型检查从Simulink / Stateflow模型自动生成测试用例
机译:使用扩展自动机为Simulink / Stateflow建模系统自动生成测试并进行错误定位
机译:基于搜索的包含状态流图的复杂Simulink模型测试
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:基于模型的软件框架用于基于搜索的软件测试
机译:查找Simulink / Stateflow模型的依赖关系,测试序列和测试用例