MA LEI 馬雷

Researcher Number	70842061
Other IDs
Affiliation (Current)	2025: 東京大学, 大学院情報理工学系研究科, 准教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 東京大学, 大学院情報理工学系研究科, 准教授 2020 – 2022: 九州大学, システム情報科学研究院, 准教授 2020: 九州大学, システム情報科学研究院, 学術研究員 2019: 九州大学, システム情報科学研究院, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / 1001:Information science, computer engineering, and related fields Except Principal Investigator Basic Section 60050:Software-related / Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator 信頼性 / 機械学習工学 / 深層学習システム / テスト / 分析 / LLM / 品質保証 / 回帰型ニューラルネットワーク / ソフトウエア修復 / ソフトウエアテスト … More / ソフトウエア解析 / 回帰型ニューラルネットワーク解析 / 知能ソフトウェア解析 / ソフトウェア工学 / 機械学習品質保証 / 回帰型ニューラルネットワーク分析 / 深層学習 / 知能ソフトウェア分析 / 品質保障 / ソフトウェアテスト / システム開発と展開 / ソフトウェア品質保障 / テスト基準 / 深層学習システムの展開 / 信頼性と安全性 / 差動テスト … More Except Principal Investigator プログラム修正 / テスト / サイバーフィジカルシステム / AI品質保証 / 開発コンテキスト / 自動生成 / テストスイート / 自動プログラム修正 / プログラムデバッグ / 信頼性と安全性 / ソフトウェアテスト / 安全性と信頼性 / 深層学習システム / ソフトウエアテスト Less

大規模言語モデルのための品質保証技術に関する研究Principal Investigator
- Principal Investigator
  
  馬雷
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  The University of Tokyo
Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems
- 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
機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化
- Principal Investigator
  
  亀井靖高
- Project Period (FY)
  2021 – 2024
- 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
Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning SystemsPrincipal Investigator
- Principal Investigator
  
  MA LEI
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Differential Testing Techniques Towards Large-scale Deployment of Deep Learning SystemsPrincipal Investigator
- Principal Investigator
  
  MA LEI
- Project Period (FY)
  2019 – 2020
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Kyushu University
Automated Testing of Deep Learning Systems
- Principal Investigator
  
  Zhao Jianjun
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University

All 2024 2023 2022 2021 2020 2019

All Journal Article Presentation

[Journal Article] TraceJIT: Evaluating the Impact of Behavioral Code Change on Just-In-Time Defect Prediction2024
- Author(s)
  Issei Morita, Yutaro Kashiwa, Masanari Kondo, Jeongju Sohn, Shane McIntosh, Yasutaka Kamei, Naoyasu Ubayashi
- Journal Title
  
  Proc. of the International Conference on Software Analysis, Evolution, and Reengineering (SANER)
  
  Volume: 1 Pages: 1-12
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents2024
- Author(s)
  Rio Kishimoto, Tetsuya Kanda, Yuki Manabe, Katsuro Inoue, and Yoshiki Higo
- Journal Title
  
  Proc. of the International Conference on Software Analysis, Evolution, and Reengineering (SANER)
  
  Volume: 1 Pages: 1-5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Towards Privacy Preserving Cross Project Defect Prediction with Federated Learning2023
- Author(s)
  Hiroki Yamamoto, Dong Wang, Gopi Rajbahadur, Masanari Kondo, Yasutaka Kamei, and Naoyasu Ubayashi
- Journal Title
  
  Proceedings of International Conference on Software Analysis, Evolution, and Reengineering
  
  Volume: 1
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] When Conversations Turn Into Work: A Taxonomy of Converted Discussions and Issues in GitHub2023
- Author(s)
  Dong Wang, Masanari Kondo, Yasutaka Kamei, Raula Gaikovina Kula, Naoyasu Ubayashi
- Journal Title
  
  Empirical Software Engineering Journal
  
  Volume: 28 Issue: 6 Pages: 1-30
- DOI
  10.1007/s10664-023-10366-z
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K17874, KAKENHI-PROJECT-23K16864, KAKENHI-PROJECT-20K19774, KAKENHI-PROJECT-20H05706, KAKENHI-PROJECT-21H04877
[Journal Article] The Effects of Soft Assertion on Spectrum-Based Fault Localization2023
- Author(s)
  Mihara Kouhei、Matsumoto Shinsuke、Kusumoto Shinji
- Journal Title
  
  Proc. of the International Conference on Product-Focused Software Process Improvement (PROFES)
  
  Volume: 1 Pages: 379-386
- DOI
  10.1007/978-3-031-49266-2_26
- ISBN
  9783031492655, 9783031492662
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Large-Scale Evaluation of Method-Level Bug Localization with FinerBench4BL2023
- Author(s)
  Shizuka Tsumita, Shinpei Hayashi, Sousuke Amasaki
- Journal Title
  
  Proceedings of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
  
  Volume: 1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria2023
- Author(s)
  Zhang Zhenya、Lyu Deyun、Arcaini Paolo、Ma Lei、Hasuo Ichiro、Zhao Jianjun
- Journal Title
  
  IEEE Transactions on Software Engineering
  
  Volume: 49 Issue: 4 Pages: 1842-1859
- DOI
  10.1109/tse.2022.3194640
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-19H04086
[Journal Article] Do Exceptional Behavior Tests Matter on Spectrum-Based Fault Localization?2023
- Author(s)
  Yoshioka Haruka、Higo Yoshiki、Matsumoto Shinsuke、Kusumoto Shinji、Itoh Shinji、Huyen Phan Thi Thanh
- Journal Title
  
  Proc. of the International Conference on Product-Focused Software Process Improvement (PROFES)
  
  Volume: 1 Pages: 399-414
- DOI
  10.1007/978-3-031-49266-2_28
- ISBN
  9783031492655, 9783031492662
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K24823
[Journal Article] PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks2023
- Author(s)
  Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei
- Journal Title
  
  Information and Software Technology
  
  Volume: 155 Pages: 107117-107117
- DOI
  10.1016/j.infsof.2022.107117
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K17874, KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-18H04097, KAKENHI-PROJECT-20H04167
[Journal Article] ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks2023
- Author(s)
  Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Lei Ma, Jianjun Zhao
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology 2023 (TOSEM)
  
  Volume: １ Pages: 1-33
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] A Survey on Automated Driving System Testing: Landscapes and Trends.2023
- Author(s)
  Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, impact factor 3.685)
  
  Volume: n.a. Issue: 5 Pages: 1-62
- DOI
  10.1145/3579642
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Journal Article] Automatic Fixation of Decompilation Quirks Using Pre-trained Language Model2023
- Author(s)
  Kaichi Ryunosuke、Matsumoto Shinsuke、Kusumoto Shinji
- Journal Title
  
  Proc. of the International Conference on Product-Focused Software Process Improvement (PROFES)
  
  Volume: 1 Pages: 259-266
- DOI
  10.1007/978-3-031-49266-2_18
- ISBN
  9783031492655, 9783031492662
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks2023
- Author(s)
  Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, Impact Factor 3.685)
  
  Volume: n.a.
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Journal Article] Repeated Builds During Code Review: An Empirical Study of the OpenStack Community2023
- Author(s)
  Maipradit Rungroj、Wang Dong、Thongtanunam Patanamon、Kula Raula Gaikovina、Kamei Yasutaka、McIntosh Shane
- Journal Title
  
  Proc. of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
  
  Volume: 1 Pages: 153-165
- DOI
  10.1109/ase56229.2023.00030
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K18630, KAKENHI-PROJECT-23K16864, KAKENHI-PROJECT-21H04877
[Journal Article] PyVerDetector: A Chrome Extension Detecting the Python Version of Stack Overflow Code Snippets2023
- Author(s)
  Yang Shiyu、Kanda Tetsuya、Pizzolotto Davide、German Daniel M.、Higo Yoshiki
- Journal Title
  
  Proc. of the International Conference on Program Comprehension (ICPC)
  
  Volume: 1 Pages: 25-29
- DOI
  10.1109/icpc58990.2023.00013
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.2023
- Author(s)
  Yuheng Huang, Lei Ma, Yuanchun Li
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, Impact Factor 3.685)
  
  Volume: n.a. Issue: 6 Pages: 1-34
- DOI
  10.1145/3591870
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Journal Article] Empirical Study of Co-Renamed Identifiers2022
- Author(s)
  Yuki Osumi, Naotaka Umekawa, Hitomi Komata, Shinpei Hayashi
- Journal Title
  
  Proceedings of the 29th Asia-Pacific Software Engineering Conference 2022
  
  Volume: 1 Pages: 71-80
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks2022
- Author(s)
  Xie Xiaofei、Li Tianlin、Wang Jian、Ma Lei、Guo Qing、Juefei-Xu Felix、Liu Yang
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology
  
  Volume: 31 Issue: 3 Pages: 1-27
- DOI
  10.1145/3490489
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-21H04877
[Journal Article] An empirical study on self-admitted technical debt in Dockerfiles2022
- Author(s)
  Azuma Hideaki、Matsumoto Shinsuke、Kamei Yasutaka、Kusumoto Shinji
- Journal Title
  
  Empirical Software Engineering
  
  Volume: 27 Issue: 2 Pages: 1-26
- DOI
  10.1007/s10664-021-10081-7
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Hey APR! Integrate Our Fault Localization Skill: Toward Better Automated Program Repair2022
- Author(s)
  Yamate Kyosuke、Kondo Masanari、Kashiwa Yutaro、Kamei Yasutaka、Ubayashi Naoyasu
- Journal Title
  
  Proceedings of Annual Computers, Software, and Applications Conference (COMPSAC)
  
  Volume: 1 Pages: 563-568
- DOI
  10.1109/compsac54236.2022.00101
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-18H04097
[Journal Article] Are NLP Metrics Suitable for Evaluating Generated Code?2022
- Author(s)
  Takaichi Riku、Higo Yoshiki、Matsumoto Shinsuke、Kusumoto Shinji、Kurabayashi Toshiyuki、Kirinuki Hiroyuki、Tanno Haruto
- Journal Title
  
  Proceedings of International Conference on Product-Focused Software Process Improvement
  
  Volume: 1 Pages: 531-537
- DOI
  10.1007/978-3-031-21388-5_38
- ISBN
  9783031213878, 9783031213885
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K24823
[Journal Article] Tidy Up Your Source Code! Eliminating Wasteful Statements in Automatically Repaired Source Code2022
- Author(s)
  Iwase Takumi、Matsumoto Shinsuke、Kusumoto Shinji
- Journal Title
  
  Proceedings of International Conference on Product-Focused Software Process Improvement
  
  Volume: 1 Pages: 544-550
- DOI
  10.1007/978-3-031-21388-5_40
- ISBN
  9783031213878, 9783031213885
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] On the usage and development of deep learning compilers: an empirical study on TVM2022
- Author(s)
  Xiongfei Wu, Jinqiu Yang, Lei Ma, Yinxing Xue, and Jianjun Zhao
- Journal Title
  
  Empirical Software Engineering volume 27, 172, Sep. 2022 (EMSE 2022, Impact Factor 3.762)
  
  Volume: 27
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Journal Article] Evaluating Automated Program Repair Techniques using Introductory Programming Course Datasets2022
- Author(s)
  Nakamura Tsukasa、Kondo Masanari、Kamei Yasutaka、Ubayashi Naoyasu
- Journal Title
  
  Proceedings of Annual Computers, Software, and Applications Conference (COMPSAC)
  
  Volume: 1 Pages: 569-574
- DOI
  10.1109/compsac54236.2022.00102
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-18H04097
[Journal Article] Do visual issue reports help developers fix bugs?2022
- Author(s)
  Kuramoto Hiroki、Kondo Masanari、Kashiwa Yutaro、Ishimoto Yuta、Shindo Kaze、Kamei Yasutaka、Ubayashi Naoyasu
- Journal Title
  
  Proceedings of International Conference on Program Comprehension (ICPC)
  
  Volume: 1 Pages: 511-515
- DOI
  10.1145/3524610.3527882
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] An empirical study on self-admitted technical debt in modern code review2022
- Author(s)
  Kashiwa Yutaro、Nishikawa Ryoma、Kamei Yasutaka、Kondo Masanari、Shihab Emad、Sato Ryosuke、Ubayashi Naoyasu
- Journal Title
  
  Information and Software Technology
  
  Volume: 146 Pages: 106855-106855
- DOI
  10.1016/j.infsof.2022.106855
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K17725, KAKENHI-PROJECT-21H04877
[Journal Article] Classification of Changes Based on API2022
- Author(s)
  Iriyama Masashi、Higo Yoshiki、Kusumoto Shinji
- Journal Title
  
  Proceedings of International Conference on Product-Focused Software Process Improvement
  
  Volume: 1 Pages: 61-70
- DOI
  10.1007/978-3-031-21388-5_5
- ISBN
  9783031213878, 9783031213885
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-23K24823
[Journal Article] DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions2022
- Author(s)
  Ren Xuhong、Chen Jianlang、Juefei-Xu Felix、Xue Wanli、Guo Qing、Ma Lei、Zhao Jianjun、Chen Shengyong
- Journal Title
  
  Pattern Recognition
  
  Volume: 131 Pages: 108864-108864
- DOI
  10.1016/j.patcog.2022.108864
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-20H04168
[Journal Article] When cyber-physical systems meet AI2022
- Author(s)
  Song Jiayang、Lyu Deyun、Zhang Zhenya、Wang Zhijie、Zhang Tianyi、Ma Lei
- Journal Title
  
  Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice
  
  Volume: 1 Pages: 343-352
- DOI
  10.1145/3510457.3513049
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Learning to Adversarially Blur Visual Object Tracking2021
- Author(s)
  Guo Qing、Cheng Ziyi、Juefei-Xu Felix、Ma Lei、Xie Xiaofei、Liu Yang、Zhao Jianjun
- Journal Title
  
  Proceedings of International Conference on Computer Vision
  
  Volume: 1 Pages: 10819-10828
- DOI
  10.1109/iccv48922.2021.01066
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Detecting Functional Differences using Automatic Test Generation for Automated Assessment in Programming Education2021
- Author(s)
  Ryoko Izuta, Shinsuke Matsumoto, Hiroshi Igaki, Sachio Saiki, Naoki Fukuyasu, Shinji Kusumoto
- Journal Title
  
  Proc. 28th Asia-Pacific Software Engineering Conference (APSEC)
  
  Volume: APSEC 2021 Pages: 526-530
- DOI
  10.1109/apsec53868.2021.00062
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K03001, KAKENHI-PROJECT-21H04877
[Journal Article] Applying Multi-Objective Genetic Algorithm for Efficient Selection on Program Generation2021
- Author(s)
  Watanabe Hiroto、Matsumoto Shinsuke、Higo Yoshiki、Kusumoto Shinji、Kurabayashi Toshiyuki、Kirinuki Hiroyuki、Tanno Haruto
- Journal Title
  
  Proceedings of Asia-Pacific Software Engineering Conference (APSEC)
  
  Volume: 1 Pages: 515-519
- DOI
  10.1109/apsec53868.2021.00060
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] Evaluating the impact of falsely detected performance bug-inducing changes in JIT models2021
- Author(s)
  Quach Sophia、Lamothe Maxime、Adams Bram、Kamei Yasutaka、Shang Weiyi
- Journal Title
  
  Empirical Software Engineering
  
  Volume: 26 Issue: 5 Pages: 1-33
- DOI
  10.1007/s10664-021-10004-6
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] JTDog: a Gradle Plugin for Dynamic Test Smell Detection2021
- Author(s)
  Taniguchi Masayuki、Matsumoto Shinsuke、Kusumoto Shinji
- Journal Title
  
  Proceedings of International Conference on Automated Software Engineering (ASE)
  
  Volume: 1 Pages: 1271-1275
- DOI
  10.1109/ase51524.2021.9678529
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H04877
[Journal Article] DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment2021
- Author(s)
  Yu Bing、Qi Hua、Qing Guo、Juefei-Xu Felix、Xie Xiaofei、Ma Lei、Zhao Jianjun
- Journal Title
  
  IEEE Transactions on Reliability
  
  Volume: - Issue: 4 Pages: 1-16
- DOI
  10.1109/tr.2021.3096332
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168, KAKENHI-PROJECT-21H04877, KAKENHI-PROJECT-19H04086
[Journal Article] Machine Learning Testing: Survey, Landscapes and Horizons2020
- Author(s)
  Zhang Jie M.、Harman Mark、Ma Lei、Liu Yang
- Journal Title
  
  IEEE Transactions on Software Engineering
  
  Volume: 1 Issue: 1 Pages: 1-37
- DOI
  10.1109/tse.2019.2962027
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction2023
- Author(s)
  Zhijie Wang, Yuheng Huang, Da Song, Lei Ma, Tianyi Zhang
- Organizer
  The ACM CHI Conference on Human Factors in Computing Systems (CHI 2023, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Towards Robust Object Detection Models by Metamorphic Testing2023
- Author(s)
  Jianhong Wang, Yuta Ishimoto, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi
- Organizer
  情報処理学会ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-21H04877
[Presentation] DeepLens: Interactive Out-of-Distribution Data Detection in NLP Models2023
- Author(s)
  Da Song, Zhijie Wang, Yuheng Huang, Lei Ma, Tianyi Zhang
- Organizer
  The ACM CHI Conference on Human Factors in Computing Systems (CHI 2023, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] CodeS: Towards Code Model Generalization Under Distribution Shift2023
- Author(s)
  Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
- Organizer
  The 45th International Conference on Software Engineering, NIER Track (ICSE 2023, CORE Rank A* )
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation2023
- Author(s)
  Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
- Organizer
  The 45th International Conference on Software Engineering (ICSE 2023, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] An Initial Analysis of Repair and Side-effect Prediction for Neural Networks2023
- Author(s)
  Yuta Ishimoto, Ken Matsui, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei
- Organizer
  The 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] DeepGemini: Verifying Dependency Fairness for Deep Neural Network2023
- Author(s)
  Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
- Organizer
  The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Docker における複数環境対応のための Dockerfile プリプロセッサの調査2023
- Author(s)
  馬渕航, 松本真佑, 楠本真二
- Organizer
  電子情報通信学会技術研究報告（SIGSS）
- Data Source
  KAKENHI-PROJECT-21H04877
[Presentation] Generative Model-Based Testing on Decision-Making Policies2023
- Author(s)
  Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
- Organizer
  The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks2023
- Author(s)
  Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
- Organizer
  The 31st ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28062
[Presentation] Evaluating the impact of falsely detected performance bug-inducing changes in JIT models2022
- Author(s)
  Sophia Quach, Maxime Lamothe, Bram Adams, Yasutaka Kamei, and Weiyi Shang
- Organizer
  International Conference on Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Presentation] An Empirical Study on Self-Admitted Technical Debt in Modern Code Review2022
- Author(s)
  Yutaro Kashiwa, Ryoma Nishikawa, Yasutaka Kamei, Masanari Kondo, Emad Shihab, Ryosuke Sato, and Naoyasu Ubayashi
- Organizer
  International Conference on Software Maintenance and Evolution
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04877
[Presentation] When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward2022
- Author(s)
  Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
- Organizer
  The 44th International Conference on Software Engineering, SEIP Track (ICSE 2022, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Learning to adversarially blur visual object tracking2021
- Author(s)
  Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao
- Organizer
  Proceedings of the IEEE/CVF International Conference on Computer Vision
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Effective hybrid system falsification using monte carlo tree search guided by QB-robustness2021
- Author(s)
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
- Organizer
  Computer Aided Verification: 33rd International Conference, CAV 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness2021
- Author(s)
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo and Jianjun Zhao
- Organizer
  The 33rd International Conference on Computer-Aided Verification, 2021 (CAV 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image2021
- Author(s)
  Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun
- Organizer
  Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] Deepmix: Online auto data augmentation for robust visual object tracking2021
- Author(s)
  Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao
- Organizer
  2021 IEEE International Conference on Multimedia and Expo (ICME)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining2021
- Author(s)
  Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun Zhao
- Organizer
  The 35th AAAI Conference on Artificial Intelligence (AAAI 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Efficientderain: Learning pixel-wise dilation filtering for high-efficiency single-image deraining2021
- Author(s)
  Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao
- Organizer
  Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks2021
- Author(s)
  Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
- Organizer
  Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] What to Blame? On the Granularity of Fault Localization for Deep Neural Networks2021
- Author(s)
  Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
- Organizer
  The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021 Practical Experience Reports), pp.264-275, October 2021
- 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-19K24348
[Presentation] A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding2021
- Author(s)
  Maryam V. Pour, Li Zhuo, Lei Ma and Hadi Hemmati
- Organizer
  IEEE International Conference on Software Testing, Verification and Validation (ICST 2021, CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Learning to Adversarially Blur Visual Object Tracking2021
- Author(s)
  Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, 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] Model-based Data-Complexity Estimator for Deep Learning Systems2021
- Author(s)
  Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
- Organizer
  The 3rd IEEE International Conference on Artificial Intelligence Testing (IEEE AI Tests 2021), pp.1-8, August 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Automatic RNN Repair via Model-based Analysis2021
- Author(s)
  Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing
- Organizer
  The 38th International Conference on Machine Learning, 2021 (ICML 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Automatic Web Testing using Curiosity-Driven Reinforcement Learning2021
- Author(s)
  Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, and Yang Liu
- Organizer
  The 43rd International Conference on Software Engineering (ICSE 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks2021
- Author(s)
  Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
- Organizer
  Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[Presentation] On the effectiveness of signal rescaling in hybrid system falsification2021
- Author(s)
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
- Organizer
  NASA Formal Methods: 13th International Symposium, NFM 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04086
[Presentation] 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] A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding2021
- Author(s)
  Maryam V. Pour, Li Zhuo, Lei Ma and Hadi Hemmati
- Organizer
  IEEE International Conference on Software Testing, Verification and Validation (ICST 2021, CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: a Case Study on Apollo2020
- Author(s)
  Zi Peng, Jinqiu Yang, Tse-Hsun Chen, Lei Ma
- Organizer
  The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 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, 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] Generating Adversarial Examples for Holding Robustness of Source Code Processing Models2020
- Author(s)
  Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin
- Organizer
  The 34th AAAI Conference on Artificial Intelligence, New York, USA, Feb 7-12, 2020. (AAAI'20, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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] 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] Watch out! Motion is Blurring the Vision of Your Deep Neural Networks2020
- Author(s)
  Qing Gu, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu
- Organizer
  Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2020, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04168
[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] DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices2020
- Author(s)
  Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
- Organizer
  Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] Amora: Black-box Adversarial Morphing Attack2020
- Author(s)
  Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
- Organizer
  Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices2020
- Author(s)
  Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
- 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] 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] 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, Meng Sun
- Organizer
  The 42nd International Conference on Software Engineering, 12 pages, 23-29 May 2020, Seoul, South Korea (ICSE’20, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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] Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning2020
- Author(s)
  Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu
- Organizer
  The 34th AAAI Conference on Artificial Intelligence, 9 pages, New York, USA, Feb 7-12, 2020. (AAAI’20, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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-19K24348
[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] Amora: Black-box Adversarial Morphing Attack2020
- Author(s)
  Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
- 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] Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning2020
- Author(s)
  Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu
- Organizer
  The 34th AAAI Conference on Artificial Intelligence, New York, USA, Feb 7-12, 2020. (AAAI'20, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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 (CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo2020
- Author(s)
  Zi Peng, Jinqiu Yang, Tse-Hsun Chen, Lei Ma
- Organizer
  The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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, Meng Sun
- Organizer
  The 42nd International Conference on Software Engineering, 12 pages, 23-29 May 2020, Seoul, South Korea (ICSE’20, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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-19K24348
[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] 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] Generating Adversarial Examples for Holding Robustness of Source Code Processing Models2020
- Author(s)
  Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin
- Organizer
  The 34th AAAI Conference on Artificial Intelligence, 8 pages, New York, USA, Feb 7-12, 2020. (AAAI’20, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] Watch out! Motion is Blurring the Vision of Your Deep Neural Networks2020
- Author(s)
  Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu
- Organizer
  Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2020, CORE Rank A*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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] Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems2019
- Author(s)
  Yang Liu, Lei Ma, Jianjun Zhao
- Organizer
  The 21st International Conference on Formal Engineering Methods, pp.3-15, ShenZhen, China, Nov. 2019 (ICFEM 2019, CORE Rank B)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks2019
- Author(s)
  Xiaofei Xie, Lei Ma [Corresponding Author], Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See
- Organizer
  The 28th International Symposium on Software Testing and Analysis, pp.146-157, Beijing, China, July 2019 (ISSTA’19, CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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] Yan Zheng, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yinfeng Chen, Changjie Fan2019
- Author(s)
  Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning
- Organizer
  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)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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
  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*)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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
  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)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[Presentation] A Quantitative Analysis Framework for Recurrent Neural Network.2019
- Author(s)
  Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
- Organizer
  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)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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] 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 of Common Challenges in Developing Deep Learning Applications2019
- Author(s)
  Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu and Miryung Kim
- Organizer
  The 30th International Symposium on Software Reliability Engineering, 12 pages, Oct. 2019, Berlin, Germany (ISSRE’19, CORE Rank A)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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
  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)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348
[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] 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] Coverage-guided Fuzzing for Feedforward Neural Networks2019
- Author(s)
  Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
- Organizer
  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)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K24348

1. Zhao Jianjun (20299580)

# of Collaborated Projects: 4 results

# of Collaborated Products: 32 results
2. 鵜林尚靖 (80372762)

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
7. 林晋平 (40541975)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. 肥後芳樹 (70452414)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
9. 松本真佑 (90583948)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
13. 福安直樹

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
14. 近藤将成

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
15. 柏祐太郎

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

MA LEI 馬 雷

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Differential Testing Techniques Towards Large-scale Deployment of Deep Learning SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Automated Testing of Deep Learning Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] TraceJIT: Evaluating the Impact of Behavioral Code Change on Just-In-Time Defect Prediction2024

Author(s)

Journal Title

Data Source

[Journal Article] Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents2024

Author(s)

Journal Title

Data Source

[Journal Article] Towards Privacy Preserving Cross Project Defect Prediction with Federated Learning2023

Author(s)

Journal Title

Data Source

[Journal Article] When Conversations Turn Into Work: A Taxonomy of Converted Discussions and Issues in GitHub2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] The Effects of Soft Assertion on Spectrum-Based Fault Localization2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Large-Scale Evaluation of Method-Level Bug Localization with FinerBench4BL2023

Author(s)

Journal Title

Data Source

[Journal Article] FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Do Exceptional Behavior Tests Matter on Spectrum-Based Fault Localization?2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks2023

Author(s)

MA LEI 馬雷