Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
通过运行时验证和模型检查的融合实现网络软件的集成运行时监控
批准号：
26280019
负责人：
Yamamoto Mitsuharu
金额：
$10.98万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Classification of Randomly Generated Test Cases
随机生成的测试用例的分类
随机生成的测试用例的分类
DOI：
--
发表时间：
2016
期刊：
1st International Workshop on Validating Software Tests
影响因子：
--
作者：
[Cyrille Artho, Lei Ma]
通讯作者：
Lei Ma
Java Pathfinder on Android Devices
Android 设备上的 Java 探路者
Android 设备上的 Java 探路者
DOI：
10.1145/3011286.3011292
发表时间：
2016
期刊：
ACM SIGSOFT Software Engineering Notes
影响因子：
--
作者：
[Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, and Yoshinori Tanabe]
通讯作者：
and Yoshinori Tanabe
Cardinality of UDP Transmission Outcomes
UDP 传输结果的基数
UDP 传输结果的基数
DOI：
10.1007/978-3-319-25942-0_8
发表时间：
2015
期刊：
Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
影响因子：
--
作者：
[Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto]
通讯作者：
Mitsuharu Yamamoto
DOI：
10.1109/ase.2015.102
发表时间：
2015-11
期刊：
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
影响因子：
--
作者：
[Lei Ma;Cyrille Artho;Cheng Zhang;Hiroyuki Sato;Johannes Gmeiner;Rudolf Ramler]
通讯作者：
Lei Ma;Cyrille Artho;Cheng Zhang;Hiroyuki Sato;Johannes Gmeiner;Rudolf Ramler
Using Checkpointing and Virtualization for Fault Injection
使用检查点和虚拟化进行故障注入
使用检查点和虚拟化进行故障注入
DOI：
10.15803/ijnc.5.2_347
发表时间：
2015
期刊：
International Journal of Networking and Computing
影响因子：
--
作者：
[Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto]
通讯作者：
Mitsuharu Yamamoto
共 11 条