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

馬 雷  MA LEI

ORCIDORCID連携する *注記
研究者番号 70842061
その他のID
所属 (現在) 2025年度: 東京大学, 大学院情報理工学系研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記 2023年度 – 2024年度: 東京大学, 大学院情報理工学系研究科, 准教授
2020年度 – 2022年度: 九州大学, システム情報科学研究院, 准教授
2020年度: 九州大学, システム情報科学研究院, 学術研究員
2019年度: 九州大学, システム情報科学研究院, 助教
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / 1001:情報科学、情報工学およびその関連分野
研究代表者以外
小区分60050:ソフトウェア関連 / 中区分60:情報科学、情報工学およびその関連分野
キーワード
研究代表者
信頼性 / 機械学習工学 / 深層学習システム / テスト / 分析 / LLM / 品質保証 / 回帰型ニューラルネットワーク / ソフトウエア修復 / ソフトウエアテスト … もっと見る / ソフトウエア解析 / 回帰型ニューラルネットワーク解析 / 知能ソフトウェア解析 / ソフトウェア工学 / 機械学習品質保証 / 回帰型ニューラルネットワーク分析 / 深層学習 / 知能ソフトウェア分析 / 品質保障 / ソフトウェアテスト / システム開発と展開 / ソフトウェア品質保障 / テスト基準 / 深層学習システムの展開 / 信頼性と安全性 / 差動テスト … もっと見る
研究代表者以外
プログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証 / 開発コンテキスト / 自動生成 / テストスイート / 自動プログラム修正 / プログラムデバッグ / 信頼性と安全性 / ソフトウェアテスト / 安全性と信頼性 / 深層学習システム / ソフトウエアテスト 隠す
  • 研究課題

    (6件)
  • 研究成果

    (112件)
  • 共同研究者

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

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

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州大学
  •  機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化

    • 研究代表者
      亀井 靖高
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      九州大学
  •  ステートフル深層学習システムに対する総合的解析と修復技術の確立研究代表者

    • 研究代表者
      馬 雷
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州大学
  •  深層学習システムの大規模展開に向けた差動テスト技術に関する研究研究代表者

    • 研究代表者
      馬 雷
    • 研究期間 (年度)
      2019 – 2020
    • 研究種目
      研究活動スタート支援
    • 審査区分
      1001:情報科学、情報工学およびその関連分野
    • 研究機関
      九州大学
  •  深層学習システムの自動テスト技術の確立

    • 研究代表者
      趙 建軍
    • 研究期間 (年度)
      2019 – 2021
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      九州大学

すべて 2024 2023 2022 2021 2020 2019

すべて 雑誌論文 学会発表

  • [雑誌論文] TraceJIT: Evaluating the Impact of Behavioral Code Change on Just-In-Time Defect Prediction2024

    • 著者名/発表者名
      Issei Morita, Yutaro Kashiwa, Masanari Kondo, Jeongju Sohn, Shane McIntosh, Yasutaka Kamei, Naoyasu Ubayashi
    • 雑誌名

      Proc. of the International Conference on Software Analysis, Evolution, and Reengineering (SANER)

      巻: 1 ページ: 1-12

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents2024

    • 著者名/発表者名
      Rio Kishimoto, Tetsuya Kanda, Yuki Manabe, Katsuro Inoue, and Yoshiki Higo
    • 雑誌名

      Proc. of the International Conference on Software Analysis, Evolution, and Reengineering (SANER)

      巻: 1 ページ: 1-5

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Towards Privacy Preserving Cross Project Defect Prediction with Federated Learning2023

    • 著者名/発表者名
      Hiroki Yamamoto, Dong Wang, Gopi Rajbahadur, Masanari Kondo, Yasutaka Kamei, and Naoyasu Ubayashi
    • 雑誌名

      Proceedings of International Conference on Software Analysis, Evolution, and Reengineering

      巻: 1

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] When Conversations Turn Into Work: A Taxonomy of Converted Discussions and Issues in GitHub2023

    • 著者名/発表者名
      Dong Wang, Masanari Kondo, Yasutaka Kamei, Raula Gaikovina Kula, Naoyasu Ubayashi
    • 雑誌名

      Empirical Software Engineering Journal

      巻: 28 号: 6 ページ: 1-30

    • DOI

      10.1007/s10664-023-10366-z

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K17874, KAKENHI-PROJECT-23K16864, KAKENHI-PROJECT-20K19774, KAKENHI-PROJECT-20H05706, KAKENHI-PROJECT-21H04877
  • [雑誌論文] The Effects of Soft Assertion on Spectrum-Based Fault Localization2023

    • 著者名/発表者名
      Mihara Kouhei、Matsumoto Shinsuke、Kusumoto Shinji
    • 雑誌名

      Proc. of the International Conference on Product-Focused Software Process Improvement (PROFES)

      巻: 1 ページ: 379-386

    • DOI

      10.1007/978-3-031-49266-2_26

    • ISBN
      9783031492655, 9783031492662
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Large-Scale Evaluation of Method-Level Bug Localization with FinerBench4BL2023

    • 著者名/発表者名
      Shizuka Tsumita, Shinpei Hayashi, Sousuke Amasaki
    • 雑誌名

      Proceedings of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering

      巻: 1

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] 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
  • [雑誌論文] Do Exceptional Behavior Tests Matter on Spectrum-Based Fault Localization?2023

    • 著者名/発表者名
      Yoshioka Haruka、Higo Yoshiki、Matsumoto Shinsuke、Kusumoto Shinji、Itoh Shinji、Huyen Phan Thi Thanh
    • 雑誌名

      Proc. of the International Conference on Product-Focused Software Process Improvement (PROFES)

      巻: 1 ページ: 399-414

    • DOI

      10.1007/978-3-031-49266-2_28

    • ISBN
      9783031492655, 9783031492662
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K24823
  • [雑誌論文] PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks2023

    • 著者名/発表者名
      Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei
    • 雑誌名

      Information and Software Technology

      巻: 155 ページ: 107117-107117

    • DOI

      10.1016/j.infsof.2022.107117

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K17874, KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-18H04097, KAKENHI-PROJECT-20H04167
  • [雑誌論文] ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks2023

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

      ACM Transactions on Software Engineering and Methodology 2023 (TOSEM)

      巻: 1 ページ: 1-33

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] A Survey on Automated Driving System Testing: Landscapes and Trends.2023

    • 著者名/発表者名
      Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
    • 雑誌名

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

      巻: n.a. 号: 5 ページ: 1-62

    • DOI

      10.1145/3579642

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [雑誌論文] Automatic Fixation of Decompilation Quirks Using Pre-trained Language Model2023

    • 著者名/発表者名
      Kaichi Ryunosuke、Matsumoto Shinsuke、Kusumoto Shinji
    • 雑誌名

      Proc. of the International Conference on Product-Focused Software Process Improvement (PROFES)

      巻: 1 ページ: 259-266

    • DOI

      10.1007/978-3-031-49266-2_18

    • ISBN
      9783031492655, 9783031492662
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] 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
  • [雑誌論文] Repeated Builds During Code Review: An Empirical Study of the OpenStack Community2023

    • 著者名/発表者名
      Maipradit Rungroj、Wang Dong、Thongtanunam Patanamon、Kula Raula Gaikovina、Kamei Yasutaka、McIntosh Shane
    • 雑誌名

      Proc. of the IEEE/ACM International Conference on Automated Software Engineering (ASE)

      巻: 1 ページ: 153-165

    • DOI

      10.1109/ase56229.2023.00030

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K18630, KAKENHI-PROJECT-23K16864, KAKENHI-PROJECT-21H04877
  • [雑誌論文] PyVerDetector: A Chrome Extension Detecting the Python Version of Stack Overflow Code Snippets2023

    • 著者名/発表者名
      Yang Shiyu、Kanda Tetsuya、Pizzolotto Davide、German Daniel M.、Higo Yoshiki
    • 雑誌名

      Proc. of the International Conference on Program Comprehension (ICPC)

      巻: 1 ページ: 25-29

    • DOI

      10.1109/icpc58990.2023.00013

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.2023

    • 著者名/発表者名
      Yuheng Huang, Lei Ma, Yuanchun Li
    • 雑誌名

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

      巻: n.a. 号: 6 ページ: 1-34

    • DOI

      10.1145/3591870

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [雑誌論文] Empirical Study of Co-Renamed Identifiers2022

    • 著者名/発表者名
      Yuki Osumi, Naotaka Umekawa, Hitomi Komata, Shinpei Hayashi
    • 雑誌名

      Proceedings of the 29th Asia-Pacific Software Engineering Conference 2022

      巻: 1 ページ: 71-80

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks2022

    • 著者名/発表者名
      Xie Xiaofei、Li Tianlin、Wang Jian、Ma Lei、Guo Qing、Juefei-Xu Felix、Liu Yang
    • 雑誌名

      ACM Transactions on Software Engineering and Methodology

      巻: 31 号: 3 ページ: 1-27

    • DOI

      10.1145/3490489

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-21H04877
  • [雑誌論文] An empirical study on self-admitted technical debt in Dockerfiles2022

    • 著者名/発表者名
      Azuma Hideaki、Matsumoto Shinsuke、Kamei Yasutaka、Kusumoto Shinji
    • 雑誌名

      Empirical Software Engineering

      巻: 27 号: 2 ページ: 1-26

    • DOI

      10.1007/s10664-021-10081-7

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Hey APR! Integrate Our Fault Localization Skill: Toward Better Automated Program Repair2022

    • 著者名/発表者名
      Yamate Kyosuke、Kondo Masanari、Kashiwa Yutaro、Kamei Yasutaka、Ubayashi Naoyasu
    • 雑誌名

      Proceedings of Annual Computers, Software, and Applications Conference (COMPSAC)

      巻: 1 ページ: 563-568

    • DOI

      10.1109/compsac54236.2022.00101

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-18H04097
  • [雑誌論文] Are NLP Metrics Suitable for Evaluating Generated Code?2022

    • 著者名/発表者名
      Takaichi Riku、Higo Yoshiki、Matsumoto Shinsuke、Kusumoto Shinji、Kurabayashi Toshiyuki、Kirinuki Hiroyuki、Tanno Haruto
    • 雑誌名

      Proceedings of International Conference on Product-Focused Software Process Improvement

      巻: 1 ページ: 531-537

    • DOI

      10.1007/978-3-031-21388-5_38

    • ISBN
      9783031213878, 9783031213885
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K24823
  • [雑誌論文] Tidy Up Your Source Code! Eliminating Wasteful Statements in Automatically Repaired Source Code2022

    • 著者名/発表者名
      Iwase Takumi、Matsumoto Shinsuke、Kusumoto Shinji
    • 雑誌名

      Proceedings of International Conference on Product-Focused Software Process Improvement

      巻: 1 ページ: 544-550

    • DOI

      10.1007/978-3-031-21388-5_40

    • ISBN
      9783031213878, 9783031213885
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] 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
  • [雑誌論文] Evaluating Automated Program Repair Techniques using Introductory Programming Course Datasets2022

    • 著者名/発表者名
      Nakamura Tsukasa、Kondo Masanari、Kamei Yasutaka、Ubayashi Naoyasu
    • 雑誌名

      Proceedings of Annual Computers, Software, and Applications Conference (COMPSAC)

      巻: 1 ページ: 569-574

    • DOI

      10.1109/compsac54236.2022.00102

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-18H04097
  • [雑誌論文] Do visual issue reports help developers fix bugs?2022

    • 著者名/発表者名
      Kuramoto Hiroki、Kondo Masanari、Kashiwa Yutaro、Ishimoto Yuta、Shindo Kaze、Kamei Yasutaka、Ubayashi Naoyasu
    • 雑誌名

      Proceedings of International Conference on Program Comprehension (ICPC)

      巻: 1 ページ: 511-515

    • DOI

      10.1145/3524610.3527882

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] An empirical study on self-admitted technical debt in modern code review2022

    • 著者名/発表者名
      Kashiwa Yutaro、Nishikawa Ryoma、Kamei Yasutaka、Kondo Masanari、Shihab Emad、Sato Ryosuke、Ubayashi Naoyasu
    • 雑誌名

      Information and Software Technology

      巻: 146 ページ: 106855-106855

    • DOI

      10.1016/j.infsof.2022.106855

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K17725, KAKENHI-PROJECT-21H04877
  • [雑誌論文] Classification of Changes Based on API2022

    • 著者名/発表者名
      Iriyama Masashi、Higo Yoshiki、Kusumoto Shinji
    • 雑誌名

      Proceedings of International Conference on Product-Focused Software Process Improvement

      巻: 1 ページ: 61-70

    • DOI

      10.1007/978-3-031-21388-5_5

    • ISBN
      9783031213878, 9783031213885
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K24823
  • [雑誌論文] 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
  • [雑誌論文] When cyber-physical systems meet AI2022

    • 著者名/発表者名
      Song Jiayang、Lyu Deyun、Zhang Zhenya、Wang Zhijie、Zhang Tianyi、Ma Lei
    • 雑誌名

      Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice

      巻: 1 ページ: 343-352

    • DOI

      10.1145/3510457.3513049

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Learning to Adversarially Blur Visual Object Tracking2021

    • 著者名/発表者名
      Guo Qing、Cheng Ziyi、Juefei-Xu Felix、Ma Lei、Xie Xiaofei、Liu Yang、Zhao Jianjun
    • 雑誌名

      Proceedings of International Conference on Computer Vision

      巻: 1 ページ: 10819-10828

    • DOI

      10.1109/iccv48922.2021.01066

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Detecting Functional Differences using Automatic Test Generation for Automated Assessment in Programming Education2021

    • 著者名/発表者名
      Ryoko Izuta, Shinsuke Matsumoto, Hiroshi Igaki, Sachio Saiki, Naoki Fukuyasu, Shinji Kusumoto
    • 雑誌名

      Proc. 28th Asia-Pacific Software Engineering Conference (APSEC)

      巻: APSEC 2021 ページ: 526-530

    • DOI

      10.1109/apsec53868.2021.00062

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19K03001, KAKENHI-PROJECT-21H04877
  • [雑誌論文] Applying Multi-Objective Genetic Algorithm for Efficient Selection on Program Generation2021

    • 著者名/発表者名
      Watanabe Hiroto、Matsumoto Shinsuke、Higo Yoshiki、Kusumoto Shinji、Kurabayashi Toshiyuki、Kirinuki Hiroyuki、Tanno Haruto
    • 雑誌名

      Proceedings of Asia-Pacific Software Engineering Conference (APSEC)

      巻: 1 ページ: 515-519

    • DOI

      10.1109/apsec53868.2021.00060

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] Evaluating the impact of falsely detected performance bug-inducing changes in JIT models2021

    • 著者名/発表者名
      Quach Sophia、Lamothe Maxime、Adams Bram、Kamei Yasutaka、Shang Weiyi
    • 雑誌名

      Empirical Software Engineering

      巻: 26 号: 5 ページ: 1-33

    • DOI

      10.1007/s10664-021-10004-6

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] JTDog: a Gradle Plugin for Dynamic Test Smell Detection2021

    • 著者名/発表者名
      Taniguchi Masayuki、Matsumoto Shinsuke、Kusumoto Shinji
    • 雑誌名

      Proceedings of International Conference on Automated Software Engineering (ASE)

      巻: 1 ページ: 1271-1275

    • DOI

      10.1109/ase51524.2021.9678529

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H04877
  • [雑誌論文] 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
  • [雑誌論文] Machine Learning Testing: Survey, Landscapes and Horizons2020

    • 著者名/発表者名
      Zhang Jie M.、Harman Mark、Ma Lei、Liu Yang
    • 雑誌名

      IEEE Transactions on Software Engineering

      巻: 1 号: 1 ページ: 1-37

    • DOI

      10.1109/tse.2019.2962027

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction2023

    • 著者名/発表者名
      Zhijie Wang, Yuheng Huang, Da Song, Lei Ma, Tianyi Zhang
    • 学会等名
      The ACM CHI Conference on Human Factors in Computing Systems (CHI 2023, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Towards Robust Object Detection Models by Metamorphic Testing2023

    • 著者名/発表者名
      Jianhong Wang, Yuta Ishimoto, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi
    • 学会等名
      情報処理学会ソフトウェア工学研究会
    • データソース
      KAKENHI-PROJECT-21H04877
  • [学会発表] DeepLens: Interactive Out-of-Distribution Data Detection in NLP Models2023

    • 著者名/発表者名
      Da Song, Zhijie Wang, Yuheng Huang, Lei Ma, Tianyi Zhang
    • 学会等名
      The ACM CHI Conference on Human Factors in Computing Systems (CHI 2023, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] CodeS: Towards Code Model Generalization Under Distribution Shift2023

    • 著者名/発表者名
      Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
    • 学会等名
      The 45th International Conference on Software Engineering, NIER Track (ICSE 2023, CORE Rank A* )
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation2023

    • 著者名/発表者名
      Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
    • 学会等名
      The 45th International Conference on Software Engineering (ICSE 2023, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] An Initial Analysis of Repair and Side-effect Prediction for Neural Networks2023

    • 著者名/発表者名
      Yuta Ishimoto, Ken Matsui, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei
    • 学会等名
      The 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] DeepGemini: Verifying Dependency Fairness for Deep Neural Network2023

    • 著者名/発表者名
      Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
    • 学会等名
      The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Docker における複数環境対応のための Dockerfile プリプロセッサの調査2023

    • 著者名/発表者名
      馬渕 航, 松本 真佑, 楠本 真二
    • 学会等名
      電子情報通信学会技術研究報告(SIGSS)
    • データソース
      KAKENHI-PROJECT-21H04877
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] Evaluating the impact of falsely detected performance bug-inducing changes in JIT models2022

    • 著者名/発表者名
      Sophia Quach, Maxime Lamothe, Bram Adams, Yasutaka Kamei, and Weiyi Shang
    • 学会等名
      International Conference on Software Engineering
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [学会発表] An Empirical Study on Self-Admitted Technical Debt in Modern Code Review2022

    • 著者名/発表者名
      Yutaro Kashiwa, Ryoma Nishikawa, Yasutaka Kamei, Masanari Kondo, Emad Shihab, Ryosuke Sato, and Naoyasu Ubayashi
    • 学会等名
      International Conference on Software Maintenance and Evolution
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H04877
  • [学会発表] When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward2022

    • 著者名/発表者名
      Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
    • 学会等名
      The 44th International Conference on Software Engineering, SEIP Track (ICSE 2022, 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
  • [学会発表] 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
  • [学会発表] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image2021

    • 著者名/発表者名
      Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun
    • 学会等名
      Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks2021

    • 著者名/発表者名
      Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
    • 学会等名
      Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] What to Blame? On the Granularity of Fault Localization for Deep Neural Networks2021

    • 著者名/発表者名
      Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • 学会等名
      The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021 Practical Experience Reports), pp.264-275, October 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] 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-19K24348
  • [学会発表] A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding2021

    • 著者名/発表者名
      Maryam V. Pour, Li Zhuo, Lei Ma and Hadi Hemmati
    • 学会等名
      IEEE International Conference on Software Testing, Verification and Validation (ICST 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, and Jianjun Zhao
    • 学会等名
      International Conference on Computer Vision, Montreal, Canada, 2021 (ICCV 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Model-based Data-Complexity Estimator for Deep Learning Systems2021

    • 著者名/発表者名
      Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
    • 学会等名
      The 3rd IEEE International Conference on Artificial Intelligence Testing (IEEE AI Tests 2021), pp.1-8, August 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Automatic RNN Repair via Model-based Analysis2021

    • 著者名/発表者名
      Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing
    • 学会等名
      The 38th International Conference on Machine Learning, 2021 (ICML 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Automatic Web Testing using Curiosity-Driven Reinforcement Learning2021

    • 著者名/発表者名
      Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, and Yang Liu
    • 学会等名
      The 43rd International Conference on Software Engineering (ICSE 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks2021

    • 著者名/発表者名
      Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
    • 学会等名
      Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding2021

    • 著者名/発表者名
      Maryam V. Pour, Li Zhuo, Lei Ma and Hadi Hemmati
    • 学会等名
      IEEE International Conference on Software Testing, Verification and Validation (ICST 2021, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: a Case Study on Apollo2020

    • 著者名/発表者名
      Zi Peng, Jinqiu Yang, Tse-Hsun Chen, Lei Ma
    • 学会等名
      The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 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, Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] Generating Adversarial Examples for Holding Robustness of Source Code Processing Models2020

    • 著者名/発表者名
      Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin
    • 学会等名
      The 34th AAAI Conference on Artificial Intelligence, New York, USA, Feb 7-12, 2020. (AAAI'20, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] Watch out! Motion is Blurring the Vision of Your Deep Neural Networks2020

    • 著者名/発表者名
      Qing Gu, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu
    • 学会等名
      Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2020, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] 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
  • [学会発表] DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices2020

    • 著者名/発表者名
      Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] Amora: Black-box Adversarial Morphing Attack2020

    • 著者名/発表者名
      Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices2020

    • 著者名/発表者名
      Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, 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, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04168
  • [学会発表] 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, Meng Sun
    • 学会等名
      The 42nd International Conference on Software Engineering, 12 pages, 23-29 May 2020, Seoul, South Korea (ICSE’20, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning2020

    • 著者名/発表者名
      Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu
    • 学会等名
      The 34th AAAI Conference on Artificial Intelligence, 9 pages, New York, USA, Feb 7-12, 2020. (AAAI’20, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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-19K24348
  • [学会発表] 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
  • [学会発表] Amora: Black-box Adversarial Morphing Attack2020

    • 著者名/発表者名
      Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    • 学会等名
      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
  • [学会発表] Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning2020

    • 著者名/発表者名
      Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu
    • 学会等名
      The 34th AAAI Conference on Artificial Intelligence, New York, USA, Feb 7-12, 2020. (AAAI'20, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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 (CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo2020

    • 著者名/発表者名
      Zi Peng, Jinqiu Yang, Tse-Hsun Chen, Lei Ma
    • 学会等名
      The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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, Meng Sun
    • 学会等名
      The 42nd International Conference on Software Engineering, 12 pages, 23-29 May 2020, Seoul, South Korea (ICSE’20, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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-19K24348
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] Generating Adversarial Examples for Holding Robustness of Source Code Processing Models2020

    • 著者名/発表者名
      Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin
    • 学会等名
      The 34th AAAI Conference on Artificial Intelligence, 8 pages, New York, USA, Feb 7-12, 2020. (AAAI’20, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] Watch out! Motion is Blurring the Vision of Your Deep Neural Networks2020

    • 著者名/発表者名
      Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu
    • 学会等名
      Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2020, CORE Rank A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems2019

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

    • 著者名/発表者名
      Xiaofei Xie, Lei Ma [Corresponding Author], Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See
    • 学会等名
      The 28th International Symposium on Software Testing and Analysis, pp.146-157, Beijing, China, July 2019 (ISSTA’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] Yan Zheng, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yinfeng Chen, Changjie Fan2019

    • 著者名/発表者名
      Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning
    • 学会等名
      The 34rd IEEE/ACM International Conference on Automated Software Engineering, pp.772-784, San Diego, California, USA, November 11-15, 2019 (ASE’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems2019

    • 著者名/発表者名
      Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao
    • 学会等名
      The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 477-487, Tallinn, Estonia, August 2019 (FSE’19, CORE A*)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] DeepMutation++: a Mutation Testing Framework for Deep Learning Systems2019

    • 著者名/発表者名
      Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, and Jianjun Zhao
    • 学会等名
      In Proc. 34th IEEE/ACM Conference on Automated Software Engineering, pp.1158-1161, San Diego, California, USA, November 11-15, 2019. (ASE’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] A Quantitative Analysis Framework for Recurrent Neural Network.2019

    • 著者名/発表者名
      Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
    • 学会等名
      In Proc. 34th IEEE/ACM Conference on Automated Software Engineering, pp.1062-1065, San Diego, California, USA, November 11-15, 2019. (ASE’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] 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 of Common Challenges in Developing Deep Learning Applications2019

    • 著者名/発表者名
      Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu and Miryung Kim
    • 学会等名
      The 30th International Symposium on Software Reliability Engineering, 12 pages, Oct. 2019, Berlin, Germany (ISSRE’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
    • 学会等名
      In Proc. 34th IEEE/ACM Conference on Automated Software Engineering, pp.810-822, San Diego, California, USA, November 11-15, 2019. (ASE’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • [学会発表] 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
  • [学会発表] 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
  • [学会発表] Coverage-guided Fuzzing for Feedforward Neural Networks2019

    • 著者名/発表者名
      Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
    • 学会等名
      In Proc. 34th IEEE/ACM Conference on Automated Software Engineering, pp.1162-1165, San Diego, California, USA, November 11-15, 2019. (ASE’19, CORE Rank A)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K24348
  • 1.  趙 建軍 (20299580)
    共同の研究課題数: 4件
    共同の研究成果数: 32件
  • 2.  鵜林 尚靖 (80372762)
    共同の研究課題数: 3件
    共同の研究成果数: 1件
  • 3.  石川 冬樹 (50455193)
    共同の研究課題数: 3件
    共同の研究成果数: 2件
  • 4.  亀井 靖高 (10610222)
    共同の研究課題数: 2件
    共同の研究成果数: 11件
  • 5.  佐藤 周行 (20225999)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  馮 尭楷 (60363389)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 7.  林 晋平 (40541975)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 8.  肥後 芳樹 (70452414)
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 9.  松本 真佑 (90583948)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 10.  宮尾 祐介 (00343096)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  蓮尾 一郎 (60456762)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  張 振亜 (10971228)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 13.  福安 直樹
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 14.  近藤 将成
    共同の研究課題数: 0件
    共同の研究成果数: 2件
  • 15.  柏 祐太郎
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

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

Powered by NII kakenhi