Practical combinatorial interaction testing with fault locating capability
Practical combinatorial interaction testing with fault locating capability
具有故障定位能力的实用组合交互测试
批准号：
15K00098
负责人：
Tsuchiya Tatsuhiro
金额：
$3.0万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ソフトウェアテストと安全性
软件测试和安全
软件测试和安全
DOI：
--
发表时间：
2016
期刊：
信頼性学会誌「信頼性」
影响因子：
--
作者：
[Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, 土屋達弘]
通讯作者：
土屋達弘
貪欲法による組み合わせテスト集合生成における高速化について
利用贪心法加速组合测试集生成
利用贪心法加速组合测试集生成
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, 土屋達弘, 土屋達弘, 小西達也，小島英春，中川博之，土屋達弘, 小西達也，小島英春，中川博之，土屋達弘, 大橋輝，土屋達弘, 大橋 輝，土屋達弘]
通讯作者：
大橋 輝，土屋達弘
組み合わせテスト集合生成におけるテストケース候補数の最適化について
关于组合测试集生成中候选测试用例数量的优化
关于组合测试集生成中候选测试用例数量的优化
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[香川莉穂, 松日楽信人,染谷祐理子,菅谷みどり, 大橋 輝，土屋達弘]
通讯作者：
大橋 輝，土屋達弘
DOI：
10.1109/icstw.2017.49
发表时间：
2017-03
期刊：
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
影响因子：
--
作者：
[Tatsuya Konishi;Hideharu Kojima;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya]
通讯作者：
Tatsuya Konishi;Hideharu Kojima;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya
ZDDアルゴリズムを用いた高強度テストケース生成法
使用ZDD算法的高强度测试用例生成方法
使用ZDD算法的高强度测试用例生成方法
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, 土屋達弘, 土屋達弘, 小西達也，小島英春，中川博之，土屋達弘, 小西達也，小島英春，中川博之，土屋達弘, 大橋輝，土屋達弘]
通讯作者：
大橋輝，土屋達弘
共 11 条
Using formal verification to establish the trustability of smart contracts and their platforms
-
批准号：18KT0098
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.83万
-
财政年份：2018
-
负责人：Tsuchiya Tatsuhiro
-
依托单位：