Lei Ma 0003 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 64 from 64

2024

Faire: Repairing Fairness of Neural Networks via Neuron Condition SynthesisTianlin Li, Xiaofei Xie, Jian Wang, Qing Guo 0005, Aishan Liu, Lei Ma 0003, Yang Liu. TOSEM, 33(1), January 2024. [doi]

Generation-based Differential Fuzzing for Deep Learning LibrariesJiawei Liu, Yuheng Huang, Zhijie Wang, Lei Ma 0003, Chunrong Fang, Mingzheng Gu, Xufan Zhang, Zhenyu Chen 0001. TOSEM, 33(2), February 2024. [doi]

xFuzz: Machine Learning Guided Cross-Contract FuzzingYinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun 0001, Lei Ma 0003, Haijun Wang, Jianjun Zhao 0001. tdsc, 21(2):515-529, March - April 2024. [doi]

2023

Towards understanding quality challenges of the federated learning for neural networks: a first look from the lens of robustnessAmin Eslami Abyane, Derui Zhu, Roberto Souza 0001, Lei Ma 0003, Hadi Hemmati. ese, 28(2):44, March 2023. [doi]

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and OpportunitiesXinyu Gao, Zhijie Wang, Yang Feng, Lei Ma 0003, Zhenyu Chen 0001, Baowen Xu. FSE 2023: 871-882 [doi]

Evading DeepFake Detectors via Adversarial Statistical ConsistencyYang Hou, Qing Guo, Yihao Huang 0001, Xiaofei Xie, Lei Ma 0003, Jianjun Zhao 0001. cvpr 2023: 12271-12280 [doi]

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy EstimationQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma 0003, Yves Le Traon. ICSE 2023: 1776-1787 [doi]

CodeS: Towards Code Model Generalization Under Distribution ShiftQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma 0003, Yves Le Traon. ICSE 2023: 1-6 [doi]

PatchCensor: Patch Robustness Certification for Transformers via Exhaustive TestingYuheng Huang, Lei Ma 0003, Yuanchun Li. TOSEM, 32(6), November 2023. [doi]

Neural Episodic Control with State AbstractionZhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma 0003, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao 0001. iclr 2023: [doi]

Generative Model-Based Testing on Decision-Making PoliciesZhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma 0003, Jianjun Zhao 0001. ASE 2023: 243-254 [doi]

Decompiling x86 Deep Neural Network ExecutablesZhibo Liu, Yuanyuan Yuan, Shuai Wang 0011, Xiaofei Xie, Lei Ma 0003. uss 2023: 7357-7374 [doi]

GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code SearchShangqing Liu, Xiaofei Xie, Jing Kai Siow, Lei Ma 0003, Guozhu Meng, Yang Liu 0003. TSE, 49(4):2839-2855, April 2023. [doi]

ASTER: Automatic Speech Recognition System Accessibility Testing for StutterersYi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma 0003, Yang Liu 0003. ASE 2023: 510-521 [doi]

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural NetworksHua Qi, Zhijie Wang, Qing Guo 0005, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma 0003, Jianjun Zhao 0001. TOSEM, 32(5), September 2023. [doi]

$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical SystemsJiayang Song, Xuan Xie, Lei Ma 0003. TSE, 49(8):4058-4080, August 2023. [doi]

DeepLens: Interactive Out-of-distribution Data Detection in NLP ModelsDa Song, Zhijie Wang, Yuheng Huang, Lei Ma 0003, Tianyi Zhang 0001. CHI 2023: [doi]

A Survey on Automated Driving System Testing: Landscapes and TrendsShuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu 0007, Shengjian Guo, Yan-fu Li, Lei Ma 0003, Yinxing Xue, Yang Liu 0003. TOSEM, 32(5), September 2023. [doi]

When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS TestingRenzhi Wang, Zhijie Wang, Yuheng Huang, Lei Ma 0003. issre 2023: 83-88 [doi]

Widget Detection-based Testing for Industrial Mobile GamesXiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma 0003, Jianjun Zhao 0001. ICSE 2023: 173-184 [doi]

DeepGemini: Verifying Dependency Fairness for Deep Neural NetworkXuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma 0003. AAAI 2023: 15251-15259 [doi]

QuraTest: Integrating Quantum Specific Features in Quantum Program TestingJiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma 0003, Jianjun Zhao 0001, Fuyuki Ishikawa. ASE 2023: 1149-1161 [doi]

GameRTS: A Regression Testing Framework for Video GamesJiongchi Yu, Yuechen Wu, Xiaofei Xie, Wei Le, Lei Ma 0003, Yingfeng Chen, Jingyu Hu, Fan Zhang. ICSE 2023: 1393-1404 [doi]

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural NetworksFuyuan Zhang, Xinwen Hu, Lei Ma 0003, Jianjun Zhao 0001. FSE 2023: 1384-1394 [doi]

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage CriteriaZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. TSE, 49(4):1842-1859, April 2023. [doi]

2022

Breaking Neural Reasoning Architectures With Metamorphic Relation-Based Adversarial ExamplesAlvin Chan, Lei Ma 0003, Felix Juefei-Xu, Yew-Soon Ong, Xiaofei Xie, Minhui Xue, Yang Liu 0003. tnn, 33(11):6976-6982, 2022. [doi]

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning EnhancementQiang Hu, Yuejun Guo 0001, Maxime Cordy, Xiaofei Xie, Lei Ma 0003, Mike Papadakis, Yves Le Traon. TOSEM, 31(4), 2022. [doi]

Countering Malicious DeepFakes: Survey, Battleground, and HorizonFelix Juefei-Xu, Run Wang, Yihao Huang 0001, Qing Guo 0005, Lei Ma 0003, Yang Liu 0003. ijcv, 130(7):1678-1734, 2022. [doi]

Message from the RAIS 2022 ChairsYan-fu Li, Yinxing Xue, Lei Ma 0003, Shengjian Guo, Guozhu Meng. issre 2022: [doi]

GBGallery : A benchmark and framework for game testingZhuo Li, Yuechen Wu, Lei Ma 0003, Xiaofei Xie, Yingfeng Chen, Changjie Fan. ese, 27(6):140, 2022. [doi]

DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptionsXuhong Ren, Jianlang Chen, Felix Juefei-Xu, Wanli Xue, Qing Guo 0005, Lei Ma 0003, Jianjun Zhao, Shengyong Chen. PR, 131:108864, 2022. [doi]

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way ForwardJiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang 0001, Lei Ma 0003. ICSE 2022: 343-352 [doi]

An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (Practical Experience Report)Zihe Song, Yingfeng Chen, Lei Ma 0003, Shangjie Lu, Honglei Lin, Changjie Fan, Wei Yang. issre 2022: 217-228 [doi]

Oracle-Supported Dynamic Exploit Generation for Smart ContractsHaijun Wang, Ye Liu, Yi Li 0008, Shangwei Lin 0001, Cyrille Artho, Lei Ma 0003, Yang Liu 0003. tdsc, 19(3):1795-1809, 2022. [doi]

On the usage and development of deep learning compilers: an empirical study on TVMXiongfei Wu, Jinqiu Yang, Lei Ma 0003, Yinxing Xue, Jianjun Zhao. ese, 27(7):172, 2022. [doi]

Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signaturesJiaming Ye, Mingliang Ma, Yun Lin 0001, Lei Ma 0003, Yinxing Xue, Jianjun Zhao. jss, 192:111410, 2022. [doi]

DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational EnvironmentBing Yu, Hua Qi, Qing Guo 0005, Felix Juefei-Xu, Xiaofei Xie, Lei Ma 0003, Jianjun Zhao. tr, 71(4):1401-1416, 2022. [doi]

3GAN: Attribute-Aware Anonymization Networks for Face De-identificationLiming Zhai, Qing Guo 0005, Xiaofei Xie, Lei Ma 0003, Yi Estelle Wang, Yang Liu 0003. mm 2022: 5303-5313 [doi]

Machine Learning Testing: Survey, Landscapes and HorizonsJie M. Zhang, Mark Harman, Lei Ma 0003, Yang Liu 0003. TSE, 48(2):1-36, 2022. [doi]

2021

Learning to Adversarially Blur Visual Object TrackingQing Guo 0005, Ziyi Cheng, Felix Juefei-Xu, Lei Ma 0003, Xiaofei Xie, Yang Liu 0003, Jianjun Zhao. iccv 2021: 10819-10828 [doi]

Deepmix: Online Auto Data Augmentation for Robust Visual Object TrackingZiyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo 0005, Lei Ma 0003, Jianjun Zhao. icmcs 2021: 1-6 [doi]

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image DerainingQing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma 0003, Xiaofei Xie, Wei Feng 0005, Yang Liu 0003, Jianjun Zhao. AAAI 2021: 1487-1495 [doi]

A Search-Based Testing Framework for Deep Neural Networks of Source Code EmbeddingMaryam Vahdat Pour, Zhuo Li, Lei Ma 0003, Hadi Hemmati. icst 2021: 36-46 [doi]

Issue Categorization and Analysis of an Open-Source Driving Assistant SystemShuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma 0003, Yinxing Xue. issre 2021: 148-153 [doi]

An empirical study of GUI widget detection for industrial mobile gamesJiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma 0003, Ruochen Huang, Yingfeng Chen, Yinxing Xue, Jianjun Zhao. FSE 2021: 1427-1437 [doi]

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-RobustnessZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. cav 2021: 595-618 [doi]

On the Effectiveness of Signal Rescaling in Hybrid System FalsificationZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. NFM 2021: 392-399 [doi]

2020

Watch out! Motion is Blurring the Vision of Your Deep Neural NetworksQing Guo 0005, Felix Juefei-Xu, Xiaofei Xie, Lei Ma 0003, Jian Wang, Bing Yu, Wei Feng 0005, Yang Liu 0003. nips 2020: [doi]

CDA: Characterising Deprecated Android APIsLi Li 0029, Jun Gao, Tegawendé F. Bissyandé, Lei Ma 0003, Xin Xia 0001, Jacques Klein. ese, 25(3):2058-2098, 2020. [doi]

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchersCyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma 0003, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. stvr, 30(7-8), 2020. [doi]

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution AwarenessDavid Berend, Xiaofei Xie, Lei Ma 0003, Lingjun Zhou, Yang Liu 0003, Chi Xu, Jianjun Zhao. ASE 2020: 1041-1052 [doi]

Marble: Model-based Robustness Analysis of Stateful Deep Learning SystemsXiaoning Du, Yi Li 0008, Xiaofei Xie, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao. ASE 2020: 423-435 [doi]

SPARK: Spatial-Aware Online Incremental Attack Against Visual TrackingQing Guo, Xiaofei Xie, Felix Juefei-Xu, Lei Ma 0003, Zhongguo Li, Wanli Xue, Wei Feng 0005, Yang Liu 0003. eccv 2020: 202-219 [doi]

Stealthy and Efficient Adversarial Attacks against Deep Reinforcement LearningJianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma 0003, Yan Zheng, Kangjie Chen, Yang Liu. AAAI 2020: 5883-5891 [doi]

Regression Testing of Massively Multiplayer Online Role-Playing GamesYuechen Wu, Yingfeng Chen, Xiaofei Xie, Bing Yu, Changjie Fan, Lei Ma 0003. ICSM 2020: 692-696 [doi]

2019

Desired Agent Embodiment in Various Smart House TasksLei Ma 0003, Daisuke Sakamoto, Tetsuo Ono. hai 2019: 324-326 [doi]

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent SystemsYang Liu 0003, Lei Ma 0003, Jianjun Zhao. icfem 2019: 3-15 [doi]

A Quantitative Analysis Framework for Recurrent Neural NetworkXiaoning Du, Xiaofei Xie, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao. ASE 2019: 1062-1065 [doi]

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile PlatformRuitao Feng, Sen Chen, Xiaofei Xie, Lei Ma 0003, Guozhu Meng, Yang Liu 0003, Shang-Wei Lin. ICECCS 2019: 61-70 [doi]

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and PlatformsQianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma 0003, Qiang Hu, Hongtao Liu, Yang Liu 0003, Jianjun Zhao, Xiaohong Li. ASE 2019: 810-822 [doi]

DeepMutation++: A Mutation Testing Framework for Deep Learning SystemsQiang Hu, Lei Ma 0003, Xiaofei Xie, Bing Yu, Yang Liu 0003, Jianjun Zhao. ASE 2019: 1158-1161 [doi]

Coverage-Guided Fuzzing for Feedforward Neural NetworksXiaofei Xie, Hongxu Chen, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao. ASE 2019: 1162-1165 [doi]

Safe Inputs Approximation for Black-Box SystemsBai Xue, Yang Liu 0003, Lei Ma 0003, Xiyue Zhang, Meng Sun 0002, Xiaofei Xie. ICECCS 2019: 180-189 [doi]

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement LearningYan Zheng, Changjie Fan, Xiaofei Xie, Ting Su, Lei Ma 0003, Jianye Hao, Zhaopeng Meng, Yang Liu 0003, Ruimin Shen, Yingfeng Chen. ASE 2019: 772-784 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Lei Ma 0003'

Viewing Publication 1 - 64 from 64

2024

2023

2022

2021

2020

2019

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Lei Ma 0003'

Viewing Publication 1 - 64 from 64

2024

2023

2022

2021

2020

2019

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1