Zhao Jianjun 趙建軍

… Alternative Names

ZHAO Jianjun 趙建軍

Less

Researcher Number	20299580
Other IDs	https://orcid.org/0000-0001-8083-4352
Affiliation (Current)	2025: 九州大学, システム情報科学研究院, 教授
Affiliation (based on the past Project Information) *help	2016 – 2024: 九州大学, システム情報科学研究院, 教授 2005: 福岡工大, 情報工学部, 助教授 2003 – 2004: 福岡工業大学, 情報工学部, 助教授 2002: 福岡工大, 情報工学部, 助教授 2000 – 2001: 福岡工業大学, 情報工学部, 助教授 1999: 福岡工業大学, 情報工学部, 講師
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / 計算機科学 / Software Except Principal Investigator Basic Section 60050:Software-related / Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator ソフトウエアテスト / ソフトウェアテスト / ソフトウェア開発環境 / ソフトウェアアーキテクチャ / プログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証 / プログラムデバッグ / 信頼性と安全性 … More / 安全性と信頼性 / 深層学習システム / プログラム依存性解析 / プログラム理解 / リアクティブプログラム / ソフトウェア理解 / プログラム解析 / Program Slicing / Software Measurement / Development Environment / Program Dependence Analysis / Aspect-Oriented Progeramming / プログラミングスライシング / ソフトウェアの複雑さ計測 / プログラムの依存性解析 / アスペクト指向プログラミング / ソフトウェアスライシング技術 / ソフトウェアアーキテクチャの複雑さ計測 / アーキテクチャの再利用 / ソフトウェアアーキテクチャの依存性解析 / 依存性解析 / ソフトウェアの理解 / スライシング技術 … More Except Principal Investigator プログラムデバッグ / 依存性解析 / 深層学習 / Deep Neural Networks / Adversarial Robustness / 開発環境構築 / 量子プログラム / テスト / 分析 / 信頼性 / LLM / 品質保証 / 開発支援環境 / 確率的プログラミング / 回帰型ニューラルネットワーク / ソフトウエア修復 / ソフトウエアテスト / ソフトウエア解析 / 深層学習システム / 回帰型ニューラルネットワーク解析 / 知能ソフトウェア解析 / 機械学習工学 / ソフトウェア工学 / 機械学習品質保証 / 回帰型ニューラルネットワーク分析 / 知能ソフトウェア分析 / 群衆知 / デバッグ / 自動バグ修正 / 群集知 / 人工知能 Less

大規模言語モデルのための品質保証技術に関する研究
- Principal Investigator
  
  馬雷
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  The University of Tokyo
Building an Integrated Development Support Environment for Quantum Programs Based on Program Dependency Theory
- Principal Investigator
  
  于海波
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Sangyo University
Testing, Analysis, and Repair of AI-enabled Cyber-Physical SystemsPrincipal Investigator
- Principal Investigator
  
  趙建軍
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Property-Driven Quality Assurance of Adversarial Robustness of Deep Neural Networks
- Principal Investigator
  
  章甫源
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  The University of Tokyo
Constructing Integrated Development Environment for Highly Reliable Probabilistic Programs
- Principal Investigator
  
  于海波
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Sangyo University
Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems
- Principal Investigator
  
  MA LEI
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Automated Testing of Deep Learning SystemsPrincipal Investigator
- Principal Investigator
  
  Zhao Jianjun
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Crowd Knowledge Ecosystems for Automatic Bug Fixing
- Principal Investigator
  
  Ubayashi Naoyasu
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyushu University
Dependence Analysis of Reactive Programs and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  Zhao Jianjun
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Software
- Research Institution
  Kyushu University
アスペクト指向プログラム依存性理論に基づく統合的ソフトウェア開発支援環境の構築Principal Investigator
- Principal Investigator
  
  趙建軍
- Project Period (FY)
  2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Fukuoka Institute of Technology
Research on Dependence Analysis of Aspect-Oriented Programs and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  ZHAO Jianjun
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  FUKUOKA INSTITUITE OF TECHNOLOGY
ソフトウェアアーキテクチャに基づく統合的ソフトウェア開発支援環境に関する研究Principal Investigator
- Principal Investigator
  
  趙建軍
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Fukuoka Institute of Technology
ソフトウェアアーキテクチャにおける依存性理論とその応用に関する基礎研究Principal Investigator
- Principal Investigator
  
  趙建軍
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Fukuoka Institute of Technology

All 2024 2023 2022 2021 2020 2019 2018 2017 2005 2004

All Journal Article Presentation Book

[Book] "Architectural Slicing in Supporting System Evolution" in Managing Corporate Information Systems Evolution and Maintenance (K.Khan and Y.Zheng (Eds.))2005
- Author(s)
  Jianjun Zhao, Limin Xiang
- Publisher
  Idea Group Publishing
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Book] "Architectural Slicing in Supporting System Evolution" in K.Khan and K.Zheng (Eds.) Managing Corporate Information Systems Evolution and Maintenance2005
- Author(s)
  Jianjun Zhao, Limin Xiang
- Publisher
  Idea Group Publishing
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] On the effectiveness of graph data augmentation for source code learning2024
- Author(s)
  Dong Zeming、Hu Qiang、Zhang Zhenya、Zhao Jianjun
- Journal Title
  
  Knowledge-Based Systems
  
  Volume: 285 Pages: 111328-111328
- DOI
  10.1016/j.knosys.2023.111328
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
[Journal Article] FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria2023
- Author(s)
  Zhang Zhenya、Lyu Deyun、Arcaini Paolo、Ma Lei、Hasuo Ichiro、Zhao Jianjun
- Journal Title
  
  IEEE Transactions on Software Engineering
  
  Volume: 49 Issue: 4 Pages: 1842-1859
- DOI
  10.1109/tse.2022.3194640
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-19H04086
[Journal Article] TAT: Targeted backdoor attacks against visual object tracking2023
- Author(s)
  Cheng Ziyi、Wu Baoyuan、Zhang Zhenya、Zhao Jianjun
- Journal Title
  
  Pattern Recognition
  
  Volume: 142 Pages: 109629-109629
- DOI
  10.1016/j.patcog.2023.109629
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
[Journal Article] ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks2023
- Author(s)
  Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, Impact Factor 3.685)
  
  Volume: n.a.
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Journal Article] DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions2022
- Author(s)
  Ren Xuhong、Chen Jianlang、Juefei-Xu Felix、Xue Wanli、Guo Qing、Ma Lei、Zhao Jianjun、Chen Shengyong
- Journal Title
  
  Pattern Recognition
  
  Volume: 131 Pages: 108864-108864
- DOI
  10.1016/j.patcog.2022.108864
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168
[Journal Article] On the usage and development of deep learning compilers: an empirical study on TVM2022
- Author(s)
  Xiongfei Wu, Jinqiu Yang, Lei Ma, Yinxing Xue, and Jianjun Zhao
- Journal Title
  
  Empirical Software Engineering volume 27, 172, Sep. 2022 (EMSE 2022, Impact Factor 3.762)
  
  Volume: 27
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Journal Article] DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment2021
- Author(s)
  Yu Bing、Qi Hua、Qing Guo、Juefei-Xu Felix、Xie Xiaofei、Ma Lei、Zhao Jianjun
- Journal Title
  
  IEEE Transactions on Reliability
  
  Volume: - Issue: 4 Pages: 1-16
- DOI
  10.1109/tr.2021.3096332
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-19H04086
[Journal Article] DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems2019
- Author(s)
  Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao
- Journal Title
  
  26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019), ERA Track
  
  Volume: - Pages: 535-539
- DOI
  10.1109/saner.2019.8668044
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Bidirectional Transformations for Self-Adaptive Systems2019
- Author(s)
  Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu
- Journal Title
  
  Engineering Adaptive Software Systems 2019
  
  Volume: - Pages: 95-114
- DOI
  10.1007/978-981-13-2185-6_4
- ISBN
  9789811321849, 9789811321856
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240007, KAKENHI-PROJECT-18H04097
[Journal Article] DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models2018
- Author(s)
  Qiang Hu, Lei Ma, Jianjun Zhao
- Journal Title
  
  25th Asia-Pacific Software Engineering Conference (APSEC 2018), ERA Track
  
  Volume: - Pages: 628-632
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Tuning parallel symbolic execution engine for better performance2018
- Author(s)
  Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
- Journal Title
  
  Frontiers of Computer Science
  
  Volume: 12 Pages: 66-100
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07031
[Journal Article] DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems2018
- Author(s)
  Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Chunyang Chen, Ting Su, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
- Journal Title
  
  33th IEEE/ACM Conference on Automated Software Engineering (ASE 2018)
  
  Volume: - Pages: 120-131
- DOI
  10.1145/3238147.3238202
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] The Role of Model Checking in Software Engineering2018
- Author(s)
  Anil Kumar KARNA, Yuting CHEN, Haibo YU, Hao ZHONG, Jianjun ZHAO
- Journal Title
  
  Frontiers of Computer Science
  
  Volume: ー
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07031
[Journal Article] DeepMutation: Mutation Testing of Deep Learning Systems2018
- Author(s)
  Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
- Journal Title
  
  29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)
  
  Volume: - Pages: 100-111
- DOI
  10.1109/issre.2018.00021
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] <i>CLCMiner</i>: Detecting Cross-Language Clones without Intermediates2017
- Author(s)
  Xiao CHENG, Zhiming PENG, Lingxiao JIANG, Hao ZHONG, Haibo YU, Jianjun ZHAO
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E100.D Issue: 2 Pages: 273-284
- DOI
  10.1587/transinf.2016EDP7334
- NAID
  130005306534
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07031
[Journal Article] Tuning Parallel Symbolic Execution Engine for Better Performance2017
- Author(s)
  Anil Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
- Journal Title
  
  Frontiers of Computer Science
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07031
[Journal Article] The Role of Model Checking in Software Engineering2017
- Author(s)
  Anil Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao
- Journal Title
  
  Frontiers of Computer Science
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07031
[Journal Article] SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code2017
- Author(s)
  Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E100.D Issue: 3 Pages: 473-482
- DOI
  10.1587/transinf.2016EDP7388
- NAID
  130005397883
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07031
[Journal Article] A Dependence Model for Concurrency in Java Programs2005
- Author(s)
  Jianjun Zhao
- Journal Title
  
  INFORMATION : An International Journal Vol.8 No.1
  
  Pages: 111-126
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] A Dependence Model for Concurrency in Java Programs2005
- Author(s)
  Jianjun Zhao
- Journal Title
  
  INFORMATION : An International Journal Vol.8, No.1
  
  Pages: 111-126
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Architectural Slicing in Supporting System Evolution2005
- Author(s)
  Jianjun Zhao, Limin Xiang
- Journal Title
  
  Managing Corporate Information Systems Evolution and Maintenance (K. Khan and Y. Zheng (Eds.))
  
  Pages: 197-210
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] A Dependence Model for Concurrency in Java Programs2005
- Author(s)
  Jianjun Zhao
- Journal Title
  
  INFORMATION : An International Journal Vol.8,No.1
  
  Pages: 111-126
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Visualizing Control Flows in Bytecode Programs2004
- Author(s)
  Jianjun Zhao, Bixin Li
- Journal Title
  
  Proc.International Conference on Information (Information'2004)
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Measuring Coupling in Aspect-Oriented Systems2004
- Author(s)
  Jianjun Zhao
- Journal Title
  
  10th International Software Metrics Symposium (METRICS'2004) (WEBで出版)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Dependence-Based Representation for Concurrent Java Programs And Its Application to Slicing2004
- Author(s)
  Jianjun Zhao, Bixin Li
- Journal Title
  
  Proc. International Symposium on Future Software Technology 2004 (ISFST'2004)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] A Model for Slicing Java Programs Hierarchically2004
- Author(s)
  B.Li, X.Fan, J.Pang, I.Zhao
- Journal Title
  
  Journal of Computer Science and Technology Vol.9,No.8
  
  Pages: 848-858
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Complexity Metrics for Software Architectures2004
- Author(s)
  Jianjun Zhao
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E87-D No.8
  
  Pages: 2152-2156
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Visualizing Control Flows in Bytecode Programs2004
- Author(s)
  Jianjun Zhao, Bixin Li
- Journal Title
  
  Proc. International Conference on Information (Information'2004)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Measuring Coupling in Aspect-Oriented Systems2004
- Author(s)
  Jianjun Zhao
- Journal Title
  
  10th International Software Metrics Symposium (METRICS'2004)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Visualizing Control Flows in Bytecode Programs2004
- Author(s)
  Jianjun Zhao, Bixin Li
- Journal Title
  
  Proc.International Conference on information (Information'2004)
  
  Pages: 540-543
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] Dependence-Based Representation for Concurrent Java Programs and Its Application to Slicing2004
- Author(s)
  Jianjun Zhao, Bixin Li
- Journal Title
  
  Proc.International Symposium on Future Software Technology 2004 (ISFST'2004)
  
  Pages: 250-255
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] A Model for Slicing Java Programs Hierarchically2004
- Author(s)
  B.Li, X.Fan, J.Pang, J.Zhao
- Journal Title
  
  Journal of Computer Science and Technology Vol.9, No.6
  
  Pages: 848-858
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Journal Article] A Model for Slicing Java Programs Hierarchically2004
- Author(s)
  B.Li, X.Fan, J.Pang, J.Zhao
- Journal Title
  
  Journal of Computer Science and Technology Vol.9 No.6
  
  Pages: 848-858
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500027
[Presentation] Generative Model-Based Testing on Decision-Making Policies2023
- Author(s)
  Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
- Organizer
  The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] QuraTest: Integrating Quantum Specific Features in Quantum Program Testing2023
- Author(s)
  Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
- Organizer
  ASE 2023: Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11049
[Presentation] Generative Model-Based Testing on Decision-Making Policies2023
- Author(s)
  Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
- Organizer
  ASE 2023: Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11049
[Presentation] DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks2023
- Author(s)
  Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
- Organizer
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11049
[Presentation] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023
- Author(s)
  Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
- Organizer
  The 31st ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing2023
- Author(s)
  Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, and Jianjun Zhao
- Organizer
  The 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] Bug Patterns in Probabilistic Programming Systems2022
- Author(s)
  Shoma Hamada, Haibo Yu, Vo Dai Trinh, Yuri Nishimura, Jianjun Zhao
- Organizer
  2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11841
[Presentation] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining2021
- Author(s)
  Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun Zhao
- Organizer
  The 35th AAAI Conference on Artificial Intelligence (AAAI 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Efficientderain: Learning pixel-wise dilation filtering for high-efficiency single-image deraining2021
- Author(s)
  Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao
- Organizer
  Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Learning to Adversarially Blur Visual Object Tracking2021
- Author(s)
  Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, and Jianjun Zhao
- Organizer
  International Conference on Computer Vision, Montreal, Canada, 2021 (ICCV 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Learning to adversarially blur visual object tracking2021
- Author(s)
  Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao
- Organizer
  Proceedings of the IEEE/CVF International Conference on Computer Vision
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] On the effectiveness of signal rescaling in hybrid system falsification2021
- Author(s)
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
- Organizer
  NASA Formal Methods: 13th International Symposium, NFM 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Effective hybrid system falsification using monte carlo tree search guided by QB-robustness2021
- Author(s)
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
- Organizer
  Computer Aided Verification: 33rd International Conference, CAV 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness2021
- Author(s)
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo and Jianjun Zhao
- Organizer
  The 33rd International Conference on Computer-Aided Verification, 2021 (CAV 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Deepmix: Online auto data augmentation for robust visual object tracking2021
- Author(s)
  Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao
- Organizer
  2021 IEEE International Conference on Multimedia and Expo (ICME)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study2021
- Author(s)
  Le Manh Duc, Haibo Yu, Jianjun Zhao
- Organizer
  2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11841
[Presentation] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining2021
- Author(s)
  Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun Zhao
- Organizer
  Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms2020
- Author(s)
  Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao
- Organizer
  Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Few-Shot Guided Mix for DNN Repairing2020
- Author(s)
  Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, and Jianjun Zhao
- Organizer
  Proc. 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] How are Deep Learning Models Similar? An Empirical Study on Clone Analysis of Deep Learning Software2020
- Author(s)
  Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, and Jianjun Zhao
- Organizer
  The 28th International Conference on Program Comprehension (ICPC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis2020
- Author(s)
  Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao
- Organizer
  2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness2020
- Author(s)
  David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao
- Organizer
  The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms2020
- Author(s)
  Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, and Jianjun Zhao
- Organizer
  The 28th ACM International Conference on Multimedia (ACM MM 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty2020
- Author(s)
  Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, and Meng Sun
- Organizer
  The 42nd International Conference on Software Engineering (ICSE 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems2020
- Author(s)
  Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
- Organizer
  The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness2020
- Author(s)
  David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, and Jianjun Zhao
- Organizer
  The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Few-Shot Guided Mix for DNN Repairing2020
- Author(s)
  Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma and Jianjun Zhao
- Organizer
  The 36th IEEE International Conference on Software Maintenance and Evolution, NIER Track (CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Marble: Model-Based Robustness Analysis of Stateful Deep Learning Systems2020
- Author(s)
  Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
- Organizer
  The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Secure Deep Learning Engineering: A Road towards Quality Assurance of Intelligent Systems2019
- Author(s)
  Yang Liu, Lei Ma, and Jianjun Zhao
- Organizer
  Proc. 21st International Conference on Formal Engineering Methods (ICFEM 2019)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] DeepHunter:A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks2019
- Author(s)
  Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, and Simon See
- Organizer
  Proc. 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks2019
- Author(s)
  Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
- Organizer
  Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] DeepMutation++: a Mutation Testing Framework for Deep Learning Systems2019
- Author(s)
  Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, and Jianjun Zhao
- Organizer
  Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] A Quantitative Analysis Framework for Recurrent Neural Network2019
- Author(s)
  Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
- Organizer
  Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms2019
- Author(s)
  Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li
- Organizer
  Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems2019
- Author(s)
  Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao
- Organizer
  Proc. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] DeepVisual: A Visual Programming Tool for Deep Learning Systems2019
- Author(s)
  Chao Xie, Hua Qi, Lei Ma, and Jianjun Zhao
- Organizer
  Proc. 27th IEEE/ACM International Conference on Program Comprehension (ICPC 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Scala向けの差分解析アルゴリズム2018
- Author(s)
  文海辰, 趙建軍
- Organizer
  情報処理学会第80回全国大会
- Data Source
  KAKENHI-PROJECT-16H07031

1. Ubayashi Naoyasu (80372762)

# of Collaborated Projects: 4 results

# of Collaborated Products: 1 results
2. MA LEI (70842061)

# of Collaborated Projects: 4 results

# of Collaborated Products: 34 results
3. 石川冬樹 (50455193)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. 亀井靖高 (10610222)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 佐藤周行 (20225999)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. 于海波 (80848903)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 佐藤亮介 (10804677)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 馮尭楷 (60363389)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
9. 宮尾祐介 (00343096)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 蓮尾一郎 (60456762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 張振亜 (10971228)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
12. 章甫源 (80965070)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results

Zhao Jianjun 趙 建軍

ZHAO Jianjun 趙 建軍

Research Projects

Research Products

Co-Researchers

大規模言語モデルのための品質保証技術に関する研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Building an Integrated Development Support Environment for Quantum Programs Based on Program Dependency Theory

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Testing, Analysis, and Repair of AI-enabled Cyber-Physical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Property-Driven Quality Assurance of Adversarial Robustness of Deep Neural Networks

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constructing Integrated Development Environment for Highly Reliable Probabilistic Programs

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Automated Testing of Deep Learning SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Crowd Knowledge Ecosystems for Automatic Bug Fixing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Dependence Analysis of Reactive Programs and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

アスペクト指向プログラム依存性理論に基づく統合的ソフトウェア開発支援環境の構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Dependence Analysis of Aspect-Oriented Programs and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェアアーキテクチャに基づく統合的ソフトウェア開発支援環境に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェアアーキテクチャにおける依存性理論とその応用に関する基礎研究Principal Investigator

Principal Investigator

Project Period (FY)

Zhao Jianjun 趙建軍

ZHAO Jianjun 趙建軍