A scalable Monte-Carlo test-case generation tool for large and complex simulink models
A scalable Monte-Carlo test-case generation tool for large and complex simulink models
复制标题
适用于大型复杂 simulink 模型的可扩展蒙特卡罗测试用例生成工具
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Toshiaki Aoki
中科院分区：
文献类型：
--
作者：
Takashi Tomita;Daisuke Ishii;Toru Murakami;Shigeki Takeuchi;Toshiaki Aoki
登录
查看更多内容
Simulink 模型基于突变的测试用例生成
DOI：
--
发表时间：
2009
期刊：
Formal Methods for Components and Objects
影响因子：
--
作者：
Angelo Brillout;Nannan He;M. Mazzucchi;D. Kroening;M. Purandare;Philipp Rümmer;Georg Weissenbacher
通讯作者：
Georg Weissenbacher
SmartTestGen：用于增强结构覆盖的测试套件助推器
影响因子：
3.7
作者：
Sachin Raviram;P. Peranandam;M. Satpathy;S. Ramesh
通讯作者：
S. Ramesh
经验报告：reactis验证工具
DOI：
10.1145/1291151.1291172
发表时间：
2007
期刊：
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)
影响因子：
--
作者：
Steve Sims;Daniel C. DuVarney
通讯作者：
Daniel C. DuVarney
用于增强 Simulink/Stateflow 模型覆盖范围的集成测试生成工具
DOI：
--
发表时间：
2012
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
P. Peranandam;Sachin Raviram;M. Satpathy;Anand Yeolekar;Ambar A. Gadkari;S. Ramesh
通讯作者：
S. Ramesh
SimCoTest：Simulink/Stateflow 控制器的测试套件生成工具
DOI：
--
发表时间：
2016
期刊：
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)
影响因子：
--
作者：
Reza Matinnejad;S. Nejati;L. Briand;Thomas Bruckmann
通讯作者：
Thomas Bruckmann