课题基金 / 基金详情

Dependence Analysis of Reactive Programs and Its Applications

Dependence Analysis of Reactive Programs and Its Applications
反应式程序的依赖分析及其应用
批准号：
16H07031
负责人：
Zhao Jianjun
金额：
$1.91万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-08-26 至 2018-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16H07031/
关键词：
プログラム解析ソフトウェア理解リアクティブプログラムプログラム理解ソフトウェアテストプログラム依存性解析ソフトウエアテスト

项目摘要

项目成果

Zhao Jianjun的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Scala向けの差分解析アルゴリズム
Scala 的差异分析算法
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [文海辰, 趙建軍]
通讯作者： 趙建軍
Tuning parallel symbolic execution engine for better performance
调整并行符号执行引擎以获得更好的性能
DOI： 10.1007/s11704-016-5459-9
发表时间： 2018-01
期刊： Frontiers of Computer Science
影响因子： 4.2
作者： [Karna Anil Kumar, du Jinbo, Shen Haihao, Zhong Hao, Gong Jiong, Yu Haibo, Ma Xiangning, Zhao Jianjun]
通讯作者： Zhao Jianjun
Shanghai Jiaotong University(China)
上海交通大学（中国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
The role of model checking in software engineering
模型检查在软件工程中的作用
DOI： 10.1007/s11704-016-6192-0
发表时间： 2018-06
期刊： Frontiers of Computer Science
影响因子： 4.2
作者： [Karna Anil Kumar, Chen Yuting, Yu Haibo, Zhong Hao, Zhao Jianjun]
通讯作者： Zhao Jianjun
共 6 条
    Automated Testing of Deep Learning Systems
    • 批准号：
      19H04086
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $10.98万
    • 财政年份：
      2019
    • 负责人：
      Zhao Jianjun
    • 依托单位：
      Kyushu University