Zhao Jianjun 趙建軍

… Alternative Names

ZHAO Jianjun 趙建軍

Less

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

AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究Principal 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
Constructing Integrated Development Environment for Highly Reliable Probabilistic Programs
- Principal Investigator
  
  于海波
- Project Period (FY)
  2021 – 2023
- 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
  
  馬雷
- 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
  
  趙建軍
- 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
  
  鵜林尚靖
- 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 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] 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: - Pages: 1-16
- DOI
  10.1109/tr.2021.3096332
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[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
- 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 Transactions on Information and Systems
  
  Volume: E100-D Issue: 2 Pages: 273-284
- DOI
  10.1587/transinf.2016edp7334
  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] 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 Transactions on Information and Systems
  
  Volume: E100-D Issue: 3 Pages: 473-482
- DOI
  10.1587/transinf.2016edp7388
  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] 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] 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] 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] 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] 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] 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. 鵜林尚靖 (80372762)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
2. 亀井靖高 (10610222)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 馬雷 (70842061)

# of Collaborated Projects: 2 results

# of Collaborated Products: 23 results
4. 佐藤亮介 (10804677)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
6. 佐藤周行 (20225999)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 石川冬樹 (50455193)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Zhao Jianjun 趙 建軍

ZHAO Jianjun 趙 建軍

Research Projects

Research Products

Co-Researchers

AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究Principal Investigator

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)

Research Category

Research Field

Research Institution

[Book] "Architectural Slicing in Supporting System Evolution" in Managing Corporate Information Systems Evolution and Maintenance (K.Khan and Y.Zheng (Eds.))2005

Author(s)

Publisher

Description

Data Source

[Book] "Architectural Slicing in Supporting System Evolution" in K.Khan and K.Zheng (Eds.) Managing Corporate Information Systems Evolution and Maintenance2005

Author(s)

Publisher

Data Source

[Journal Article] DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems2019

Zhao Jianjun 趙建軍

ZHAO Jianjun 趙建軍