• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

趙 建軍  Zhao Jianjun

研究者番号 20299580
その他のID
  • ORCIDhttps://orcid.org/0000-0001-8083-4352
所属 (現在) 2025年度: 九州大学, システム情報科学研究院, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2024年度: 九州大学, システム情報科学研究院, 教授
2005年度: 福岡工大, 情報工学部, 助教授
2003年度 – 2004年度: 福岡工業大学, 情報工学部, 助教授
2002年度: 福岡工大, 情報工学部, 助教授
2000年度 – 2001年度: 福岡工業大学, 情報工学部, 助教授
1999年度: 福岡工業大学, 情報工学部, 講師
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / ソフトウエア / 計算機科学 / ソフトウェア
研究代表者以外
小区分60050:ソフトウェア関連 / 中区分60:情報科学、情報工学およびその関連分野
キーワード
研究代表者
ソフトウエアテスト / ソフトウェアテスト / ソフトウェア開発環境 / ソフトウェアアーキテクチャ / プログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証 / プログラムデバッグ / 信頼性と安全性 … もっと見る / 安全性と信頼性 / 深層学習システム / プログラム依存性解析 / プログラム理解 / リアクティブプログラム / ソフトウェア理解 / プログラム解析 / Program Slicing / Software Measurement / Development Environment / Program Dependence Analysis / Aspect-Oriented Progeramming / プログラミングスライシング / ソフトウェアの複雑さ計測 / プログラムの依存性解析 / アスペクト指向プログラミング / ソフトウェアスライシング技術 / ソフトウェアアーキテクチャの複雑さ計測 / アーキテクチャの再利用 / ソフトウェアアーキテクチャの依存性解析 / 依存性解析 / ソフトウェアの理解 / スライシング技術 … もっと見る
研究代表者以外
プログラムデバッグ / 依存性解析 / 深層学習 / Deep Neural Networks / Adversarial Robustness / 開発環境構築 / 量子プログラム / テスト / 分析 / 信頼性 / LLM / 品質保証 / 開発支援環境 / 確率的プログラミング / 回帰型ニューラルネットワーク / ソフトウエア修復 / ソフトウエアテスト / ソフトウエア解析 / 深層学習システム / 回帰型ニューラルネットワーク解析 / 知能ソフトウェア解析 / 機械学習工学 / ソフトウェア工学 / 機械学習品質保証 / 回帰型ニューラルネットワーク分析 / 知能ソフトウェア分析 / 群衆知 / デバッグ / 自動バグ修正 / 群集知 / 人工知能 隠す
  • 研究課題

    (13件)
  • 研究成果

    (72件)
  • 共同研究者

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

    • 研究代表者
      馬 雷
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京大学
  •  プログラム依存性理論に基づく量子プログラムの統合的開発支援環境の構築

    • 研究代表者
      于 海波
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州産業大学
  •  AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州大学
  •  Property-Driven Quality Assurance of Adversarial Robustness of Deep Neural Networks

    • 研究代表者
      章 甫源
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京大学
  •  高信頼確率的プログラムの開発支援環境の構築

    • 研究代表者
      于 海波
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州産業大学
  •  ステートフル深層学習システムに対する総合的解析と修復技術の確立

    • 研究代表者
      馬 雷
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州大学
  •  深層学習システムの自動テスト技術の確立研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2019 – 2021
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州大学
  •  自動デバッグを可能にする群衆知エコシステムの確立

    • 研究代表者
      鵜林 尚靖
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      九州大学
  •  リアクティブプログラムの依存性解析とその応用に関する研究研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2016 – 2017
    • 研究種目
      研究活動スタート支援
    • 研究分野
      ソフトウェア
    • 研究機関
      九州大学
  •  アスペクト指向プログラム依存性理論に基づく統合的ソフトウェア開発支援環境の構築研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      福岡工業大学
  •  アスペクト指向プログラム依存性理論とその応用に関する基礎的研究研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      福岡工業大学
  •  ソフトウェアアーキテクチャに基づく統合的ソフトウェア開発支援環境に関する研究研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      福岡工業大学
  •  ソフトウェアアーキテクチャにおける依存性理論とその応用に関する基礎研究研究代表者

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      福岡工業大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2005 2004

すべて 雑誌論文 学会発表 図書

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

    • 著者名/発表者名
      Jianjun Zhao, Limin Xiang
    • 出版者
      Idea Group Publishing
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [図書] "Architectural Slicing in Supporting System Evolution" in K.Khan and K.Zheng (Eds.) Managing Corporate Information Systems Evolution and Maintenance2005

    • 著者名/発表者名
      Jianjun Zhao, Limin Xiang
    • 出版者
      Idea Group Publishing
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] On the effectiveness of graph data augmentation for source code learning2024

    • 著者名/発表者名
      Dong Zeming、Hu Qiang、Zhang Zhenya、Zhao Jianjun
    • 雑誌名

      Knowledge-Based Systems

      巻: 285 ページ: 111328-111328

    • DOI

      10.1016/j.knosys.2023.111328

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
  • [雑誌論文] FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria2023

    • 著者名/発表者名
      Zhang Zhenya、Lyu Deyun、Arcaini Paolo、Ma Lei、Hasuo Ichiro、Zhao Jianjun
    • 雑誌名

      IEEE Transactions on Software Engineering

      巻: 49 号: 4 ページ: 1842-1859

    • DOI

      10.1109/tse.2022.3194640

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-19H04086
  • [雑誌論文] TAT: Targeted backdoor attacks against visual object tracking2023

    • 著者名/発表者名
      Cheng Ziyi、Wu Baoyuan、Zhang Zhenya、Zhao Jianjun
    • 雑誌名

      Pattern Recognition

      巻: 142 ページ: 109629-109629

    • DOI

      10.1016/j.patcog.2023.109629

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062
  • [雑誌論文] ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks2023

    • 著者名/発表者名
      Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao
    • 雑誌名

      ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, Impact Factor 3.685)

      巻: n.a.

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [雑誌論文] DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions2022

    • 著者名/発表者名
      Ren Xuhong、Chen Jianlang、Juefei-Xu Felix、Xue Wanli、Guo Qing、Ma Lei、Zhao Jianjun、Chen Shengyong
    • 雑誌名

      Pattern Recognition

      巻: 131 ページ: 108864-108864

    • DOI

      10.1016/j.patcog.2022.108864

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168
  • [雑誌論文] On the usage and development of deep learning compilers: an empirical study on TVM2022

    • 著者名/発表者名
      Xiongfei Wu, Jinqiu Yang, Lei Ma, Yinxing Xue, and Jianjun Zhao
    • 雑誌名

      Empirical Software Engineering volume 27, 172, Sep. 2022 (EMSE 2022, Impact Factor 3.762)

      巻: 27

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [雑誌論文] DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment2021

    • 著者名/発表者名
      Yu Bing、Qi Hua、Qing Guo、Juefei-Xu Felix、Xie Xiaofei、Ma Lei、Zhao Jianjun
    • 雑誌名

      IEEE Transactions on Reliability

      巻: - 号: 4 ページ: 1-16

    • DOI

      10.1109/tr.2021.3096332

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-19H04086
  • [雑誌論文] DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems2019

    • 著者名/発表者名
      Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao
    • 雑誌名

      26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019), ERA Track

      巻: - ページ: 535-539

    • DOI

      10.1109/saner.2019.8668044

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Bidirectional Transformations for Self-Adaptive Systems2019

    • 著者名/発表者名
      Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu
    • 雑誌名

      Engineering Adaptive Software Systems 2019

      巻: - ページ: 95-114

    • DOI

      10.1007/978-981-13-2185-6_4

    • ISBN
      9789811321849, 9789811321856
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26240007, KAKENHI-PROJECT-18H04097
  • [雑誌論文] DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models2018

    • 著者名/発表者名
      Qiang Hu, Lei Ma, Jianjun Zhao
    • 雑誌名

      25th Asia-Pacific Software Engineering Conference (APSEC 2018), ERA Track

      巻: - ページ: 628-632

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Tuning parallel symbolic execution engine for better performance2018

    • 著者名/発表者名
      Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
    • 雑誌名

      Frontiers of Computer Science

      巻: 12 ページ: 66-100

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H07031
  • [雑誌論文] DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems2018

    • 著者名/発表者名
      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
    • 雑誌名

      33th IEEE/ACM Conference on Automated Software Engineering (ASE 2018)

      巻: - ページ: 120-131

    • DOI

      10.1145/3238147.3238202

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] The Role of Model Checking in Software Engineering2018

    • 著者名/発表者名
      Anil Kumar KARNA, Yuting CHEN, Haibo YU, Hao ZHONG, Jianjun ZHAO
    • 雑誌名

      Frontiers of Computer Science

      巻: ー

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H07031
  • [雑誌論文] DeepMutation: Mutation Testing of Deep Learning Systems2018

    • 著者名/発表者名
      Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
    • 雑誌名

      29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)

      巻: - ページ: 100-111

    • DOI

      10.1109/issre.2018.00021

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] <i>CLCMiner</i>: Detecting Cross-Language Clones without Intermediates2017

    • 著者名/発表者名
      Xiao CHENG, Zhiming PENG, Lingxiao JIANG, Hao ZHONG, Haibo YU, Jianjun ZHAO
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100.D 号: 2 ページ: 273-284

    • DOI

      10.1587/transinf.2016EDP7334

    • NAID

      130005306534

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H07031
  • [雑誌論文] Tuning Parallel Symbolic Execution Engine for Better Performance2017

    • 著者名/発表者名
      Anil Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
    • 雑誌名

      Frontiers of Computer Science

      巻: 印刷中

    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H07031
  • [雑誌論文] The Role of Model Checking in Software Engineering2017

    • 著者名/発表者名
      Anil Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao
    • 雑誌名

      Frontiers of Computer Science

      巻: 印刷中

    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H07031
  • [雑誌論文] SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code2017

    • 著者名/発表者名
      Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100.D 号: 3 ページ: 473-482

    • DOI

      10.1587/transinf.2016EDP7388

    • NAID

      130005397883

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H07031
  • [雑誌論文] A Dependence Model for Concurrency in Java Programs2005

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      INFORMATION : An International Journal Vol.8 No.1

      ページ: 111-126

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] A Dependence Model for Concurrency in Java Programs2005

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      INFORMATION : An International Journal Vol.8, No.1

      ページ: 111-126

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Architectural Slicing in Supporting System Evolution2005

    • 著者名/発表者名
      Jianjun Zhao, Limin Xiang
    • 雑誌名

      Managing Corporate Information Systems Evolution and Maintenance (K. Khan and Y. Zheng (Eds.))

      ページ: 197-210

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] A Dependence Model for Concurrency in Java Programs2005

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      INFORMATION : An International Journal Vol.8,No.1

      ページ: 111-126

    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Visualizing Control Flows in Bytecode Programs2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc.International Conference on Information (Information'2004)

    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Measuring Coupling in Aspect-Oriented Systems2004

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      10th International Software Metrics Symposium (METRICS'2004) (WEBで出版)

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Dependence-Based Representation for Concurrent Java Programs And Its Application to Slicing2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc. International Symposium on Future Software Technology 2004 (ISFST'2004)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] A Model for Slicing Java Programs Hierarchically2004

    • 著者名/発表者名
      B.Li, X.Fan, J.Pang, I.Zhao
    • 雑誌名

      Journal of Computer Science and Technology Vol.9,No.8

      ページ: 848-858

    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Complexity Metrics for Software Architectures2004

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      IEICE Transactions on Information and Systems Vol.E87-D No.8

      ページ: 2152-2156

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Visualizing Control Flows in Bytecode Programs2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc. International Conference on Information (Information'2004)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Measuring Coupling in Aspect-Oriented Systems2004

    • 著者名/発表者名
      Jianjun Zhao
    • 雑誌名

      10th International Software Metrics Symposium (METRICS'2004)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Visualizing Control Flows in Bytecode Programs2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc.International Conference on information (Information'2004)

      ページ: 540-543

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] Dependence-Based Representation for Concurrent Java Programs and Its Application to Slicing2004

    • 著者名/発表者名
      Jianjun Zhao, Bixin Li
    • 雑誌名

      Proc.International Symposium on Future Software Technology 2004 (ISFST'2004)

      ページ: 250-255

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] A Model for Slicing Java Programs Hierarchically2004

    • 著者名/発表者名
      B.Li, X.Fan, J.Pang, J.Zhao
    • 雑誌名

      Journal of Computer Science and Technology Vol.9, No.6

      ページ: 848-858

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [雑誌論文] A Model for Slicing Java Programs Hierarchically2004

    • 著者名/発表者名
      B.Li, X.Fan, J.Pang, J.Zhao
    • 雑誌名

      Journal of Computer Science and Technology Vol.9 No.6

      ページ: 848-858

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500027
  • [学会発表] Generative Model-Based Testing on Decision-Making Policies2023

    • 著者名/発表者名
      Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
    • 学会等名
      The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K28062
  • [学会発表] QuraTest: Integrating Quantum Specific Features in Quantum Program Testing2023

    • 著者名/発表者名
      Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
    • 学会等名
      ASE 2023: Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K11049
  • [学会発表] Generative Model-Based Testing on Decision-Making Policies2023

    • 著者名/発表者名
      Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
    • 学会等名
      ASE 2023: Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K11049
  • [学会発表] DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks2023

    • 著者名/発表者名
      Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
    • 学会等名
      ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K11049
  • [学会発表] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023

    • 著者名/発表者名
      Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
    • 学会等名
      The 31st ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K28062
  • [学会発表] GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing2023

    • 著者名/発表者名
      Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, and Jianjun Zhao
    • 学会等名
      The 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K28062
  • [学会発表] Bug Patterns in Probabilistic Programming Systems2022

    • 著者名/発表者名
      Shoma Hamada, Haibo Yu, Vo Dai Trinh, Yuri Nishimura, Jianjun Zhao
    • 学会等名
      2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11841
  • [学会発表] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining2021

    • 著者名/発表者名
      Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun Zhao
    • 学会等名
      The 35th AAAI Conference on Artificial Intelligence (AAAI 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Efficientderain: Learning pixel-wise dilation filtering for high-efficiency single-image deraining2021

    • 著者名/発表者名
      Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao
    • 学会等名
      Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Learning to Adversarially Blur Visual Object Tracking2021

    • 著者名/発表者名
      Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, and Jianjun Zhao
    • 学会等名
      International Conference on Computer Vision, Montreal, Canada, 2021 (ICCV 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Learning to adversarially blur visual object tracking2021

    • 著者名/発表者名
      Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao
    • 学会等名
      Proceedings of the IEEE/CVF International Conference on Computer Vision
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] On the effectiveness of signal rescaling in hybrid system falsification2021

    • 著者名/発表者名
      Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
    • 学会等名
      NASA Formal Methods: 13th International Symposium, NFM 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Effective hybrid system falsification using monte carlo tree search guided by QB-robustness2021

    • 著者名/発表者名
      Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
    • 学会等名
      Computer Aided Verification: 33rd International Conference, CAV 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness2021

    • 著者名/発表者名
      Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo and Jianjun Zhao
    • 学会等名
      The 33rd International Conference on Computer-Aided Verification, 2021 (CAV 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Deepmix: Online auto data augmentation for robust visual object tracking2021

    • 著者名/発表者名
      Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao
    • 学会等名
      2021 IEEE International Conference on Multimedia and Expo (ICME)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study2021

    • 著者名/発表者名
      Le Manh Duc, Haibo Yu, Jianjun Zhao
    • 学会等名
      2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11841
  • [学会発表] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining2021

    • 著者名/発表者名
      Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun Zhao
    • 学会等名
      Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms2020

    • 著者名/発表者名
      Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Few-Shot Guided Mix for DNN Repairing2020

    • 著者名/発表者名
      Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, and Jianjun Zhao
    • 学会等名
      Proc. 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] How are Deep Learning Models Similar? An Empirical Study on Clone Analysis of Deep Learning Software2020

    • 著者名/発表者名
      Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, and Jianjun Zhao
    • 学会等名
      The 28th International Conference on Program Comprehension (ICPC 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis2020

    • 著者名/発表者名
      Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao
    • 学会等名
      2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness2020

    • 著者名/発表者名
      David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms2020

    • 著者名/発表者名
      Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, and Jianjun Zhao
    • 学会等名
      The 28th ACM International Conference on Multimedia (ACM MM 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty2020

    • 著者名/発表者名
      Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, and Meng Sun
    • 学会等名
      The 42nd International Conference on Software Engineering (ICSE 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems2020

    • 著者名/発表者名
      Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness2020

    • 著者名/発表者名
      David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, and Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Few-Shot Guided Mix for DNN Repairing2020

    • 著者名/発表者名
      Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma and Jianjun Zhao
    • 学会等名
      The 36th IEEE International Conference on Software Maintenance and Evolution, NIER Track (CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Marble: Model-Based Robustness Analysis of Stateful Deep Learning Systems2020

    • 著者名/発表者名
      Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Secure Deep Learning Engineering: A Road towards Quality Assurance of Intelligent Systems2019

    • 著者名/発表者名
      Yang Liu, Lei Ma, and Jianjun Zhao
    • 学会等名
      Proc. 21st International Conference on Formal Engineering Methods (ICFEM 2019)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] DeepHunter:A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks2019

    • 著者名/発表者名
      Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, and Simon See
    • 学会等名
      Proc. 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks2019

    • 著者名/発表者名
      Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
    • 学会等名
      Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] DeepMutation++: a Mutation Testing Framework for Deep Learning Systems2019

    • 著者名/発表者名
      Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, and Jianjun Zhao
    • 学会等名
      Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] A Quantitative Analysis Framework for Recurrent Neural Network2019

    • 著者名/発表者名
      Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
    • 学会等名
      Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms2019

    • 著者名/発表者名
      Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li
    • 学会等名
      Proc. 34th IEEE/ACM Conference on Automated Software Engineering (ASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems2019

    • 著者名/発表者名
      Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao
    • 学会等名
      Proc. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] DeepVisual: A Visual Programming Tool for Deep Learning Systems2019

    • 著者名/発表者名
      Chao Xie, Hua Qi, Lei Ma, and Jianjun Zhao
    • 学会等名
      Proc. 27th IEEE/ACM International Conference on Program Comprehension (ICPC 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H04086
  • [学会発表] Scala向けの差分解析アルゴリズム2018

    • 著者名/発表者名
      文海辰, 趙建軍
    • 学会等名
      情報処理学会第80回全国大会
    • データソース
      KAKENHI-PROJECT-16H07031
  • 1.  鵜林 尚靖 (80372762)
    共同の研究課題数: 4件
    共同の研究成果数: 1件
  • 2.  馬 雷 (70842061)
    共同の研究課題数: 4件
    共同の研究成果数: 34件
  • 3.  石川 冬樹 (50455193)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  亀井 靖高 (10610222)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  佐藤 周行 (20225999)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  于 海波 (80848903)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  佐藤 亮介 (10804677)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  馮 尭楷 (60363389)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 9.  宮尾 祐介 (00343096)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  蓮尾 一郎 (60456762)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  張 振亜 (10971228)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 12.  章 甫源 (80965070)
    共同の研究課題数: 1件
    共同の研究成果数: 3件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi