Login / Signup
Lei Ma
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 191
Top Topics
Language Model
Neural Network
Deep Learning
Regression Testing
Top Venues
CoRR
ASE
ACM Trans. Softw. Eng. Methodol.
IEEE Trans. Software Eng.
</>
Publications
</>
Derui Zhu
,
Dingfan Chen
,
Qing Li
,
Zongxiong Chen
,
Lei Ma
,
Jens Grossklags
,
Mario Fritz
PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics.
CoRR
(2024)
Zhehua Zhou
,
Jiayang Song
,
Kunpeng Yao
,
Zhan Shu
,
Lei Ma
ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning.
ICRA
(2024)
Zhehua Zhou
,
Xuan Xie
,
Jiayang Song
,
Zhan Shu
,
Lei Ma
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model.
CoRR
(2024)
Yinghua Li
,
Xueqi Dang
,
Lei Ma
,
Jacques Klein
,
Tegawendé F. Bissyandé
Prioritizing test cases for deep learning-based video classifiers.
Empir. Softw. Eng.
29 (5) (2024)
Qiang Hu
,
Yuejun Guo
,
Xiaofei Xie
,
Maxime Cordy
,
Lei Ma
,
Mike Papadakis
,
Yves Le Traon
Test Optimization in DNN Testing: A Survey.
ACM Trans. Softw. Eng. Methodol.
33 (4) (2024)
Qiang Hu
,
Yuejun Guo
,
Xiaofei Xie
,
Maxime Cordy
,
Lei Ma
,
Mike Papadakis
,
Yves Le Traon
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.
IEEE Trans. Software Eng.
50 (5) (2024)
Da Song
,
Xuan Xie
,
Jiayang Song
,
Derui Zhu
,
Yuheng Huang
,
Felix Juefei-Xu
,
Lei Ma
LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
IEEE Trans. Software Eng.
50 (7) (2024)
Zhehua Zhou
,
Jiayang Song
,
Xuan Xie
,
Zhan Shu
,
Lei Ma
,
Dikai Liu
,
Jianxiong Yin
,
Simon See
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
ICSE-SEIP
(2024)
Xuan Xie
,
Jiayang Song
,
Zhehua Zhou
,
Yuheng Huang
,
Da Song
,
Lei Ma
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward.
CoRR
(2024)
Xinyu Gao
,
Zhijie Wang
,
Yang Feng
,
Lei Ma
,
Zhenyu Chen
,
Baowen Xu
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.
CoRR
(2024)
Baijun Cheng
,
Shengming Zhao
,
Kailong Wang
,
Meizhen Wang
,
Guangdong Bai
,
Ruitao Feng
,
Yao Guo
,
Lei Ma
,
Haoyu Wang
Beyond Fidelity: Explaining Vulnerability Localization of Learning-based Detectors.
CoRR
(2024)
Yinghua Li
,
Xueqi Dang
,
Lei Ma
,
Jacques Klein
,
Yves Le Traon
,
Tegawendé F. Bissyandé
Test Input Prioritization for 3D Point Clouds.
ACM Trans. Softw. Eng. Methodol.
33 (5) (2024)
Jiawen Wen
,
Dong Yuan
,
Lei Ma
,
Huaming Chen
Code Ownership in Open-Source AI Software Security.
RAIE@ICSE
(2024)
Jianlang Chen
,
Xuhong Ren
,
Qing Guo
,
Felix Juefei-Xu
,
Di Lin
,
Wei Feng
,
Lei Ma
,
Jianjun Zhao
LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks.
ICLR
(2024)
Zhijie Wang
,
Yuheng Huang
,
Da Song
,
Lei Ma
,
Tianyi Zhang
PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement.
CHI
(2024)
Qiang Hu
,
Jin Wen
,
Maxime Cordy
,
Yuheng Huang
,
Xiaofei Xie
,
Lei Ma
Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing.
CoRR
(2024)
Xinyu Gao
,
Zhijie Wang
,
Yang Feng
,
Lei Ma
,
Zhenyu Chen
,
Baowen Xu
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.
ICSE
(2024)
Wenhan Wang
,
Chenyuan Yang
,
Zhijie Wang
,
Yuheng Huang
,
Zhaoyang Chu
,
Da Song
,
Lingming Zhang
,
An Ran Chen
,
Lei Ma
TESTEVAL: Benchmarking Large Language Models for Test Case Generation.
CoRR
(2024)
Jiawei Liu
,
Yuheng Huang
,
Zhijie Wang
,
Lei Ma
,
Chunrong Fang
,
Mingzheng Gu
,
Xufan Zhang
,
Zhenyu Chen
Generation-based Differential Fuzzing for Deep Learning Libraries.
ACM Trans. Softw. Eng. Methodol.
33 (2) (2024)
Yinxing Xue
,
Jiaming Ye
,
Wei Zhang
,
Jun Sun
,
Lei Ma
,
Haijun Wang
,
Jianjun Zhao
xFuzz: Machine Learning Guided Cross-Contract Fuzzing.
IEEE Trans. Dependable Secur. Comput.
21 (2) (2024)
Linghan Huang
,
Peizhou Zhao
,
Huaming Chen
,
Lei Ma
Large Language Models Based Fuzzing Techniques: A Survey.
CoRR
(2024)
Paolo Arcaini
,
Fuyuki Ishikawa
,
Lei Ma
,
Yuta Maezawa
,
Nobukazu Yoshioka
,
Fuyuan Zhang
Technical Briefing on Deep Neural Network Repair.
ICSE Companion
(2024)
Zhijie Wang
,
Yuheng Huang
,
Da Song
,
Lei Ma
,
Tianyi Zhang
PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement.
CoRR
(2024)
Bonan Kou
,
Shengmai Chen
,
Zhijie Wang
,
Lei Ma
,
Tianyi Zhang
Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code?
Proc. ACM Softw. Eng.
1 (FSE) (2024)
Huangzhao Zhang
,
Shuai Lu
,
Zhuo Li
,
Zhi Jin
,
Lei Ma
,
Yang Liu
,
Ge Li
CodeBERT-Attack: Adversarial attack against source code deep learning models via pre-trained model.
J. Softw. Evol. Process.
36 (3) (2024)
Jianlang Chen
,
Xuhong Ren
,
Qing Guo
,
Felix Juefei-Xu
,
Di Lin
,
Wei Feng
,
Lei Ma
,
Jianjun Zhao
LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks.
CoRR
(2024)
Jiayang Song
,
Yuheng Huang
,
Zhehua Zhou
,
Lei Ma
Multilingual Blending: LLM Safety Alignment Evaluation with Language Mixture.
CoRR
(2024)
Zhijie Wang
,
Zijie Zhou
,
Da Song
,
Yuheng Huang
,
Shengmai Chen
,
Lei Ma
,
Tianyi Zhang
Where Do Large Language Models Fail When Generating Code?
CoRR
(2024)
Baijun Cheng
,
Shengming Zhao
,
Kailong Wang
,
Meizhen Wang
,
Guangdong Bai
,
Ruitao Feng
,
Yao Guo
,
Lei Ma
,
Haoyu Wang
Beyond Fidelity: Explaining Vulnerability Localization of Learning-Based Detectors.
ACM Trans. Softw. Eng. Methodol.
33 (5) (2024)
Tianlin Li
,
Xiaofei Xie
,
Jian Wang
,
Qing Guo
,
Aishan Liu
,
Lei Ma
,
Yang Liu
Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis.
ACM Trans. Softw. Eng. Methodol.
33 (1) (2024)
Zhehua Zhou
,
Jiayang Song
,
Kunpeng Yao
,
Zhan Shu
,
Lei Ma
ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning.
CoRR
(2023)
Qiang Hu
,
Yuejun Guo
,
Xiaofei Xie
,
Maxime Cordy
,
Mike Papadakis
,
Lei Ma
,
Yves Le Traon
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.
ICSE
(2023)
Zhijie Wang
,
Yuheng Huang
,
Da Song
,
Lei Ma
,
Tianyi Zhang
DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction.
CoRR
(2023)
Bonan Kou
,
Shengmai Chen
,
Zhijie Wang
,
Lei Ma
,
Tianyi Zhang
Is Model Attention Aligned with Human Attention? An Empirical Study on Large Language Models for Code Generation.
CoRR
(2023)
Hua Qi
,
Zhijie Wang
,
Qing Guo
,
Jianlang Chen
,
Felix Juefei-Xu
,
Fuyuan Zhang
,
Lei Ma
,
Jianjun Zhao
: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.
ACM Trans. Softw. Eng. Methodol.
32 (5) (2023)
Xiongfei Wu
,
Jiaming Ye
,
Ke Chen
,
Xiaofei Xie
,
Yujing Hu
,
Ruochen Huang
,
Lei Ma
,
Jianjun Zhao
Widget Detection-based Testing for Industrial Mobile Games.
ICSE-SEIP
(2023)
Zhibo Liu
,
Yuanyuan Yuan
,
Shuai Wang
,
Xiaofei Xie
,
Lei Ma
Decompiling x86 Deep Neural Network Executables.
USENIX Security Symposium
(2023)
Zhehua Zhou
,
Jiayang Song
,
Xuan Xie
,
Zhan Shu
,
Lei Ma
,
Dikai Liu
,
Jianxiong Yin
,
Simon See
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
CoRR
(2023)
Xuan Xie
,
Jiayang Song
,
Zhehua Zhou
,
Fuyuan Zhang
,
Lei Ma
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.
CoRR
(2023)
Da Song
,
Xuan Xie
,
Jiayang Song
,
Derui Zhu
,
Yuheng Huang
,
Felix Juefei-Xu
,
Lei Ma
LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
CoRR
(2023)
Shangqing Liu
,
Xiaofei Xie
,
Jing Kai Siow
,
Lei Ma
,
Guozhu Meng
,
Yang Liu
GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search.
IEEE Trans. Software Eng.
49 (4) (2023)
Da Song
,
Zhijie Wang
,
Yuheng Huang
,
Lei Ma
,
Tianyi Zhang
DeepLens: Interactive Out-of-distribution Data Detection in NLP Models.
CHI
(2023)
Zhuo Li
,
Xiongfei Wu
,
Derui Zhu
,
Mingfei Cheng
,
Siyuan Chen
,
Fuyuan Zhang
,
Xiaofei Xie
,
Lei Ma
,
Jianjun Zhao
Generative Model-Based Testing on Decision-Making Policies.
ASE
(2023)
Shuangzhi Li
,
Lei Ma
,
Xingyu Li
Domain Generalization of 3D Object Detection by Density-Resampling.
CoRR
(2023)
Zhuo Li
,
Derui Zhu
,
Yujing Hu
,
Xiaofei Xie
,
Lei Ma
,
Yan Zheng
,
Yan Song
,
Yingfeng Chen
,
Jianjun Zhao
Neural Episodic Control with State Abstraction.
ICLR
(2023)
Zhenya Zhang
,
Deyun Lyu
,
Paolo Arcaini
,
Lei Ma
,
Ichiro Hasuo
,
Jianjun Zhao
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng.
49 (4) (2023)
Renzhi Wang
,
Zhijie Wang
,
Yuheng Huang
,
Lei Ma
When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing.
ISSREW
(2023)
Mulong Xie
,
Jiaming Ye
,
Zhenchang Xing
,
Lei Ma
NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing.
CoRR
(2023)
Yuheng Huang
,
Jiayang Song
,
Zhijie Wang
,
Huaming Chen
,
Lei Ma
Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models.
CoRR
(2023)
Jiongchi Yu
,
Yuechen Wu
,
Xiaofei Xie
,
Wei Le
,
Lei Ma
,
Yingfeng Chen
,
Jingyu Hu
,
Fan Zhang
GameRTS: A Regression Testing Framework for Video Games.
ICSE
(2023)
Yi Liu
,
Yuekang Li
,
Gelei Deng
,
Felix Juefei-Xu
,
Yao Du
,
Cen Zhang
,
Chengwei Liu
,
Yeting Li
,
Lei Ma
,
Yang Liu
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers.
ASE
(2023)
Yuheng Huang
,
Lei Ma
,
Yuanchun Li
PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.
ACM Trans. Softw. Eng. Methodol.
32 (6) (2023)
Jiayang Song
,
Zhehua Zhou
,
Jiawei Liu
,
Chunrong Fang
,
Zhan Shu
,
Lei Ma
Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics.
CoRR
(2023)
Qiang Hu
,
Yuejun Guo
,
Xiaofei Xie
,
Maxime Cordy
,
Mike Papadakis
,
Lei Ma
,
Yves Le Traon
CodeS: Towards Code Model Generalization Under Distribution Shift.
ICSE (NIER)
(2023)
Fuyuan Zhang
,
Xinwen Hu
,
Lei Ma
,
Jianjun Zhao
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.
ESEC/SIGSOFT FSE
(2023)
Xinyu Gao
,
Zhijie Wang
,
Yang Feng
,
Lei Ma
,
Zhenyu Chen
,
Baowen Xu
Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
CoRR
(2023)
Jiaming Ye
,
Shangzhou Xia
,
Fuyuan Zhang
,
Paolo Arcaini
,
Lei Ma
,
Jianjun Zhao
,
Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
ASE
(2023)
Yang Hou
,
Qing Guo
,
Yihao Huang
,
Xiaofei Xie
,
Lei Ma
,
Jianjun Zhao
Evading DeepFake Detectors via Adversarial Statistical Consistency.
CoRR
(2023)
Xinyu Gao
,
Zhijie Wang
,
Yang Feng
,
Lei Ma
,
Zhenyu Chen
,
Baowen Xu
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
ESEC/SIGSOFT FSE
(2023)
Yi Liu
,
Yuekang Li
,
Gelei Deng
,
Felix Juefei-Xu
,
Yao Du
,
Cen Zhang
,
Chengwei Liu
,
Yeting Li
,
Lei Ma
,
Yang Liu
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers.
CoRR
(2023)
Amin Eslami Abyane
,
Derui Zhu
,
Roberto Souza
,
Lei Ma
,
Hadi Hemmati
Towards understanding quality challenges of the federated learning for neural networks: a first look from the lens of robustness.
Empir. Softw. Eng.
28 (2) (2023)
Jiayang Song
,
Xuan Xie
,
Lei Ma
$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.
IEEE Trans. Software Eng.
49 (8) (2023)
Xuan Xie
,
Fuyuan Zhang
,
Xinwen Hu
,
Lei Ma
DeepGemini: Verifying Dependency Fairness for Deep Neural Network.
AAAI
(2023)
Deyun Lyu
,
Jiayang Song
,
Zhenya Zhang
,
Zhijie Wang
,
Tianyi Zhang
,
Lei Ma
,
Jianjun Zhao
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.
CoRR
(2023)
Da Song
,
Zhijie Wang
,
Yuheng Huang
,
Lei Ma
,
Tianyi Zhang
DeepLens: Interactive Out-of-distribution Data Detection in NLP Models.
CoRR
(2023)
Yang Hou
,
Qing Guo
,
Yihao Huang
,
Xiaofei Xie
,
Lei Ma
,
Jianjun Zhao
Evading DeepFake Detectors via Adversarial Statistical Consistency.
CVPR
(2023)
Shuncheng Tang
,
Zhenya Zhang
,
Yi Zhang
,
Jixiang Zhou
,
Yan Guo
,
Shuang Liu
,
Shengjian Guo
,
Yan-Fu Li
,
Lei Ma
,
Yinxing Xue
,
Yang Liu
A Survey on Automated Driving System Testing: Landscapes and Trends.
ACM Trans. Softw. Eng. Methodol.
32 (5) (2023)
Xuhong Ren
,
Jianlang Chen
,
Felix Juefei-Xu
,
Wanli Xue
,
Qing Guo
,
Lei Ma
,
Jianjun Zhao
,
Shengyong Chen
DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions.
Pattern Recognit.
131 (2022)
Xiongfei Wu
,
Jinqiu Yang
,
Lei Ma
,
Yinxing Xue
,
Jianjun Zhao
On the usage and development of deep learning compilers: an empirical study on TVM.
Empir. Softw. Eng.
27 (7) (2022)
Haijun Wang
,
Ye Liu
,
Yi Li
,
Shangwei Lin
,
Cyrille Artho
,
Lei Ma
,
Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts.
IEEE Trans. Dependable Secur. Comput.
19 (3) (2022)
Huangzhao Zhang
,
Zhiyi Fu
,
Ge Li
,
Lei Ma
,
Zhehao Zhao
,
Hua'an Yang
,
Yizhe Sun
,
Yang Liu
,
Zhi Jin
Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement.
ACM Trans. Softw. Eng. Methodol.
31 (3) (2022)
Shuangzhi Li
,
Zhijie Wang
,
Felix Juefei-Xu
,
Qing Guo
,
Xingyu Li
,
Lei Ma
Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement.
CoRR
(2022)
Alvin Chan
,
Lei Ma
,
Felix Juefei-Xu
,
Yew-Soon Ong
,
Xiaofei Xie
,
Minhui Xue
,
Yang Liu
Breaking Neural Reasoning Architectures With Metamorphic Relation-Based Adversarial Examples.
IEEE Trans. Neural Networks Learn. Syst.
33 (11) (2022)
Zhijie Wang
,
Yuheng Huang
,
Lei Ma
,
Haruki Yokoyama
,
Susumu Tokumoto
,
Kazuki Munakata
An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty.
CoRR
(2022)
Zhuo Li
,
Yuechen Wu
,
Lei Ma
,
Xiaofei Xie
,
Yingfeng Chen
,
Changjie Fan
GBGallery : A benchmark and framework for game testing.
Empir. Softw. Eng.
27 (6) (2022)
Jiaming Ye
,
Mingliang Ma
,
Yun Lin
,
Lei Ma
,
Yinxing Xue
,
Jianjun Zhao
Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures.
J. Syst. Softw.
192 (2022)
Felix Juefei-Xu
,
Run Wang
,
Yihao Huang
,
Qing Guo
,
Lei Ma
,
Yang Liu
Countering Malicious DeepFakes: Survey, Battleground, and Horizon.
Int. J. Comput. Vis.
130 (7) (2022)
Yinghua Li
,
Xueqi Dang
,
Haoye Tian
,
Tiezhu Sun
,
Zhijie Wang
,
Lei Ma
,
Jacques Klein
,
Tegawendé F. Bissyandé
AI-driven Mobile Apps: an Explorative Study.
CoRR
(2022)
Yan-Fu Li
,
Yinxing Xue
,
Lei Ma
,
Shengjian Guo
,
Guozhu Meng
Message from the RAIS 2022 Chairs.
ISSRE Workshops
(2022)
Jiaming Ye
,
Mulong Xie
,
Siyuan Chen
,
Fuyuan Zhang
,
Lei Ma
,
Zhenchang Xing
,
Jianjun Zhao
Towards Benchmarking GUI Compatibility Testing on Mobile Applications.
CoRR
(2022)
Qiang Hu
,
Yuejun Guo
,
Maxime Cordy
,
Xiaofei Xie
,
Lei Ma
,
Mike Papadakis
,
Yves Le Traon
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement.
ACM Trans. Softw. Eng. Methodol.
31 (4) (2022)
Xiaofei Xie
,
Tianlin Li
,
Jian Wang
,
Lei Ma
,
Qing Guo
,
Felix Juefei-Xu
,
Yang Liu
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks.
CoRR
(2022)
Qiang Hu
,
Yuejun Guo
,
Xiaofei Xie
,
Maxime Cordy
,
Lei Ma
,
Mike Papadakis
,
Yves Le Traon
Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.
CoRR
(2022)
Qiang Hu
,
Yuejun Guo
,
Xiaofei Xie
,
Maxime Cordy
,
Lei Ma
,
Mike Papadakis
,
Yves Le Traon
CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning.
CoRR
(2022)
Zhibo Liu
,
Yuanyuan Yuan
,
Shuai Wang
,
Xiaofei Xie
,
Lei Ma
Decompiling x86 Deep Neural Network Executables.
CoRR
(2022)
Liming Zhai
,
Qing Guo
,
Xiaofei Xie
,
Lei Ma
,
Yi Estelle Wang
,
Yang Liu
GAN: Attribute-Aware Anonymization Networks for Face De-identification.
ACM Multimedia
(2022)
Lizhi Liao
,
Heng Li
,
Weiyi Shang
,
Lei Ma
An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks.
ACM Trans. Softw. Eng. Methodol.
31 (3) (2022)
Bing Yu
,
Hua Qi
,
Qing Guo
,
Felix Juefei-Xu
,
Xiaofei Xie
,
Lei Ma
,
Jianjun Zhao
DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment.
IEEE Trans. Reliab.
71 (4) (2022)
Jie M. Zhang
,
Mark Harman
,
Lei Ma
,
Yang Liu
Machine Learning Testing: Survey, Landscapes and Horizons.
IEEE Trans. Software Eng.
48 (2) (2022)
Xuhong Ren
,
Jianlang Chen
,
Felix Juefei-Xu
,
Wanli Xue
,
Qing Guo
,
Lei Ma
,
Jianjun Zhao
,
Shengyong Chen
DARTSRepair: Core-failure-set Guided DARTS for Network Robustness to Common Corruptions.
CoRR
(2022)
Zihe Song
,
Yingfeng Chen
,
Lei Ma
,
Shangjie Lu
,
Honglei Lin
,
Changjie Fan
,
Wei Yang
An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (Practical Experience Report).
ISSRE
(2022)
Xiaofei Xie
,
Tianlin Li
,
Jian Wang
,
Lei Ma
,
Qing Guo
,
Felix Juefei-Xu
,
Yang Liu
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks.
ACM Trans. Softw. Eng. Methodol.
31 (3) (2022)
Amin Eslami Abyane
,
Derui Zhu
,
Roberto Medeiros de Souza
,
Lei Ma
,
Hadi Hemmati
Towards Understanding Quality Challenges of the Federated Learning: A First Look from the Lens of Robustness.
CoRR
(2022)
Jiayang Song
,
Deyun Lyu
,
Zhenya Zhang
,
Zhijie Wang
,
Tianyi Zhang
,
Lei Ma
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
ICSE (SEIP)
(2022)
Shangwei Guo
,
Tianwei Zhang
,
Han Yu
,
Xiaofei Xie
,
Lei Ma
,
Tao Xiang
,
Yang Liu
Byzantine-Resilient Decentralized Stochastic Gradient Descent.
IEEE Trans. Circuits Syst. Video Technol.
32 (6) (2022)
Ziyi Cheng
,
Xuhong Ren
,
Felix Juefei-Xu
,
Wanli Xue
,
Qing Guo
,
Lei Ma
,
Jianjun Zhao
DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking.
CoRR
(2021)
Zhenya Zhang
,
Deyun Lyu
,
Paolo Arcaini
,
Lei Ma
,
Ichiro Hasuo
,
Jianjun Zhao
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
CAV (1)
(2021)
Jiaming Ye
,
Ke Chen
,
Xiaofei Xie
,
Lei Ma
,
Ruochen Huang
,
Yingfeng Chen
,
Yinxing Xue
,
Jianjun Zhao
An empirical study of GUI widget detection for industrial mobile games.
ESEC/SIGSOFT FSE
(2021)
Pengzhan Zhao
,
Jianjun Zhao
,
Lei Ma
Identifying Bug Patterns in Quantum Programs.
CoRR
(2021)
Shangqing Liu
,
Xiaofei Xie
,
Lei Ma
,
Jing Kai Siow
,
Yang Liu
GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search.
CoRR
(2021)