Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLei Ma 0003
Person information
- affiliation: University of Alberta, Canada
- affiliation: Kyushu University, Department of Information Science and Electrical Engineering, Japan
- affiliation (former): Harbin Institute of Technology, Department of Computer Science, China
- affiliation (former): Chiba University, Department of Mathematics and Informatics, Japan
- affiliation (former): University of Tokyo, Department of Electrical Engineering, Japan
Other persons with the same name
- Lei Ma — disambiguation page
- Lei Ma 0001 — Beijing Institute of Technology, China
- Lei Ma 0002 — Arizona State University, Department of Electrical Engineering, Tempe, AZ, USA
- Lei Ma 0004
![[0000-0002-8298-3703]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-8298-3703")
— University of Electronic Science and Technology of China, School of Electronic Engineering, the Intelligent Visual Information Processing and Communication Laboratory, Chengdu, China - Lei Ma 0005 — Nanjing University, Jiangsu Provincial Key Laboratory of Geographic Information Science and Technology, China
- Lei Ma 0006 — University of Tokyo, Graduate School of Engineering, Japan
- Lei Ma 0007 — Southwest Jiaotong University, School of Electrical Engineering, Chengdu, China (and 1 more)
- Lei Ma 0008 — National Biomedical Imaging Center, College of Future Technology, Peking University, Beijing, China (and 7 more)
- Lei Ma 0009 — University of Leeds, UK
- Lei Ma 0010 — Kunming University of Science and Technology, Kunming, China
- Lei Ma 0011 — Beijing Polytechnic, Beijing, China
- Lei Ma 0012 — Queen's University Belfast, Belfast, UK
- Lei Ma 0013 — China University of Mining and Technology, School of information and control engineering, Xuzhou, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]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): 515-529 (2024)- [j27]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): 21:1-21:24 (2024) - [j26]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): 50:1-50:28 (2024) - [i75]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 abs/2401.02686 (2024) - [i74]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 abs/2401.14314 (2024) - [i73]Linghan Huang, Peizhou Zhao, Huaming Chen, Lei Ma:
Large Language Models Based Fuzzing Techniques: A Survey. CoRR abs/2402.00350 (2024) - [i72]Zhijie Wang, Yuheng Huang, Da Song, Lei Ma, Tianyi Zhang:
PromptCharm: Text-to-Image Generation through Multi-modal Prompting and Refinement. CoRR abs/2403.04014 (2024) - 2023
- [j25]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): 44 (2023) - [j24]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): 124:1-124:62 (2023) - [j23]Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao:
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 32(5): 129:1-129:31 (2023) - [j22]Yuheng Huang, Lei Ma, Yuanchun Li:
PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing. ACM Trans. Softw. Eng. Methodol. 32(6): 154:1-154:34 (2023) - [j21]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): 1842-1859 (2023) - [j20]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): 2839-2855 (2023) - [j19]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): 4058-4080 (2023) - [c89]Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma:
DeepGemini: Verifying Dependency Fairness for Deep Neural Network. AAAI 2023: 15251-15259 - [c88]Da Song, Zhijie Wang, Yuheng Huang, Lei Ma, Tianyi Zhang:
DeepLens: Interactive Out-of-distribution Data Detection in NLP Models. CHI 2023: 739:1-739:17 - [c87]Zhijie Wang, Yuheng Huang, Da Song, Lei Ma, Tianyi Zhang:
DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction. CHI 2023: 740:1-740:20 - [c86]Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao:
Evading DeepFake Detectors via Adversarial Statistical Consistency. CVPR 2023: 12271-12280 - [c85]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 - [c84]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: 1-6 - [c83]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: 173-184 - [c82]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: 1393-1404 - [c81]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: 1776-1787 - [c80]Renzhi Wang, Zhijie Wang, Yuheng Huang, Lei Ma:
When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing. ISSREW 2023: 83-88 - [c79]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: 243-254 - [c78]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: 510-521 - [c77]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: 1149-1161 - [c76]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: 871-882 - [c75]Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao:
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. ESEC/SIGSOFT FSE 2023: 1384-1394 - [c74]Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Xiaofei Xie, Lei Ma:
Decompiling x86 Deep Neural Network Executables. USENIX Security Symposium 2023: 7357-7374 - [i71]Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao:
Neural Episodic Control with State Abstraction. CoRR abs/2301.11490 (2023) - [i70]Zhijie Wang, Yuheng Huang, Da Song, Lei Ma, Tianyi Zhang:
DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction. CoRR abs/2303.01576 (2023) - [i69]Da Song, Zhijie Wang, Yuheng Huang, Lei Ma, Tianyi Zhang:
DeepLens: Interactive Out-of-distribution Data Detection in NLP Models. CoRR abs/2303.01577 (2023) - [i68]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 abs/2304.05617 (2023) - [i67]Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao:
Evading DeepFake Detectors via Adversarial Statistical Consistency. CoRR abs/2304.11670 (2023) - [i66]Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma:
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. CoRR abs/2305.03882 (2023) - [i65]Mulong Xie, Jiaming Ye, Zhenchang Xing, Lei Ma:
NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing. CoRR abs/2305.14611 (2023) - [i64]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 abs/2306.01220 (2023) - [i63]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. CoRR abs/2306.01250 (2023) - [i62]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 abs/2306.03454 (2023) - [i61]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 abs/2307.10236 (2023) - [i60]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 abs/2308.00055 (2023) - [i59]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 abs/2308.13724 (2023) - [i58]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 abs/2308.15742 (2023) - [i57]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 abs/2309.06687 (2023) - [i56]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 abs/2310.14211 (2023) - [i55]Shuangzhi Li, Lei Ma, Xingyu Li:
Domain Generalization of 3D Object Detection by Density-Resampling. CoRR abs/2311.10845 (2023) - [i54]Jiawen Wen, Dong Yuan, Lei Ma, Huaming Chen:
Code Ownership in Open-Source AI Software Security. CoRR abs/2312.10861 (2023) - 2022
- [j18]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): 140 (2022) - [j17]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): 172 (2022) - [j16]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): 1678-1734 (2022) - [j15]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: 111410 (2022) - [j14]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: 108864 (2022) - [j13]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): 4096-4106 (2022) - [j12]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): 1795-1809 (2022) - [j11]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): 6976-6982 (2022) - [j10]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): 47:1-47:27 (2022) - [j9]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): 50:1-50:40 (2022) - [j8]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): 53:1-53:40 (2022) - [j7]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): 78:1-78:30 (2022) - [j6]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): 1401-1416 (2022) - [j5]Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu:
Machine Learning Testing: Survey, Landscapes and Horizons. IEEE Trans. Software Eng. 48(2): 1-36 (2022) - [c73]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: 343-352 - [c72]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: 217-228 - [c71]Yan-Fu Li, Yinxing Xue, Lei Ma, Shengjian Guo, Guozhu Meng:
Message from the RAIS 2022 Chairs. ISSRE Workshops 2022: xxxviii - [c70]Liming Zhai, Qing Guo, Xiaofei Xie, Lei Ma, Yi Estelle Wang, Yang Liu:
A3GAN: Attribute-Aware Anonymization Networks for Face De-identification. ACM Multimedia 2022: 5303-5313 - [i53]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 abs/2201.01409 (2022) - [i52]Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Di Lin, Wei Feng, Song Wang:
Uncertainty-Aware Cascaded Dilation Filtering for High-Efficiency Deraining. CoRR abs/2201.02366 (2022) - [i51]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 abs/2203.12915 (2022) - [i50]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 abs/2206.05480 (2022) - [i49]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. CoRR abs/2206.05961 (2022) - [i48]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 abs/2207.10942 (2022) - [i47]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 abs/2209.10381 (2022) - [i46]Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Xiaofei Xie, Lei Ma:
Decompiling x86 Deep Neural Network Executables. CoRR abs/2210.01075 (2022) - [i45]Shuangzhi Li, Zhijie Wang, Felix Juefei-Xu, Qing Guo, Xingyu Li, Lei Ma:
Common Corruption Robustness of Point Cloud Detectors: Benchmark and Enhancement. CoRR abs/2210.05896 (2022) - [i44]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 abs/2212.01635 (2022) - [i43]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 abs/2212.06828 (2022) - [i42]Jiaming Ye, Mulong Xie, Siyuan Chen, Fuyuan Zhang, Lei Ma, Zhenchang Xing, Jianjun Zhao:
Towards Benchmarking GUI Compatibility Testing on Mobile Applications. CoRR abs/2212.13424 (2022) - 2021
- [c69]Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao:
EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. AAAI 2021: 1487-1495 - [c68]Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun:
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI 2021: 11699-11707 - [c67]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: 595-618 - [c66]Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao:
Learning to Adversarially Blur Visual Object Tracking. ICCV 2021: 10819-10828 - [c65]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. ICME 2021: 1-6 - [c64]Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing:
RNNRepair: Automatic RNN Repair via Model-based Analysis. ICML 2021: 11383-11392 - [c63]Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, Yang Liu:
Automatic Web Testing Using Curiosity-Driven Reinforcement Learning. ICSE 2021: 423-435 - [c62]Pengzhan Zhao, Jianjun Zhao, Lei Ma:
Identifying Bug Patterns in Quantum Programs. Q-SE@ICSE 2021: 16-21 - [c61]Maryam Vahdat Pour, Zhuo Li, Lei Ma, Hadi Hemmati:
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding. ICST 2021: 36-46 - [c60]Shuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma, Yinxing Xue:
Issue Categorization and Analysis of an Open-Source Driving Assistant System. ISSRE Workshops 2021: 148-153 - [c59]Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao:
An Empirical Study on Common Bugs in Deep Learning Compilers. ISSRE 2021: 184-195 - [c58]Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. ACM Multimedia 2021: 395-403 - [c57]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c56]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: 1427-1437 - [e1]Shuai Wang, Xiaofei Xie, Lei Ma:
AISTA 2021: Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis, Virtual Event, Denmark, 12 July 2021. ACM 2021, ISBN 978-1-4503-8541-1 [contents] - [i41]Maryam Vahdat Pour, Zhuo Li, Lei Ma, Hadi Hemmati:
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding. CoRR abs/2101.07910 (2021) - [i40]Felix Juefei-Xu, Run Wang, Yihao Huang, Qing Guo, Lei Ma, Yang Liu:
Countering Malicious DeepFakes: Survey, Battleground, and Horizon. CoRR abs/2103.00218 (2021) - [i39]Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, Yang Liu:
Automatic Web Testing using Curiosity-Driven Reinforcement Learning. CoRR abs/2103.06018 (2021) - [i38]Pengzhan Zhao, Jianjun Zhao, Lei Ma:
Identifying Bug Patterns in Quantum Programs. CoRR abs/2103.09069 (2021) - [i37]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 abs/2104.11585 (2021) - [i36]Yihao Huang, Qing Guo, Felix Juefei-Xu, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning. CoRR abs/2107.06501 (2021) - [i35]Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao:
Learning to Adversarially Blur Visual Object Tracking. CoRR abs/2107.12085 (2021) - [i34]Qing Guo, Zhijie Wang, Felix Juefei-Xu, Di Lin, Lei Ma, Wei Feng, Yang Liu:
CarveNet: Carving Point-Block for Complex 3D Shape Completion. CoRR abs/2107.13452 (2021) - [i33]Shangqing Liu, Xiaofei Xie, Lei Ma, Jing Kai Siow, Yang Liu:
GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search. CoRR abs/2111.02671 (2021) - [i32]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. CoRR abs/2111.04324 (2021) - [i31]Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao:
Machine Learning Guided Cross-Contract Fuzzing. CoRR abs/2111.12423 (2021) - [i30]Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Lei Ma, Jianjun Zhao:
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. CoRR abs/2111.13330 (2021) - 2020
- [j4]Li Li, Jun Gao, Tegawendé F. Bissyandé, Lei Ma, Xin Xia, Jacques Klein:
CDA: Characterising Deprecated Android APIs. Empir. Softw. Eng. 25(3): 2058-2098 (2020) - [j3]Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30(7-8) (2020) - [c55]Huangzhao Zhang, Zhuo Li, Ge Li, Lei Ma, Yang Liu, Zhi Jin:
Generating Adversarial Examples for Holding Robustness of Source Code Processing Models. AAAI 2020: 1169-1176 - [c54]Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu:
Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning. AAAI 2020: 5883-5891 - [c53]Qing Guo, Xiaofei Xie, Felix Juefei-Xu, Lei Ma, Zhongguo Li, Wanli Xue, Wei Feng, Yang Liu:
SPARK: Spatial-Aware Online Incremental Attack Against Visual Tracking. ECCV (25) 2020: 202-219 - [c52]Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun:
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. ICSE 2020: 739-751 - [c51]Yuechen Wu, Yingfeng Chen, Xiaofei Xie, Bing Yu, Changjie Fan, Lei Ma:
Regression Testing of Massively Multiplayer Online Role-Playing Games. ICSME 2020: 692-696 - [c50]Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, Jianjun Zhao:
Few-Shot Guided Mix for DNN Repairing. ICSME 2020: 717-721 - [c49]Run Wang, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yihao Huang, Jian Wang, Yang Liu:
FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces. IJCAI 2020: 3444-3451 - [c48]Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, Jianjun Zhao:
How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software. ICPC 2020: 172-183 - [c47]Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao:
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. ASE 2020: 423-435 - [c46]David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao:
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. ASE 2020: 1041-1052 - [c45]Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu:
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices. ACM Multimedia 2020: 1207-1216 - [c44]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. ACM Multimedia 2020: 1217-1226 - [c43]Run Wang, Felix Juefei-Xu, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Yang Liu:
Amora: Black-box Adversarial Morphing Attack. ACM Multimedia 2020: 1376-1385 - [c42]Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao:
DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms. ACM Multimedia 2020: 4318-4327 - [c41]Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu:
Watch out! Motion is Blurring the Vision of Your Deep Neural Networks. NeurIPS 2020 - [c40]Zi Peng, Jinqiu Yang, Tse-Hsun (Peter) Chen, Lei Ma:
A first look at the integration of machine learning models in complex autonomous driving systems: a case study on Apollo. ESEC/SIGSOFT FSE 2020: 1240-1250 - [i29]Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR abs/2001.09598 (2020) - [i28]Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Wei Feng, Yang Liu:
ABBA: Saliency-Regularized Motion-Based Adversarial Blur Attack. CoRR abs/2002.03500 (2020) - [i27]Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun:
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. CoRR abs/2004.11573 (2020) - [i26]Jianwen Sun, Tianwei Zhang, Xiaofei Xie, Lei Ma, Yan Zheng, Kangjie Chen, Yang Liu:
Stealthy and Efficient Adversarial Attacks against Deep Reinforcement Learning. CoRR abs/2005.07099 (2020) - [i25]Run Wang, Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu:
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices. CoRR abs/2005.13770 (2020) - [i24]Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR abs/2006.07533 (2020) - [i23]Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao:
DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms. CoRR abs/2006.07634 (2020) - [i22]Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu:
Generating Adversarial Examples withControllable Non-transferability. CoRR abs/2007.01299 (2020) - [i21]Liming Zhai, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu:
It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception. CoRR abs/2009.09205 (2020) - [i20]Yihao Huang, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Weikai Miao, Yang Liu, Geguang Pu:
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise. CoRR abs/2009.09213 (2020) - [i19]Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu:
EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. CoRR abs/2009.09238 (2020) - [i18]Bing Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao:
DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment. CoRR abs/2011.09884 (2020)
2010 – 2019
- 2019
- [c39]Lei Ma, Daisuke Sakamoto, Tetsuo Ono:
Desired Agent Embodiment in Various Smart House Tasks. HAI 2019: 324-326 - [c38]Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin:
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. ICECCS 2019: 61-70 - [c37]Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie:
Safe Inputs Approximation for Black-Box Systems. ICECCS 2019: 180-189 - [c36]Yang Liu, Lei Ma, Jianjun Zhao:
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. ICFEM 2019: 3-15 - [c35]Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu:
Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) 2019: 1-4 - [c34]Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Yang Liu, Xiaohong Li:
DiffChaser: Detecting Disagreements for Deep Neural Networks. IJCAI 2019: 5772-5778 - [c33]Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu, Miryung Kim:
An Empirical Study of Common Challenges in Developing Deep Learning Applications. ISSRE 2019: 104-115 - [c32]Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See:
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. ISSTA 2019: 146-157 - [c31]Chao Xie, Hua Qi, Lei Ma, Jianjun Zhao:
DeepVisual: a visual programming tool for deep learning systems. ICPC 2019: 130-134 - [c30]Yan Zheng, Changjie Fan, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yingfeng Chen:
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. ASE 2019: 772-784 - [c29]Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. ASE 2019: 810-822 - [c28]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
A Quantitative Analysis Framework for Recurrent Neural Network. ASE 2019: 1062-1065 - [c27]Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao:
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems. ASE 2019: 1158-1161 - [c26]Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
Coverage-Guided Fuzzing for Feedforward Neural Networks. ASE 2019: 1162-1165 - [c25]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
DeepStellar: model-based quantitative analysis of stateful deep learning systems. ESEC/SIGSOFT FSE 2019: 477-487 - [c24]Yanjie Zhao, Haoyu Wang, Lei Ma, Yuxin Liu, Li Li, John Grundy:
Knowledge Graphing Git Repositories: A Preliminary Study. SANER 2019: 599-603 - [c23]Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao:
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. SANER 2019: 614-618 - [i17]Jie M. Zhang, Mark Harman, Lei Ma, Yang Liu:
Machine Learning Testing: Survey, Landscapes and Horizons. CoRR abs/1906.10742 (2019) - [i16]Run Wang, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Jian Wang, Yang Liu:
FakeSpotter: A Simple Baseline for Spotting AI-Synthesized Fake Faces. CoRR abs/1909.06122 (2019) - [i15]Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu:
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR abs/1909.06605 (2019) - [i14]Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms. CoRR abs/1909.06727 (2019) - [i13]Qing Guo, Xiaofei Xie, Lei Ma, Zhongguo Li, Wei Feng, Yang Liu:
Spatial-aware Online Adversarial Perturbations Against Visual Object Tracking. CoRR abs/1910.08681 (2019) - [i12]Run Wang, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Yihao Huang, Yang Liu:
Amora: Black-box Adversarial Morphing Attack. CoRR abs/1912.03829 (2019) - [i11]Yinxing Xue, Jiaming Ye, Mingliang Ma, Lei Ma, Yi Li, Haijun Wang, Yun Lin, Tianyong Peng, Yang Liu:
Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. CoRR abs/1912.04466 (2019) - [i10]Xiaolu Hou, Jakub Breier, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu:
Experimental Evaluation of Deep Neural Network Resistance Against Fault Injection Attacks. IACR Cryptol. ePrint Arch. 2019: 461 (2019) - 2018
- [c22]Qiang Hu, Lei Ma, Jianjun Zhao:
DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models. APSEC 2018: 628-632 - [c21]Jakub Breier, Xiaolu Hou, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu:
Practical Fault Attack on Deep Neural Networks. CCS 2018: 2204-2206 - [c20]Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepMutation: Mutation Testing of Deep Learning Systems. ISSRE 2018: 100-111 - [c19]Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepGauge: multi-granularity testing criteria for deep learning systems. ASE 2018: 120-131 - [c18]Li Li, Jun Gao, Tegawendé F. Bissyandé, Lei Ma, Xin Xia, Jacques Klein:
Characterising deprecated Android APIs. MSR 2018: 254-264 - [i9]Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. CoRR abs/1803.07519 (2018) - [i8]Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepMutation: Mutation Testing of Deep Learning Systems. CoRR abs/1805.05206 (2018) - [i7]Jakub Breier, Xiaolu Hou, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu:
Practical Fault Attack on Deep Neural Networks. CoRR abs/1806.05859 (2018) - [i6]Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang:
Combinatorial Testing for Deep Learning Systems. CoRR abs/1806.07723 (2018) - [i5]Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Hongxu Chen, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See:
Coverage-Guided Fuzzing for Deep Neural Networks. CoRR abs/1809.01266 (2018) - [i4]Alvin Chan, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Yang Liu, Yew-Soon Ong:
Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer. CoRR abs/1809.02444 (2018) - [i3]Lei Ma, Felix Juefei-Xu, Minhui Xue, Qiang Hu, Sen Chen, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See:
Secure Deep Learning Engineering: A Software Quality Assurance Perspective. CoRR abs/1810.04538 (2018) - [i2]Qianyu Guo, Xiaofei Xie, Lei Ma, Qiang Hu, Ruitao Feng, Li Li, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms. CoRR abs/1811.05187 (2018) - [i1]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu:
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. CoRR abs/1812.05339 (2018) - 2017
- [j2]Lei Ma, Cheng Zhang, Bing Yu, Hiroyuki Sato:
An empirical study on the effects of code visibility on program testability. Softw. Qual. J. 25(3): 951-978 (2017) - [c17]Lei Ma, Bing Yu, Hiroyuki Sato, Yadong Wang:
Collaborative Computation Offloading in Heterogeneous Asynchronous Cloud Environment. COMPSAC (1) 2017: 929-934 - [c16]Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-Based API Testing of Apache ZooKeeper. ICST 2017: 288-298 - 2016
- [j1]Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe:
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c15]Lei Ma, Cheng Zhang, Bing Yu, Jianjun Zhao:
Retrofitting automatic testing through library tests reusing. ICPC 2016: 1-4 - [c14]Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto:
Runtime Monitoring for Concurrent Systems. RV 2016: 386-403 - [c13]Lei Ma, Cyrille Valentin Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler:
Guiding random test generation with program analysis. Software Engineering 2016: 15-16 - [c12]Cyrille Artho, Lei Ma:
Classification of Randomly Generated Test Cases. VST@SANER 2016: 29-32 - [c11]Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, Jianjun Zhao:
Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs. SANER 2016: 449-459 - 2015
- [c10]Bing Yu, Lei Ma, Cheng Zhang:
Incremental Web Application Testing Using Page Object. HotWeb 2015: 1-6 - [c9]Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
GRT at the SBST 2015 Tool Competition. SBST@ICSE 2015: 48-51 - [c8]Lei Ma, Cheng Zhang, Bing Yu, Hiroyuki Sato:
An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing. AST@ICSE 2015: 80-84 - [c7]Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler:
GRT: Program-Analysis-Guided Random Testing (T). ASE 2015: 212-223 - [c6]Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler:
GRT: An Automated Test Generator Using Orchestrated Program Analysis. ASE 2015: 842-847 - 2014
- [c5]Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato:
Efficient testing of software product lines via centralization (short paper). GPCE 2014: 49-52 - [c4]Lei Ma, Cyrille Artho, Hiroyuki Sato:
Project centralization based on graph coloring. SAC 2014: 1086-1093 - 2013
- [c3]Lei Ma, Cyrille Artho, Hiroyuki Sato:
Analyzing Distributed Java Applications by Automatic Centralization. COMPSAC Workshops 2013: 691-696 - [c2]Kentaro Ishii, Haipeng Mi, Lei Ma, Natsuda Laokulrat, Masahiko Inami, Takeo Igarashi:
Pebbles: User-Configurable Device Network for Robot Navigation. INTERACT (2) 2013: 420-436 - 2012
- [c1]Haipeng Mi, Kentaro Ishii, Lei Ma, Natsuda Laokulrat, Masahiko Inami, Takeo Igarashi:
Pebbles: an interactive configuration tool for indoor robot navigation. UIST (Adjunct Volume) 2012: 11-12
Coauthor Index
Cyrille Artho
aka: Cyrille Valentin Artho
aka: Cyrille Valentin Artho
[j23] [c78] [i58] [i56] [j16] [j14] [j11] [j10] [j6] [i52] [i51] [i47] [i45] [c69] [c66] [c65] [c58] [i40] [i37] [i36] [i35] [i34] [i30] [c53] [c50] [c49] [c45] [c44] [c43] [c42] [c41] [i29] [i28] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [i18] [c32] [c23] [i16] [i12] [c20] [c19] [i9] [i8] [i5] [i4] [i3]
[j27] [j24] [j20] [c78] [i58] [j16] [j13] [j12] [j11] [j10] [j9] [j5] [c70] [i51] [i49] [c69] [c68] [c66] [c64] [c63] [c58] [i40] [i39] [i36] [i35] [i34] [i33] [c55] [c54] [c53] [c52] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [i29] [i28] [i27] [i26] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [c38] [c37] [c36] [c35] [c34] [c32] [c30] [c29] [c28] [c27] [c26] [c25] [c23] [i17] [i16] [i15] [i14] [i13] [i12] [i11] [i10] [c21] [c20] [c19] [i9] [i8] [i7] [i6] [i5] [i4] [i3] [i2] [i1]
[j27] [j20] [c86] [c85] [c84] [c83] [c82] [c81] [c79] [c74] [i71] [i67] [i63] [j18] [j13] [j11] [j10] [j7] [j6] [c70] [i51] [i50] [i48] [i46] [c69] [c68] [c66] [c64] [c63] [c56] [e1] [i39] [i35] [i33] [c54] [c53] [c52] [c51] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [i29] [i28] [i27] [i26] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [i18] [c38] [c37] [c34] [c32] [c30] [c29] [c28] [c27] [c26] [c25] [i16] [i14] [i13] [i12] [i5] [i4] [i2] [i1]
[j28] [j23] [j21] [c86] [c85] [c83] [c79] [c77] [c75] [i71] [i68] [i67] [j17] [j15] [j14] [j6] [i47] [i42] [c69] [c67] [c66] [c65] [c62] [c59] [c57] [c56] [i38] [i37] [i35] [i31] [i30] [c52] [c50] [c48] [c47] [c46] [c42] [i27] [i23] [i18] [c36] [c32] [c31] [c29] [c28] [c27] [c26] [c25] [c23] [i14] [c22] [c20] [c19] [i9] [i8] [i6] [i5] [i3] [i2] [i1] [c15] [c11]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
