Transactional Symbolic Execution
Transactional Symbolic Execution
事务符号执行
批准号：
26730033
负责人：
Arahori Yoshitaka
金额：
$2.41万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
静的コード解析に基づくプルリクエスト品質即時計測
基于静态代码分析的拉取请求质量即时测量
基于静态代码分析的拉取请求质量即时测量
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[佐々木俊亮, 荒堀喜貴, 権藤克彦]
通讯作者：
権藤克彦
Code Oriented Diagram Editorを用いた並行バグの可視化
使用面向代码的图表编辑器可视化并行错误
使用面向代码的图表编辑器可视化并行错误
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄]
通讯作者：
渡部卓雄
動的バイナリ計装に基づく正確なヒープ境界検査
基于动态二进制检测的准确堆边界检查
基于动态二进制检测的准确堆边界检查
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[長田晃太朗, 荒堀喜貴, 権藤克彦]
通讯作者：
権藤克彦
Research on Efficient and Precise Runtime Checking of Concurrent Software
-
批准号：16K00093
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2016
-
负责人：Arahori Yoshitaka
-
依托单位：
海外基金
