机译:基于突变分析的Simulink模型测试数据生成的新启发式元启发式适应度函数
机译:基于模型的测试 - 套件优化的性能比较使用进化算法和贪婪启发式算法
机译:基于Simulink的光纤陀螺动态寻北仪算法建模与分析
机译:使用凌乱遗传算法对Simulink / Stateflow模型进行过渡覆盖测试
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:具有块对角协方差结构的贝叶斯模型下的特征选择启发式算法
机译:使用分离的RRT空间的Simulink / StateFlow模型的测试用例
机译:在stateflow(注册商标)环境中建模,以支持Nasa空间发射系统中任务和故障管理算法的运载火箭验证测试。