Lei Ma

Orcid: 0000-0002-8621-2420

Affiliations:

University of Alberta, Canada
Kyushu University, Department of Information Science and Electrical Engineering, Japan
Harbin Institute of Technology, Department of Computer Science, China (former)
Chiba University, Department of Mathematics and Informatics, Japan (former)
University of Tokyo, Department of Electrical Engineering, Japan (former)

According to our database¹, Lei Ma authored at least 166 papers between 2012 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Generation-based Differential Fuzzing for Deep Learning Libraries.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., February, 2024

Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2024

xFuzz: Machine Learning Guided Cross-Contract Fuzzing.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2024

PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement.

[BibT_eX]

[DOI]

CoRR, 2024

Large Language Models Based Fuzzing Techniques: A Survey.

[BibT_eX]

[DOI]

CoRR, 2024

MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.

[BibT_eX]

[DOI]

CoRR, 2024

Beyond Fidelity: Explaining Vulnerability Localization of Learning-based Detectors.

[BibT_eX]

[DOI]

CoRR, 2024

2023

PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.

[BibT_eX]

[DOI]

Yuheng Huang

Lei Ma

Yuanchun Li

ACM Trans. Softw. Eng. Methodol., November, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

<i>ArchRepair</i>: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Jiayang Song

Xuan Xie

Lei Ma

IEEE Trans. Software Eng., August, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

GraphSearchNet: Enhancing GNNs via Capturing Global Dependencies for Semantic Code Search.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

Towards understanding quality challenges of the federated learning for neural networks: a first look from the lens of robustness.

[BibT_eX]

[DOI]

Empir. Softw. Eng., March, 2023

Code Ownership in Open-Source AI Software Security.

[BibT_eX]

[DOI]

CoRR, 2023

Domain Generalization of 3D Object Detection by Density-Resampling.

[BibT_eX]

[DOI]

Shuangzhi Li

Lei Ma

Xingyu Li

CoRR, 2023

LUNA: A Model-Based Universal Analysis Framework for Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics.

[BibT_eX]

[DOI]

CoRR, 2023

ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning.

[BibT_eX]

[DOI]

CoRR, 2023

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.

[BibT_eX]

[DOI]

CoRR, 2023

Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities.

[BibT_eX]

[DOI]

CoRR, 2023

Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.

[BibT_eX]

[DOI]

CoRR, 2023

Is Model Attention Aligned with Human Attention? An Empirical Study on Large Language Models for Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing.

[BibT_eX]

[DOI]

CoRR, 2023

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2023

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.

[BibT_eX]

[DOI]

CoRR, 2023

Decompiling x86 Deep Neural Network Executables.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Generative Model-Based Testing on Decision-Making Policies.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

GameRTS: A Regression Testing Framework for Video Games.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Widget Detection-based Testing for Industrial Mobile Games.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

CodeS: Towards Code Model Generalization Under Distribution Shift.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Neural Episodic Control with State Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Evading DeepFake Detectors via Adversarial Statistical Consistency.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

DeepLens: Interactive Out-of-distribution Data Detection in NLP Models.

[BibT_eX]

[DOI]

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

DeepGemini: Verifying Dependency Fairness for Deep Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Machine Learning Testing: Survey, Landscapes and Horizons.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2022

Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Breaking Neural Reasoning Architectures With Metamorphic Relation-Based Adversarial Examples.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Byzantine-Resilient Decentralized Stochastic Gradient Descent.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2022

DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions.

[BibT_eX]

[DOI]

Pattern Recognit., 2022

Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Countering Malicious DeepFakes: Survey, Battleground, and Horizon.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2022

On the usage and development of deep learning compilers: an empirical study on TVM.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

GBGallery : A benchmark and framework for game testing.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Towards Benchmarking GUI Compatibility Testing on Mobile Applications.

[BibT_eX]

[DOI]

CoRR, 2022

An Exploratory Study of AI System Risk Assessment from the Lens of Data Distribution and Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2022

AI-driven Mobile Apps: an Explorative Study.

[BibT_eX]

[DOI]

Tegawendé F. Bissyandé

CoRR, 2022

Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement.

[BibT_eX]

[DOI]

CoRR, 2022

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.

[BibT_eX]

[DOI]

CoRR, 2022

CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Uncertainty-Aware Cascaded Dilation Filtering for High-Efficiency Deraining.

[BibT_eX]

[DOI]

CoRR, 2022

Towards Understanding Quality Challenges of the Federated Learning: A First Look from the Lens of Robustness.

[BibT_eX]

[DOI]

Amin Eslami Abyane

Derui Zhu

Roberto Medeiros de Souza

Lei Ma

Hadi Hemmati

CoRR, 2022

A<sup>3</sup>GAN: Attribute-Aware Anonymization Networks for Face De-identification.

[BibT_eX]

[DOI]

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (Practical Experience Report).

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Message from the RAIS 2022 Chairs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Machine Learning Guided Cross-Contract Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2021

GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search.

[BibT_eX]

[DOI]

CoRR, 2021

CarveNet: Carving Point-Block for Complex 3D Shape Completion.

[BibT_eX]

[DOI]

CoRR, 2021

An empirical study of GUI widget detection for industrial mobile games.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning.

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

Issue Categorization and Analysis of an Open-Source Driving Assistant System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

An Empirical Study on Common Bugs in Deep Learning Compilers.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Identifying Bug Patterns in Quantum Programs.

[BibT_eX]

[DOI]

Pengzhan Zhao

Jianjun Zhao

Lei Ma

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

RNNRepair: Automatic RNN Repair via Model-based Analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

Learning to Adversarially Blur Visual Object Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

CDA: Characterising Deprecated Android APIs.

[BibT_eX]

[DOI]

Li Li

Jun Gao

Tegawendé F. Bissyandé

Lei Ma

Xin Xia

Jacques Klein

Empir. Softw. Eng., 2020

DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment.

[BibT_eX]

[DOI]

CoRR, 2020

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

CoRR, 2020

FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise.

[BibT_eX]

[DOI]

CoRR, 2020

It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception.

[BibT_eX]

[DOI]

CoRR, 2020

Generating Adversarial Examples withControllable Non-transferability.

[BibT_eX]

[DOI]

CoRR, 2020

ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack.

[BibT_eX]

[DOI]

CoRR, 2020

FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.

[BibT_eX]

[DOI]

CoRR, 2020

A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo.

[BibT_eX]

[DOI]

Zi Peng

Jinqiu Yang

Tse-Hsun (Peter) Chen

Lei Ma

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Watch out! Motion is Blurring the Vision of Your Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Amora: Black-box Adversarial Morphing Attack.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Regression Testing of Massively Multiplayer Online Role-Playing Games.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Few-Shot Guided Mix for DNN Repairing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules.

[BibT_eX]

[DOI]

CoRR, 2019

Amora: Black-box Adversarial Morphing Attack.

[BibT_eX]

[DOI]

CoRR, 2019

Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking.

[BibT_eX]

[DOI]

CoRR, 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces.

[BibT_eX]

[DOI]

CoRR, 2019

Knowledge Graphing Git Repositories: A Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

DeepStellar: model-based quantitative analysis of stateful deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Coverage-Guided Fuzzing for Feedforward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Quantitative Analysis Framework for Recurrent Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepVisual: a visual programming tool for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

An Empirical Study of Common Challenges in Developing Deep Learning Applications.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

DiffChaser: Detecting Disagreements for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Vultron: catching vulnerable smart contracts once and for all.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems.

[BibT_eX]

[DOI]

Yang Liu

Lei Ma

Jianjun Zhao

Proceedings of the Formal Methods and Software Engineering, 2019

Safe Inputs Approximation for Black-Box Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Desired Agent Embodiment in Various Smart House Tasks.

[BibT_eX]

[DOI]

Lei Ma

Daisuke Sakamoto

Tetsuo Ono

Proceedings of the 7th International Conference on Human-Agent Interaction, 2019

2018

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.

[BibT_eX]

[DOI]

CoRR, 2018

Secure Deep Learning Engineering: A Software Quality Assurance Perspective.

[BibT_eX]

[DOI]

CoRR, 2018

Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer.

[BibT_eX]

[DOI]

CoRR, 2018

Coverage-Guided Fuzzing for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Characterising deprecated Android APIs.

[BibT_eX]

[DOI]

Li Li

Jun Gao

Tegawendé F. Bissyandé

Lei Ma

Xin Xia

Jacques Klein

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DeepMutation: Mutation Testing of Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Practical Fault Attack on Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models.

[BibT_eX]

[DOI]

Qiang Hu

Lei Ma

Jianjun Zhao

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

An empirical study on the effects of code visibility on program testability.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

Model-Based API Testing of Apache ZooKeeper.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Collaborative Computation Offloading in Heterogeneous Asynchronous Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Java Pathfinder on Android Devices.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Classification of Randomly Generated Test Cases.

[BibT_eX]

[DOI]

Cyrille Artho

Lei Ma

Proceedings of the First International Workshop on Validating Software Tests, 2016

Guiding random test generation with program analysis.

[BibT_eX]

[DOI]

Lei Ma

Cyrille Valentin Artho

Proceedings of the Software Engineering 2016, 2016

Runtime Monitoring for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Retrofitting automatic testing through library tests reusing.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015

GRT: An Automated Test Generator Using Orchestrated Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

GRT: Program-Analysis-Guided Random Testing (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

GRT at the SBST 2015 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Incremental Web Application Testing Using Page Object.

[BibT_eX]

[DOI]

Bing Yu

Lei Ma

Cheng Zhang

Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015

2014

Project centralization based on graph coloring.

[BibT_eX]

[DOI]

Lei Ma

Cyrille Artho

Hiroyuki Sato

Proceedings of the Symposium on Applied Computing, 2014

Efficient testing of software product lines via centralization (short paper).

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Pebbles: User-Configurable Device Network for Robot Navigation.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

Analyzing Distributed Java Applications by Automatic Centralization.

[BibT_eX]

[DOI]

Lei Ma

Cyrille Artho

Hiroyuki Sato

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

Pebbles: an interactive configuration tool for indoor robot navigation.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

Lei Ma

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...