Google
Google Scholar
Semantic Scholar
MS Academic
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.org/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 — Peking University, National Engineering Laboratory for Video Technology, Beijing, China (and 3 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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[c59]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- [c58]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 - [c57]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 - [c56]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 - [c55]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 - [c54]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] - [i37]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) - [i36]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) - [i35]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) - [i34]Pengzhan Zhao, Jianjun Zhao, Lei Ma:
Identifying Bug Patterns in Quantum Programs. CoRR abs/2103.09069 (2021) - [i33]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) - [i32]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) - [i31]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) - [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) - [c53]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 - [c52]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 - [c51]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 - [c50]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 - [c49]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 - [c48]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 - [c47]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 - [c46]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 - [c45]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 - [c44]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 - [c43]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 - [c42]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 - [c41]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 - [c40]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 - [c39]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 - [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
- [c38]Lei Ma, Daisuke Sakamoto, Tetsuo Ono:
Desired Agent Embodiment in Various Smart House Tasks. HAI 2019: 324-326 - [c37]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 - [c36]Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie:
Safe Inputs Approximation for Black-Box Systems. ICECCS 2019: 180-189 - [c35]Yang Liu, Lei Ma, Jianjun Zhao:
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. ICFEM 2019: 3-15 - [c34]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 - [c33]Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Yang Liu, Xiaohong Li:
DiffChaser: Detecting Disagreements for Deep Neural Networks. IJCAI 2019: 5772-5778 - [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
[c59] [c57] [i36] [i35] [c53] [c52] [c51] [c50] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [i29] [i28] [i27] [i26] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [c37] [c36] [c35] [c34] [c33] [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]
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-12-08 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
