Pebbles: an interactive configuration tool for indoor robot navigation. - Haipeng Mi; Kentaro Ishii; Lei Ma 003; Natsuda Laokulrat; Masahiko Inami; Takeo Igarashi (UIST (Adjunct Volume), 2012)

Analyzing Distributed Java Applications by Automatic Centralization. - Lei Ma 003; Cyrille Artho; Hiroyuki Sato (COMPSAC Workshops, 2013)

Pebbles: User-Configurable Device Network for Robot Navigation. - Kentaro Ishii; Haipeng Mi; Lei Ma 003; Natsuda Laokulrat; Masahiko Inami; Takeo Igarashi (INTERACT (2), 2013)

Efficient testing of software product lines via centralization (short paper). - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato (GPCE, 2014)

Project centralization based on graph coloring. - Lei Ma 003; Cyrille Artho; Hiroyuki Sato (SAC, 2014)

Improving Automatic Centralization by Version Separation. - Lei Ma 003; Cyrille Artho; Hiroyuki Sato (Inf. Media Technol., 2014)

Incremental Web Application Testing Using Page Object. - Bing Yu; Lei Ma 003; Cheng Zhang (HotWeb, 2015)

GRT at the SBST 2015 Tool Competition. - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (SBST@ICSE, 2015)

An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing. - Lei Ma 003; Cheng Zhang; Bing Yu; Hiroyuki Sato (AST@ICSE, 2015)

GRT: Program-Analysis-Guided Random Testing (T). - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Johannes Gmeiner; Rudolf Ramler (ASE, 2015)

GRT: An Automated Test Generator Using Orchestrated Program Analysis. - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Johannes Gmeiner; Rudolf Ramler (ASE, 2015)

Retrofitting automatic testing through library tests reusing. - Lei Ma 003; Cheng Zhang; Bing Yu; Jianjun Zhao 001 (ICPC, 2016)

Runtime Monitoring for Concurrent Systems. - Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue 001; Lei Ma 003; Yoshinori Tanabe; Mitsuharu Yamamoto (RV, 2016)

Guiding random test generation with program analysis. - Lei Ma 003; Cyrille Valentin Artho; Cheng Zhang; Hiroyuki Sato; Johannes Gmeiner; Rudolf Ramler (Software Engineering, 2016)

Classification of Randomly Generated Test Cases. - Cyrille Artho; Lei Ma 003 (VST@SANER, 2016)

Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs. - Jiabin Ye; Cheng Zhang; Lei Ma 003; Haibo Yu 001; Jianjun Zhao 001 (SANER, 2016)

Java Pathfinder on Android Devices. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Artho; Yoriyuki Yamagata; Lei Ma 003; Masami Hagiya; Yoshinori Tanabe (ACM SIGSOFT Softw. Eng. Notes, 2016)

Collaborative Computation Offloading in Heterogeneous Asynchronous Cloud Environment. - Lei Ma 003; Bing Yu; Hiroyuki Sato; Yadong Wang (COMPSAC (1), 2017)

Model-Based API Testing of Apache ZooKeeper. - Cyrille Artho; Quentin Gros; Guillaume Rousset; Kazuaki Banzai; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICST, 2017)

An empirical study on the effects of code visibility on program testability. - Lei Ma 003; Cheng Zhang; Bing Yu; Hiroyuki Sato (Softw. Qual. J., 2017)

DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models. - Qiang Hu; Lei Ma 003; Jianjun Zhao 001 (APSEC, 2018)

Practical Fault Attack on Deep Neural Networks. - Jakub Breier; Xiaolu Hou; Dirmanto Jap; Lei Ma 003; Shivam Bhasin; Yang Liu 003 (CCS, 2018)

DeepMutation: Mutation Testing of Deep Learning Systems. - Lei Ma 003; Fuyuan Zhang; Jiyuan Sun; Minhui Xue 001; Bo Li 026; Felix Juefei-Xu; Chao Xie; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (ISSRE, 2018)

DeepGauge: multi-granularity testing criteria for deep learning systems. - Lei Ma 003; Felix Juefei-Xu; Fuyuan Zhang; Jiyuan Sun; Minhui Xue 001; Bo Li 026; Chunyang Chen 001; Ting Su 001; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (ASE, 2018)

Characterising deprecated Android APIs. - Li Li 029; Jun Gao 001; Tegawendé F. Bissyandé; Lei Ma 003; Xin Xia 001; Jacques Klein (MSR, 2018)

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. - Lei Ma 003; Felix Juefei-Xu; Jiyuan Sun; Chunyang Chen 001; Ting Su 001; Fuyuan Zhang; Minhui Xue 001; Bo Li 026; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (CoRR, 2018)

Combinatorial Testing for Deep Learning Systems. - Lei Ma 003; Fuyuan Zhang; Minhui Xue 001; Bo Li 026; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (CoRR, 2018)

Coverage-Guided Fuzzing for Deep Neural Networks. - Xiaofei Xie; Lei Ma 003; Felix Juefei-Xu; Hongxu Chen 001; Minhui Xue 001; Bo Li 026; Yang Liu 003; Jianjun Zhao 001; Jianxiong Yin; Simon See (CoRR, 2018)

Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer. - Alvin Chan; Lei Ma 003; Felix Juefei-Xu; Xiaofei Xie; Yang Liu 003; Yew-Soon Ong (CoRR, 2018)

Secure Deep Learning Engineering: A Software Quality Assurance Perspective. - Lei Ma 003; Felix Juefei-Xu; Minhui Xue 001; Qiang Hu; Sen Chen 001; Bo Li 026; Yang Liu 003; Jianjun Zhao 001; Jianxiong Yin; Simon See (CoRR, 2018)

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms. - Qianyu Guo; Xiaofei Xie; Lei Ma 003; Qiang Hu; Ruitao Feng; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Xiaohong Li 001 (CoRR, 2018)

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Jianjun Zhao 001; Yang Liu 003 (CoRR, 2018)

Desired Agent Embodiment in Various Smart House Tasks. - Lei Ma 003; Daisuke Sakamoto; Tetsuo Ono (HAI, 2019)

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. - Ruitao Feng; Sen Chen 001; Xiaofei Xie; Lei Ma 003; Guozhu Meng; Yang Liu 003; Shang-Wei Lin 001 (ICECCS, 2019)

Safe Inputs Approximation for Black-Box Systems. - Bai Xue; Yang Liu 003; Lei Ma 003; Xiyue Zhang 001; Meng Sun 002; Xiaofei Xie (ICECCS, 2019)

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. - Yang Liu 003; Lei Ma 003; Jianjun Zhao 001 (ICFEM, 2019)

Vultron: catching vulnerable smart contracts once and for all. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Lei Ma 003; Yang Liu 003 (ICSE (NIER), 2019)

DiffChaser: Detecting Disagreements for Deep Neural Networks. - Xiaofei Xie; Lei Ma 003; Haijun Wang 002; Yuekang Li; Yang Liu 003; Xiaohong Li 001 (IJCAI, 2019)

An Empirical Study of Common Challenges in Developing Deep Learning Applications. - Tianyi Zhang 001; Cuiyun Gao 001; Lei Ma 003; Michael R. Lyu; Miryung Kim (ISSRE, 2019)

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. - Xiaofei Xie; Lei Ma 003; Felix Juefei-Xu; Minhui Xue 001; Hongxu Chen 001; Yang Liu 003; Jianjun Zhao 001; Bo Li 026; Jianxiong Yin; Simon See (ISSTA, 2019)

DeepVisual: a visual programming tool for deep learning systems. - Chao Xie; Hua Qi; Lei Ma 003; Jianjun Zhao 001 (ICPC, 2019)

A Quantitative Analysis Framework for Recurrent Neural Network. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. - Qianyu Guo; Sen Chen 001; Xiaofei Xie; Lei Ma 003; Qiang Hu; Hongtao Liu; Yang Liu 003; Jianjun Zhao 001; Xiaohong Li 001 (ASE, 2019)

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems. - Qiang Hu; Lei Ma 003; Xiaofei Xie; Bing Yu; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

Coverage-Guided Fuzzing for Feedforward Neural Networks. - Xiaofei Xie; Hongxu Chen 001; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. - Yan Zheng 002; Changjie Fan; Xiaofei Xie; Ting Su 001; Lei Ma 003; Jianye Hao; Zhaopeng Meng; Yang Liu 003; Ruimin Shen; Yingfeng Chen (ASE, 2019)

DeepStellar: model-based quantitative analysis of stateful deep learning systems. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2019)

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. - Lei Ma 003; Felix Juefei-Xu; Minhui Xue 001; Bo Li 026; Li Li 029; Yang Liu 003; Jianjun Zhao 001 (SANER, 2019)

Knowledge Graphing Git Repositories: A Preliminary Study. - Yanjie Zhao 001; Haoyu Wang 001; Lei Ma 003; Yuxin Liu; Li Li 029; John Grundy 001 (SANER, 2019)

FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces. - Run Wang 001; Lei Ma 003; Felix Juefei-Xu; Xiaofei Xie; Jian Wang 067; Yang Liu 003 (CoRR, 2019)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (CoRR, 2019)

Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking. - Qing Guo 005; Xiaofei Xie; Lei Ma 003; Zhongguo Li; Wei Feng 005; Yang Liu 003 (CoRR, 2019)

Amora: Black-box Adversarial Morphing Attack. - Run Wang 001; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Yihao Huang 001; Yang Liu 003 (CoRR, 2019)

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. - Yinxing Xue; Jiaming Ye; Mingliang Ma; Lei Ma 003; Yi Li 008; Haijun Wang 002; Yun Lin 001; Tianyong Peng; Yang Liu 003 (CoRR, 2019)

Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks. - Xiaolu Hou; Jakub Breier; Dirmanto Jap; Lei Ma 003; Shivam Bhasin; Yang Liu 003 (IACR Cryptol. ePrint Arch., 2019)

Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning. - Jianwen Sun; Tianwei Zhang 004; Xiaofei Xie; Lei Ma 003; Yan Zheng 002; Kangjie Chen; Yang Liu 003 (AAAI, 2020)

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models. - Huangzhao Zhang; Zhuo Li; Ge Li 001; Lei Ma 003; Yang Liu 003; Zhi Jin (AAAI, 2020)

SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking. - Qing Guo 005; Xiaofei Xie; Felix Juefei-Xu; Lei Ma 003; Zhongguo Li; Wanli Xue; Wei Feng 005; Yang Liu 003 (ECCV (25), 2020)

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. - Xiyue Zhang 001; Xiaofei Xie; Lei Ma 003; Xiaoning Du 001; Qiang Hu; Yang Liu 003; Jianjun Zhao 001; Meng Sun 002 (ICSE, 2020)

Few-Shot Guided Mix for DNN Repairing. - Xuhong Ren; Bing Yu; Hua Qi; Felix Juefei-Xu; Zhuo Li; Wanli Xue; Lei Ma 003; Jianjun Zhao 001 (ICSME, 2020)

Regression Testing of Massively Multiplayer Online Role-Playing Games. - Yuechen Wu; Yingfeng Chen; Xiaofei Xie; Bing Yu; Changjie Fan; Lei Ma 003 (ICSME, 2020)

FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces. - Run Wang 001; Felix Juefei-Xu; Lei Ma 003; Xiaofei Xie; Yihao Huang 001; Jian Wang 067; Yang Liu 003 (IJCAI, 2020)

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software. - Xiongfei Wu; Liangyu Qin; Bing Yu; Xiaofei Xie; Lei Ma 003; Yinxing Xue; Yang Liu 003; Jianjun Zhao 001 (ICPC, 2020)

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. - David Berend; Xiaofei Xie; Lei Ma 003; Lingjun Zhou; Yang Liu 003; Chi Xu; Jianjun Zhao 001 (ASE, 2020)

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. - Xiaoning Du 001; Yi Li 008; Xiaofei Xie; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2020)

RIRNet: Recurrent-In-Recurrent Network for Video Quality Assessment. - Pengfei Chen 003; Leida Li; Lei Ma 003; Jinjian Wu; Guangming Shi (ACM Multimedia, 2020)

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. - Yihao Huang 001; Felix Juefei-Xu; Run Wang 001; Qing Guo 005; Lei Ma 003; Xiaofei Xie; Jianwen Li; Weikai Miao; Yang Liu 003; Geguang Pu (ACM Multimedia, 2020)

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms. - Hua Qi; Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Wei Feng 005; Yang Liu 003; Jianjun Zhao 001 (ACM Multimedia, 2020)

Amora: Black-box Adversarial Morphing Attack. - Run Wang 001; Felix Juefei-Xu; Qing Guo 005; Yihao Huang 001; Xiaofei Xie; Lei Ma 003; Yang Liu 003 (ACM Multimedia, 2020)

DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices. - Run Wang 001; Felix Juefei-Xu; Yihao Huang 001; Qing Guo 005; Xiaofei Xie; Lei Ma 003; Yang Liu 003 (ACM Multimedia, 2020)

Watch out! Motion is Blurring the Vision of Your Deep Neural Networks. - Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Jian Wang 067; Bing Yu; Wei Feng 005; Yang Liu 003 (NeurIPS, 2020)

A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo. - Zi Peng; Jinqiu Yang 001; Tse-Hsun (Peter) Chen; Lei Ma 003 (ESEC/SIGSOFT FSE, 2020)

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. - Yihao Huang 001; Felix Juefei-Xu; Run Wang 001; Xiaofei Xie; Lei Ma 003; Jianwen Li; Weikai Miao; Yang Liu 003; Geguang Pu (CoRR, 2020)

ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack. - Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Jian Wang 067; Wei Feng 005; Yang Liu 003 (CoRR, 2020)

Generating Adversarial Examples withControllable Non-transferability. - Renzhi Wang; Tianwei Zhang 004; Xiaofei Xie; Lei Ma 003; Cong Tian; Felix Juefei-Xu; Yang Liu 003 (CoRR, 2020)

It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception. - Liming Zhai; Felix Juefei-Xu; Qing Guo 005; Xiaofei Xie; Lei Ma 003; Wei Feng 005; Shengchao Qin; Yang Liu 003 (CoRR, 2020)

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. - Yihao Huang 001; Felix Juefei-Xu; Qing Guo 005; Xiaofei Xie; Lei Ma 003; Weikai Miao; Yang Liu 003; Geguang Pu (CoRR, 2020)

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. - Qing Guo 005; Jingyang Sun; Felix Juefei-Xu; Lei Ma 003; Xiaofei Xie; Wei Feng 005; Yang Liu 003 (CoRR, 2020)

DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment. - Bing Yu; Hua Qi; Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2020)

CDA: Characterising Deprecated Android APIs. - Li Li 029; Jun Gao 001; Tegawendé F. Bissyandé; Lei Ma 003; Xin Xia 001; Jacques Klein (Empir. Softw. Eng., 2020)

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. - Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (Softw. Test. Verification Reliab., 2020)

Trust2Privacy: A Novel Fuzzy Trust-to-Privacy Mechanism for Mobile Social Networks. - Guangquan Xu; Bingyan Liu; Litao Jiao; Xiaotong Li; Meiqi Feng; Kaitai Liang; Lei Ma 003; Xi Zheng 001 (IEEE Wirel. Commun., 2020)

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. - Qing Guo 005; Jingyang Sun; Felix Juefei-Xu; Lei Ma 003; Xiaofei Xie; Wei Feng 005; Yang Liu 003; Jianjun Zhao 001 (AAAI, 2021)

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. - Xiyue Zhang 001; Xiaoning Du 001; Xiaofei Xie; Lei Ma 003; Yang Liu 003; Meng Sun 002 (AAAI, 2021)

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (CAV (1), 2021)

Learning to Adversarially Blur Visual Object Tracking. - Qing Guo 005; Ziyi Cheng; Felix Juefei-Xu; Lei Ma 003; Xiaofei Xie; Yang Liu 003; Jianjun Zhao 001 (ICCV, 2021)

Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking. - Ziyi Cheng; Xuhong Ren; Felix Juefei-Xu; Wanli Xue; Qing Guo 005; Lei Ma 003; Jianjun Zhao 001 (ICME, 2021)

RNNRepair: Automatic RNN Repair via Model-based Analysis. - Xiaofei Xie; Wenbo Guo 002; Lei Ma 003; Wei Le; Jian Wang 067; Lingjun Zhou; Yang Liu 003; Xinyu Xing 001 (ICML, 2021)

Identifying Bug Patterns in Quantum Programs. - Pengzhan Zhao; Jianjun Zhao 001; Lei Ma 003 (Q-SE@ICSE, 2021)

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning. - Yan Zheng 002; Yi Liu 069; Xiaofei Xie; Yepang Liu 001; Lei Ma 003; Jianye Hao; Yang Liu 003 (ICSE, 2021)

A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding. - Maryam Vahdat Pour; Zhuo Li; Lei Ma 003; Hadi Hemmati (ICST, 2021)

An Empirical Study on Common Bugs in Deep Learning Compilers. - Xiaoting Du; Zheng Zheng 001; Lei Ma 003; Jianjun Zhao 001 (ISSRE, 2021)

Issue Categorization and Analysis of an Open-Source Driving Assistant System. - Shuncheng Tang; Zhenya Zhang; Jia Tang; Lei Ma 003; Yinxing Xue (ISSRE Workshops, 2021)

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. - Yihao Huang 001; Qing Guo 005; Felix Juefei-Xu; Lei Ma 003; Weikai Miao; Yang Liu 003; Geguang Pu (ACM Multimedia, 2021)

On the Effectiveness of Signal Rescaling in Hybrid System Falsification. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (NFM, 2021)

An empirical study of GUI widget detection for industrial mobile games. - Jiaming Ye; Ke Chen; Xiaofei Xie; Lei Ma 003; Ruochen Huang; Yingfeng Chen; Yinxing Xue; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2021)

CarveNet: Carving Point-Block for Complex 3D Shape Completion. - Qing Guo 005; Zhijie Wang 014; Felix Juefei-Xu; Di Lin 002; Lei Ma 003; Wei Feng 005; Yang Liu 003 (CoRR, 2021)

GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search. - Shangqing Liu; Xiaofei Xie; Lei Ma 003; Jing Kai Siow; Yang Liu 003 (CoRR, 2021)

Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (CoRR, 2021)

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. - Hua Qi; Zhijie Wang 014; Qing Guo 005; Jianlang Chen; Felix Juefei-Xu; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2021)

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. - Jiayang Song; Deyun Lyu; Zhenya Zhang; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003 (ICSE (SEIP), 2022)

Message from the RAIS 2022 Chairs. - Yan-Fu Li; Yinxing Xue; Lei Ma 003; Shengjian Guo; Guozhu Meng (ISSRE Workshops, 2022)

An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (Practical Experience Report). - Zihe Song; Yingfeng Chen; Lei Ma 003; Shangjie Lu; Honglei Lin; Changjie Fan; Wei Yang 013 (ISSRE, 2022)

A3GAN: Attribute-Aware Anonymization Networks for Face De-identification. - Liming Zhai; Qing Guo 005; Xiaofei Xie; Lei Ma 003; Yi Estelle Wang; Yang Liu 003 (ACM Multimedia, 2022)

Towards Analyzing the Robustness of Deep Light-weight Image Super Resolution Networks under Distribution Shift. - Alireza Esmaeilzehi; Lei Ma 003; M. Omair Ahmad (MMSP, 2022)

Towards Understanding Quality Challenges of the Federated Learning: A First Look from the Lens of Robustness. - Amin Eslami Abyane; Derui Zhu; Roberto Medeiros de Souza; Lei Ma 003; Hadi Hemmati (CoRR, 2022)

Uncertainty-Aware Cascaded Dilation Filtering for High-Efficiency Deraining. - Qing Guo 005; Jingyang Sun; Felix Juefei-Xu; Lei Ma 003; Di Lin 002; Wei Feng 005; Song Wang 002 (CoRR, 2022)

CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (CoRR, 2022)

Demystifying Dependency Bugs in Deep Learning Stack. - Kaifeng Huang 001; Bihuan Chen 001; Susheng Wu; Junmin Cao; Lei Ma 003; Xin Peng 001 (CoRR, 2022)

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (CoRR, 2022)

Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement. - Shuangzhi Li 003; Zhijie Wang 014; Felix Juefei-Xu; Qing Guo 005; Xingyu Li; Lei Ma 003 (CoRR, 2022)

AI-driven Mobile Apps: an Explorative Study. - Yinghua Li; Xueqi Dang; Haoye Tian; Tiezhu Sun; Zhijie Wang 014; Lei Ma 003; Jacques Klein; Tegawendé F. Bissyandé (CoRR, 2022)

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty. - Zhijie Wang 014; Yuheng Huang 004; Lei Ma 003; Haruki Yokoyama; Susumu Tokumoto; Kazuki Munakata (CoRR, 2022)

Towards Benchmarking GUI Compatibility Testing on Mobile Applications. - Jiaming Ye; Mulong Xie; Siyuan Chen; Fuyuan Zhang; Lei Ma 003; Zhenchang Xing; Jianjun Zhao 001 (CoRR, 2022)

GBGallery : A benchmark and framework for game testing. - Zhuo Li; Yuechen Wu; Lei Ma 003; Xiaofei Xie; Yingfeng Chen; Changjie Fan (Empir. Softw. Eng., 2022)

On the usage and development of deep learning compilers: an empirical study on TVM. - Xiongfei Wu; Jinqiu Yang 001; Lei Ma 003; Yinxing Xue; Jianjun Zhao 001 (Empir. Softw. Eng., 2022)

Countering Malicious DeepFakes: Survey, Battleground, and Horizon. - Felix Juefei-Xu; Run Wang 001; Yihao Huang 001; Qing Guo 005; Lei Ma 003; Yang Liu 003 (Int. J. Comput. Vis., 2022)

Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures. - Jiaming Ye; Mingliang Ma; Yun Lin 001; Lei Ma 003; Yinxing Xue; Jianjun Zhao 001 (J. Syst. Softw., 2022)

MLTDNet: an efficient multi-level transformer network for single image deraining. - Feng Gao 015; Xiangyu Mu; Chao Ouyang 002; Kai Yang 018; Shengchang Ji; Jie Guo; Haokun Wei; Nan Wang; Lei Ma 003; Biao Yang (Neural Comput. Appl., 2022)

DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions. - Xuhong Ren; Jianlang Chen; Felix Juefei-Xu; Wanli Xue; Qing Guo 005; Lei Ma 003; Jianjun Zhao 001; Shengyong Chen (Pattern Recognit., 2022)

Byzantine-Resilient Decentralized Stochastic Gradient Descent. - Shangwei Guo; Tianwei Zhang 004; Han Yu 001; Xiaofei Xie; Lei Ma 003; Tao Xiang 001; Yang Liu 003 (IEEE Trans. Circuits Syst. Video Technol., 2022)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Ye Liu 012; Yi Li 008; Shangwei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (IEEE Trans. Dependable Secur. Comput., 2022)

Breaking Neural Reasoning Architectures With Metamorphic Relation-Based Adversarial Examples. - Alvin Chan; Lei Ma 003; Felix Juefei-Xu; Yew-Soon Ong; Xiaofei Xie; Minhui Xue 001; Yang Liu 003 (IEEE Trans. Neural Networks Learn. Syst., 2022)

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. - Qiang Hu; Yuejun Guo 001; Maxime Cordy; Xiaofei Xie; Lei Ma 003; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2022)

An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks. - Lizhi Liao; Heng Li 007; Weiyi Shang; Lei Ma 003 (ACM Trans. Softw. Eng. Methodol., 2022)

NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks. - Xiaofei Xie; Tianlin Li; Jian Wang 067; Lei Ma 003; Qing Guo 005; Felix Juefei-Xu; Yang Liu 003 (ACM Trans. Softw. Eng. Methodol., 2022)

Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement. - Huangzhao Zhang; Zhiyi Fu; Ge Li 001; Lei Ma 003; Zhehao Zhao; Hua'an Yang; Yizhe Sun; Yang Liu 003; Zhi Jin (ACM Trans. Softw. Eng. Methodol., 2022)

DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment. - Bing Yu; Hua Qi; Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (IEEE Trans. Reliab., 2022)

Machine Learning Testing: Survey, Landscapes and Horizons. - Jie M. Zhang; Mark Harman; Lei Ma 003; Yang Liu 003 (IEEE Trans. Software Eng., 2022)

DeepGemini: Verifying Dependency Fairness for Deep Neural Network. - Xuan Xie; Fuyuan Zhang; Xinwen Hu; Lei Ma 003 (AAAI, 2023)

DeepLens: Interactive Out-of-distribution Data Detection in NLP Models. - Da Song; Zhijie Wang 014; Yuheng Huang 004; Lei Ma 003; Tianyi Zhang 001 (CHI, 2023)

DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction. - Zhijie Wang 014; Yuheng Huang 004; Da Song; Lei Ma 003; Tianyi Zhang 001 (CHI, 2023)

Evading DeepFake Detectors via Adversarial Statistical Consistency. - Yang Hou; Qing Guo 005; Yihao Huang 001; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (CVPR, 2023)

Hybridformer: Improving Squeezeformer with Hybrid Attention and NSR Mechanism. - Yuguang Yang 005; Yu Pan 008; Jingjing Yin; Jiangyu Han; Lei Ma 003; Heng Lu 004 (ICASSP, 2023)

Neural Episodic Control with State Abstraction. - Zhuo Li; Derui Zhu; Yujing Hu; Xiaofei Xie; Lei Ma 003; Yan Zheng 002; Yan Song; Yingfeng Chen; Jianjun Zhao 001 (ICLR, 2023)

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Lei Ma 003; Yves Le Traon (ICSE, 2023)

CodeS: Towards Code Model Generalization Under Distribution Shift. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Lei Ma 003; Yves Le Traon (ICSE (NIER), 2023)

Widget Detection-based Testing for Industrial Mobile Games. - Xiongfei Wu; Jiaming Ye; Ke Chen; Xiaofei Xie; Yujing Hu; Ruochen Huang; Lei Ma 003; Jianjun Zhao 001 (ICSE-SEIP, 2023)

GameRTS: A Regression Testing Framework for Video Games. - Jiongchi Yu; Yuechen Wu; Xiaofei Xie; Wei Le; Lei Ma 003; Yingfeng Chen; Jingyu Hu; Fan Zhang 010 (ICSE, 2023)

When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing. - Renzhi Wang; Zhijie Wang 014; Yuheng Huang 004; Lei Ma 003 (ISSREW, 2023)

Generative Model-Based Testing on Decision-Making Policies. - Zhuo Li; Xiongfei Wu; Derui Zhu; Mingfei Cheng; Siyuan Chen; Fuyuan Zhang; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (ASE, 2023)

ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers. - Yi Liu 069; Yuekang Li; Gelei Deng; Felix Juefei-Xu; Yao Du 002; Cen Zhang; Chengwei Liu; Yeting Li; Lei Ma 003; Yang Liu 003 (ASE, 2023)

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. - Jiaming Ye; Shangzhou Xia; Fuyuan Zhang; Paolo Arcaini; Lei Ma 003; Jianjun Zhao 001; Fuyuki Ishikawa (ASE, 2023)

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities. - Xinyu Gao; Zhijie Wang 014; Yang Feng 003; Lei Ma 003; Zhenyu Chen 001; Baowen Xu (ESEC/SIGSOFT FSE, 2023)

Demystifying Dependency Bugs in Deep Learning Stack. - Kaifeng Huang 001; Bihuan Chen 001; Susheng Wu; Junming Cao; Lei Ma 003; Xin Peng 001 (ESEC/SIGSOFT FSE, 2023)

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. - Fuyuan Zhang; Xinwen Hu; Lei Ma 003; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2023)

Decompiling x86 Deep Neural Network Executables. - Zhibo Liu; Yuanyuan Yuan; Shuai Wang 011; Xiaofei Xie; Lei Ma 003 (USENIX Security Symposium, 2023)

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. - Deyun Lyu; Jiayang Song; Zhenya Zhang; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2023)

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. - Xuan Xie; Jiayang Song; Zhehua Zhou; Fuyuan Zhang; Lei Ma 003 (CoRR, 2023)

NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing. - Mulong Xie; Jiaming Ye; Zhenchang Xing; Lei Ma 003 (CoRR, 2023)

Is Model Attention Aligned with Human Attention? An Empirical Study on Large Language Models for Code Generation. - Bonan Kou; Shengmai Chen; Zhijie Wang 014; Lei Ma 003; Tianyi Zhang 001 (CoRR, 2023)

GEmo-CLAP: Gender-Attribute-Enhanced Contrastive Language-Audio Pretraining for Speech Emotion Recognition. - Yu Pan 008; Yanni Hu; Yuguang Yang 005; Jixun Yao; Wen Fei; Lei Ma 003; Heng Lu 004 (CoRR, 2023)

Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models. - Yuheng Huang 004; Jiayang Song; Zhijie Wang 014; Huaming Chen; Lei Ma 003 (CoRR, 2023)

Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics. - Jiayang Song; Zhehua Zhou; Jiawei Liu; Chunrong Fang; Zhan Shu; Lei Ma 003 (CoRR, 2023)

Towards understanding quality challenges of the federated learning for neural networks: a first look from the lens of robustness. - Amin Eslami Abyane; Derui Zhu; Roberto Souza 001; Lei Ma 003; Hadi Hemmati (Empir. Softw. Eng., 2023)

GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search. - Shangqing Liu; Xiaofei Xie; Jing Kai Siow; Lei Ma 003; Guozhu Meng; Yang Liu 003 (IEEE Trans. Software Eng., 2023)

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (IEEE Trans. Software Eng., 2023)

Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities. - Xinyu Gao; Zhijie Wang 014; Yang Feng 003; Lei Ma 003; Zhenyu Chen 001; Baowen Xu (Zenodo, 2023)

$ mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems. - Jiayang Song; Xuan Xie; Lei Ma 003 (IEEE Trans. Software Eng., 2023)

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. - Hua Qi; Zhijie Wang 014; Qing Guo 005; Jianlang Chen; Felix Juefei-Xu; Fuyuan Zhang; Lei Ma 003; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2023)

A Survey on Automated Driving System Testing: Landscapes and Trends. - Shuncheng Tang; Zhenya Zhang; Yi Zhang; Jixiang Zhou; Yan Guo; Shuang Liu 007; Shengjian Guo; Yan-Fu Li; Lei Ma 003; Yinxing Xue; Yang Liu 003 (ACM Trans. Softw. Eng. Methodol., 2023)

PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing. - Yuheng Huang 004; Lei Ma 003; Yuanchun Li (ACM Trans. Softw. Eng. Methodol., 2023)

PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement. - Zhijie Wang 014; Yuheng Huang 004; Da Song; Lei Ma 003; Tianyi Zhang 001 (CHI, 2024)

Domain Generalization of 3D Object Detection by Density-Resampling. - Shuangzhi Li 003; Lei Ma 003; Xingyu Li (ECCV (64), 2024)

GEmo-CLAP: Gender-Attribute-Enhanced Contrastive Language-Audio Pretraining for Accurate Speech Emotion Recognition. - Yu Pan 008; Yanni Hu; Yuguang Yang 005; Wen Fei; Jixun Yao; Heng Lu 004; Lei Ma 003; Jianjun Zhao 001 (ICASSP, 2024)

LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks. - Jianlang Chen; Xuhong Ren; Qing Guo 005; Felix Juefei-Xu; Di Lin 002; Wei Feng 005; Lei Ma 003; Jianjun Zhao 001 (ICLR, 2024)

Neuron Activation Coverage: Rethinking Out-of-distribution Detection and Generalization. - Yibing Liu; Chris Xing Tian; Haoliang Li; Lei Ma 003; Shiqi Wang 001 (ICLR, 2024)

ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning. - Zhehua Zhou; Jiayang Song; Kunpeng Yao; Zhan Shu; Lei Ma 003 (ICRA, 2024)

Technical Briefing on Deep Neural Network Repair. - Paolo Arcaini; Fuyuki Ishikawa; Lei Ma 003; Yuta Maezawa; Nobukazu Yoshioka; Fuyuan Zhang (ICSE Companion, 2024)

MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems. - Xinyu Gao; Zhijie Wang 014; Yang Feng 003; Lei Ma 003; Zhenyu Chen 001; Baowen Xu (ICSE, 2024)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation. - Zhehua Zhou; Jiayang Song; Xuan Xie; Zhan Shu; Lei Ma 003; Dikai Liu; Jianxiong Yin; Simon See (ICSE-SEIP, 2024)

MetaRepair: Learning to Repair Deep Neural Networks from Repairing Experiences. - Yun Xing; Qing Guo 005; Xiaofeng Cao 002; Ivor W. Tsang; Lei Ma 003 (ACM Multimedia, 2024)

PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics. - Derui Zhu; Dingfan Chen; Qing Li 038; Zongxiong Chen; Lei Ma 003; Jens Grossklags; Mario Fritz (NAACL-HLT (Findings), 2024)

PrivAuditor: Benchmarking Data Protection Vulnerabilities in LLM Adaptation Techniques. - Derui Zhu; Dingfan Chen; Xiongfei Wu; Jiahui Geng; Zhuo Li; Jens Grossklags; Lei Ma 003 (NeurIPS, 2024)

Code Ownership in Open-Source AI Software Security. - Jiawen Wen; Dong Yuan 001; Lei Ma 003; Huaming Chen (RAIE@ICSE, 2024)

GMP-TL: Gender-Augmented Multi-Scale Pseudo-Label Enhanced Transfer Learning For Speech Emotion Recognition. - Yu Pan 008; Yuguang Yang 005; Yuheng Huang 004; Tiancheng Jin; Jingjing Yin; Yanni Hu; Heng Lu 004; Lei Ma 003; Jianjun Zhao 001 (SLT, 2024)

Large Language Models Based Fuzzing Techniques: A Survey. - Linghan Huang; Peizhou Zhao; Huaming Chen; Lei Ma 003 (CoRR, 2024)

PromptCodec: High-Fidelity Neural Speech Codec using Disentangled Representation Learning based Adaptive Feature-aware Prompt Encoders. - Yu Pan 008; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward. - Xuan Xie; Jiayang Song; Zhehua Zhou; Yuheng Huang 004; Da Song; Lei Ma 003 (CoRR, 2024)

Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing. - Qiang Hu; Jin Wen; Maxime Cordy; Yuheng Huang 004; Xiaofei Xie; Lei Ma 003 (CoRR, 2024)

GMP-ATL: Gender-augmented Multi-scale Pseudo-label Enhanced Adaptive Transfer Learning for Speech Emotion Recognition via HuBERT. - Yu Pan 008; Yuguang Yang 005; Heng Lu 004; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

Leveraging Large Language Models for Automated Web-Form-Test Generation: An Empirical Study. - Tao Li; Chenhui Cui; Lei Ma 003; Dave Towey; Yujie Xie; Rubing Huang (CoRR, 2024)

Where Do Large Language Models Fail When Generating Code? - Zhijie Wang 014; Zijie Zhou; Da Song; Yuheng Huang 004; Shengmai Chen; Lei Ma 003; Tianyi Zhang 001 (CoRR, 2024)

Vortex under Ripplet: An Empirical Study of RAG-enabled Applications. - Yuchen Shao; Yuheng Huang 004; Jiawei Shen; Lei Ma 003; Ting Su 001; Chengcheng Wan 001 (CoRR, 2024)

Multilingual Blending: LLM Safety Alignment Evaluation with Language Mixture. - Jiayang Song; Yuheng Huang 004; Zhehua Zhou; Lei Ma 003 (CoRR, 2024)

Active Testing of Large Language Model via Multi-Stage Sampling. - Yuheng Huang 004; Jiayang Song; Qiang Hu; Felix Juefei-Xu; Lei Ma 003 (CoRR, 2024)

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems. - Renzhi Wang; Zhehua Zhou; Jiayang Song; Xuan Xie; Xiaofei Xie; Lei Ma 003 (CoRR, 2024)

LeCov: Multi-level Testing Criteria for Large Language Models. - Xuan Xie; Jiayang Song; Yuheng Huang 004; Da Song; Fuyuan Zhang; Felix Juefei-Xu; Lei Ma 003 (CoRR, 2024)

Python Symbolic Execution with LLM-powered Code Generation. - Wenhan Wang; Kaibo Liu; An Ran Chen; Ge Li 001; Zhi Jin; Gang Huang 001; Lei Ma 003 (CoRR, 2024)

Towards Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation: An Empirical Study. - Zhijie Wang 014; Zhehua Zhou; Jiayang Song; Yuheng Huang 004; Zhan Shu; Lei Ma 003 (CoRR, 2024)

Takin-VC: Zero-shot Voice Conversion via Jointly Hybrid Content and Memory-Augmented Context-Aware Timbre Modeling. - Yuguang Yang 005; Yu Pan 008; Jixun Yao; Xiang Zhang; Jianhao Ye; Hongbin Zhou; Lei Xie 001; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

LADEV: A Language-Driven Testing and Evaluation Platform for Vision-Language-Action Models in Robotic Manipulation. - Zhijie Wang 014; Zhehua Zhou; Jiayang Song; Yuheng Huang 004; Zhan Shu; Lei Ma 003 (CoRR, 2024)

Large Language Model Supply Chain: Open Problems From the Security Perspective. - Qiang Hu; Xiaofei Xie; Sen Chen 001; Lei Ma 003 (CoRR, 2024)

CTEFM-VC: Zero-Shot Voice Conversion Based on Content-Aware Timbre Ensemble Modeling and Flow Matching. - Yu Pan 008; Yuguang Yang 005; Jixun Yao; Jianhao Ye; Hongbin Zhou; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

Towards Understanding Retrieval Accuracy and Prompt Quality in RAG Systems. - Shengming Zhao; Yuheng Huang 004; Jiayang Song; Zhijie Wang 014; Chengcheng Wan 001; Lei Ma 003 (CoRR, 2024)

MAGIC: Mastering Physical Adversarial Generation in Context through Collaborative LLM Agents. - Yun Xing; Nhat Chung; Jie Zhang 002; Yue Cao; Ivor W. Tsang; Yang Liu 003; Lei Ma 003; Qing Guo 005 (CoRR, 2024)

A Survey on Web Application Testing: A Decade of Evolution. - Tao Li; Rubing Huang; Chenhui Cui; Dave Towey; Lei Ma 003; Yuan-Fang Li; Wen Xia (CoRR, 2024)

Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code? - Bonan Kou; Shengmai Chen; Zhijie Wang 014; Lei Ma 003; Tianyi Zhang 001 (Proc. ACM Softw. Eng., 2024)

xFuzz: Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Learning Representations by Contrastive Spatio-Temporal Clustering for Skeleton-Based Action Recognition. - Mingdao Wang; Xueming Li; Siqi Chen; Xianlin Zhang; Lei Ma 003; Yue Zhang 016 (IEEE Trans. Multim., 2024)

Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis. - Tianlin Li; Xiaofei Xie; Jian Wang 067; Qing Guo 005; Aishan Liu; Lei Ma 003; Yang Liu 003 (ACM Trans. Softw. Eng. Methodol., 2024)

Generation-based Differential Fuzzing for Deep Learning Libraries. - Jiawei Liu; Yuheng Huang 004; Zhijie Wang 014; Lei Ma 003; Chunrong Fang; Mingzheng Gu; Xufan Zhang; Zhenyu Chen 001 (ACM Trans. Softw. Eng. Methodol., 2024)

HighBoostNet: a deep light-weight image super-resolution network using high-boost residual blocks. - Alireza Esmaeilzehi; Lei Ma 003; M. N. S. Swamy; M. Omair Ahmad (Vis. Comput., 2024)

CodeBERT-Attack: Adversarial attack against source code deep learning models via pre-trained model. - Huangzhao Zhang; Shuai Lu; Zhuo Li; Zhi Jin; Lei Ma 003; Yang Liu 003; Ge Li 001 (J. Softw. Evol. Process., 2024)

Test Optimization in DNN Testing: A Survey. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2024)

Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (IEEE Trans. Software Eng., 2024)

Beyond Fidelity: Explaining Vulnerability Localization of Learning-Based Detectors. - Baijun Cheng; Shengming Zhao; Kailong Wang 001; Meizhen Wang; Guangdong Bai; Ruitao Feng; Yao Guo 001; Lei Ma 003; Haoyu Wang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Test Input Prioritization for 3D Point Clouds. - Yinghua Li; Xueqi Dang; Lei Ma 003; Jacques Klein; Yves Le Traon; Tegawendé F. Bissyandé (ACM Trans. Softw. Eng. Methodol., 2024)

LUNA: A Model-Based Universal Analysis Framework for Large Language Models. - Da Song; Xuan Xie; Jiayang Song; Derui Zhu; Yuheng Huang 004; Felix Juefei-Xu; Lei Ma 003 (IEEE Trans. Software Eng., 2024)

Prioritizing test cases for deep learning-based video classifiers. - Yinghua Li; Xueqi Dang; Lei Ma 003; Jacques Klein; Tegawendé F. Bissyandé (Empir. Softw. Eng., 2024)

MIPE: Towards Cleaning the Datasets of Autonomous Driving Systems Using Multi-Modal Information Processing and Confident Learning. - Alireza Esmaeilzehi; Seyed Matin Tavakoli Afshari; Qing Guo 005; Felix Juefei-Xu; Lei Ma 003 (IEEE Trans. Intell. Veh., 2024)

Benchmarking Object Detection Robustness against Real-World Corruptions. - Jiawei Liu; Zhijie Wang 014; Lei Ma 003; Chunrong Fang; Tongtong Bai; Xufan Zhang; Jia Liu 015; Zhenyu Chen 001 (Int. J. Comput. Vis., 2024)

Scoping Software Engineering for AI: The TSE Perspective. - Sebastián Uchitel; Marsha Chechik; Massimiliano Di Penta; Bram Adams; Nazareno Aguirre; Gabriele Bavota; Domenico Bianculli; Kelly Blincoe; Ana Cavalcanti 001; Yvonne Dittrich; Filomena Ferrucci; Rashina Hoda; et al. (IEEE Trans. Software Eng., 2024)

On the Challenges of Fuzzing Techniques via Large Language Models. - Linghan Huang; Peizhou Zhao; Lei Ma 003; Huaming Chen (SSE, 2025)

Internal Activation Revision: Safeguarding Vision Language Models Without Parameter Update. - Qing Li 038; Jiahui Geng; Derui Zhu; Zongxiong Chen; Kun Song; Lei Ma 003; Fakhri Karray (AAAI, 2025)

Takin-VC: Expressive Zero-Shot Voice Conversion via Adaptive Hybrid Content Encoding and Enhanced Timbre Modeling. - Yuguang Yang 005; Yu Pan 008; Jixun Yao; Xiang Zhang; Jianhao Ye; Hongbin Zhou; Lei Xie 001; Lei Ma 003; Jianjun Zhao 001 (ACL (1), 2025)

Are LLMs Correctly Integrated into Software Systems? - Yuchen Shao; Yuheng Huang 004; Jiawei Shen; Lei Ma 003; Ting Su 001; Chengcheng Wan 001 (ICSE, 2025)

Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models. - Zhijie Wang 014; Zijie Zhou; Da Song; Yuheng Huang 004; Shengmai Chen; Lei Ma 003; Tianyi Zhang 001 (ICSE, 2025)

Large Language Model Supply Chain: Open Problems From the Security Perspective. - Qiang Hu; Xiaofei Xie; Sen Chen 001; Lili Quan; Lei Ma 003 (ISSTA Companion, 2025)

Multilingual Blending: Large Language Model Safety Alignment Evaluation with Language Mixture. - Jiayang Song; Yuheng Huang 004; Zhehua Zhou; Lei Ma 003 (NAACL (Findings), 2025)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation. - Wenhan Wang; Chenyuan Yang; Zhijie Wang 014; Yuheng Huang 004; Zhaoyang Chu; Da Song; Lingming Zhang; An Ran Chen; Lei Ma 003 (NAACL (Findings), 2025)

Risk Assessment Framework for Code LLMs via Leveraging Internal States. - Yuheng Huang 004; Lei Ma 003; Keizaburo Nishikino; Takumi Akazaki (SIGSOFT FSE Companion, 2025)

An empirical study of AI techniques in mobile applications. - Yinghua Li; Xueqi Dang; Haoye Tian; Tiezhu Sun; Zhijie Wang 014; Lei Ma 003; Jacques Klein; Tegawendé F. Bissyandé (J. Syst. Softw., 2025)

MoDitector: Module-Directed Testing for Autonomous Driving Systems. - Renzhi Wang; Mingfei Cheng; Xiaofei Xie; Yuan Zhou 005; Lei Ma 003 (Proc. ACM Softw. Eng., 2025)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation. - Zhijie Wang 014; Zhehua Zhou; Jiayang Song; Yuheng Huang 004; Zhan Shu; Lei Ma 003 (Proc. ACM Softw. Eng., 2025)

CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift. - Jiongchi Yu; Xiaofei Xie; Qiang Hu; Bowen Zhang; Ziming Zhao 008; Yun Lin 001; Lei Ma 003; Ruitao Feng; Frank Liauw (Proc. ACM Softw. Eng., 2025)

CarveNet: Carving Point-Block for Complex 3D Shape Completion. - Qing Guo 005; Zhijie Wang 014; Lubo Wang; Haotian Dong; Felix Juefei-Xu; Di Lin 002; Lei Ma 003; Wei Feng 005; Yang Liu 003 (IEEE Trans. Multim., 2025)

Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement. - Shuangzhi Li 002; Zhijie Wang 014; Felix Juefei-Xu; Qing Guo 005; Xingyu Li; Lei Ma 003 (IEEE Trans. Multim., 2025)

Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing. - Wenhan Wang; Xuan Xie; Yuheng Huang 004; Renzhi Wang; An Ran Chen; Lei Ma 003 (CoRR, 2025)

Internal Activation Revision: Safeguarding Vision Language Models Without Parameter Update. - Qing Li 038; Jiahui Geng; Zongxiong Chen; Kun Song; Lei Ma 003; Fakhri Karray (CoRR, 2025)

Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models. - Yuheng Huang 004; Jiayang Song; Zhijie Wang 014; Shengming Zhao; Huaming Chen; Felix Juefei-Xu; Lei Ma 003 (IEEE Trans. Software Eng., 2025)

From Dataset to Real-world: General 3D Object Detection via Generalized Cross-domain Few-shot Learning. - Shuangzhi Li 003; Junlong Shen; Lei Ma 003; Xingyu Li (CoRR, 2025)

Foundation Models for Autonomous Driving System: An Initial Roadmap. - Xiongfei Wu; Mingfei Cheng; Qiang Hu; Jianlang Chen; Yuheng Huang 004; Manabu Okada; Michio Hayashi; Tomoyuki Tsuchiya; Xiaofei Xie; Lei Ma 003 (CoRR, 2025)

An Empirical Analysis of Compatibility Issues for Industrial Mobile Games. - Zihe Song; Yingfeng Chen; Lei Ma 003; Shangjie Lu; Honglei Lin; Changjie Fan; Wei Yang 013 (CoRR, 2025)

EfficientDeRain+: Learning Uncertainty-Aware Filtering via RainMix Augmentation for High-Efficiency Deraining. - Qing Guo 005; Hua Qi; Jingyang Sun; Felix Juefei-Xu; Lei Ma 003; Di Lin 002; Wei Feng 005; Song Wang 002 (Int. J. Comput. Vis., 2025)

ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet. - Yuekang Li; Wei Song; Bangshuo Zhu; Dong Gong; Yi Liu 069; Gelei Deng; Chunyang Chen 001; Lei Ma 003; Jun Sun 001; Toby Walsh; Jingling Xue (CoRR, 2025)

The Tower of Babel Revisited: Multilingual Jailbreak Prompts on Closed-Source Large Language Models. - Linghan Huang; Haolin Jin; Zhaoge Bi; Pengyue Yang; Peizhou Zhao; Taozhao Chen; Xiongfei Wu; Lei Ma 003; Huaming Chen (CoRR, 2025)

ClapFM-EVC: High-Fidelity and Flexible Emotional Voice Conversion with Dual Control from Natural Language and Speech. - Yu Pan 008; Yanni Hu; Yuguang Yang 005; Jixun Yao; Jianhao Ye; Hongbin Zhou; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2025)

Repairs and Breaks Prediction for Deep Neural Networks. - Yuta Ishimoto; Masanari Kondo; Lei Ma 003; Naoyasu Ubayashi; Yasutaka Kamei (ACM Trans. Softw. Eng. Methodol., 2025)

Generate Realistic Test Scenes for V2X Communication Systems. - An Guo 002; Xinyu Gao; Chunrong Fang; Haoxiang Tian 001; Weisong Sun; Yanzhou Mu; Shuncheng Tang; Lei Ma 003; Zhenyu Chen 001 (CoRR, 2025)

S2ST-Omni: An Efficient and Scalable Multilingual Speech-to-Speech Translation Framework via Seamless Speech-Text Alignment and Streaming Speech Generation. - Yu Pan 008; Yuguang Yang 005; Yanni Hu; Jianhao Ye; Xiang Zhang; Hongbin Zhou; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2025)

DepthVanish: Optimizing Adversarial Interval Structures for Stereo-Depth-Invisible Patches. - Yun Xing; Yue Cao; Nhat Chung; Jie Zhang 002; Ivor W. Tsang; Ming-Ming Cheng; Yang Liu 003; Lei Ma 003; Qing Guo 005 (CoRR, 2025)

Time-variant Image Inpainting via Interactive Distribution Transition Estimation. - Yun Xing; Qing Guo 005; Xiaohong Li 001; Yihao Huang 001; Xiaofeng Cao 002; Di Lin 002; Ivor W. Tsang; Lei Ma 003 (CoRR, 2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems. - Mingfei Cheng; Renzhi Wang; Xiaofei Xie; Yuan Zhou 005; Lei Ma 003 (CoRR, 2025)

GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model. - Zhehua Zhou; Xuan Xie; Jiayang Song; Zhan Shu; Lei Ma 003 (IEEE Trans. Neural Networks Learn. Syst., 2025)

Evaluating LLMs on Sequential API Call Through Automated Test Generation. - Yuheng Huang 004; Da Song; Zhenlan Ji; Shuai Wang 011; Lei Ma 003 (CoRR, 2025)

Assessing the Robustness of Test Selection Methods for Deep Neural Networks. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Wei Ma; Mike Papadakis; Lei Ma 003; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2025)