PROGRAMMED TEST CASE GENERATION FROM SIMULINK/STATEFLOW MODEL

机译：使用模型检查从Simulink / Stateflow模型自动生成测试用例

机译：使用扩展自动机为Simulink / Stateflow建模系统自动生成测试并进行错误定位

机译：使用Crest工具为Simulink / Stateflow模型生成分支覆盖测试数据

机译：集成的测试生成工具，用于增强Simulink / Stateflow模型的覆盖范围

机译：将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。

机译：干板支持外部质量评估计划用于基于下一代测序的HIV耐药性测试

机译：使用Simulink / Stateflow模型生成测试案例并确定其优先级

机译：贝叶斯统计模型检验在stateflow / simulink验证中的应用

机译：从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例

机译：将状态流图语义转换为输入/输出扩展的有限自动机，并为Simulink /状态流图自动生成测试

机译：针对SIMULINK /状态流模型的基于有效分区细化的可达性检查