Lingming Zhang

According to our database, Lingming Zhang authored at least 138 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models.

Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang

Proc. ACM Program. Lang., 2024

SelfCodeAlign: Self-Alignment for Code Generation.

Yuxiang Wei, Federico Cassano, Jiawei Liu, Yifeng Ding, Naman Jain, Zachary Mueller, Harm de Vries, Leandro von Werra, Arjun Guha, Lingming Zhang

CoRR, 2024

Evaluating Language Models for Efficient Code Generation.

Jiawei Liu, Songrun Xie, Junhao Wang, Yuxiang Wei, Yifeng Ding, Lingming Zhang

CoRR, 2024

Agentless: Demystifying LLM-based Software Engineering Agents.

Chunqiu Steven Xia, Yinlin Deng, Soren Dunn, Lingming Zhang

CoRR, 2024

RepoQA: Evaluating Long Context Code Understanding.

Jiawei Liu, Jia Le Tian, Vijay Daita, Yuxiang Wei, Yifeng Ding, Yuhan Katherine Wang, Jun Yang, Lingming Zhang

CoRR, 2024

A Unified Debugging Approach via LLM-Based Multi-Agent Synergy.

Cheryl Lee, Chunqiu Steven Xia, Jen-tse Huang, Zhouruixin Zhu, Lingming Zhang, Michael R. Lyu

CoRR, 2024

XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts.

Yifeng Ding, Jiawei Liu, Yuxiang Wei, Terry Yue Zhuo, Lingming Zhang

CoRR, 2024

Emerging Platforms Meet Emerging LLMs: A Year-Long Journey of Top-Down Development.

Siyuan Feng, Jiawei Liu, Ruihang Lai, Charlie F. Ruan, Yong Yu, Lingming Zhang, Tianqi Chen

CoRR, 2024

Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM.

Chunqiu Steven Xia, Yinlin Deng, Lingming Zhang

CoRR, 2024

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models.

Chenyuan Yang, Zijie Zhao, Lingming Zhang

CoRR, 2024

Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT.

Chunqiu Steven Xia, Lingming Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs.

Yicheng Ouyang, Jun Yang, Lingming Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Fuzz4All: Universal Fuzzing with Large Language Models.

Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries.

Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Magicoder: Empowering Code Generation with OSS-Instruct.

Yuxiang Wei, Zhe Wang, Jiawei Liu, Yifeng Ding, Lingming Zhang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

\mathcal XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts.

Yifeng Ding, Jiawei Liu, Yuxiang Wei, Lingming Zhang

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

Magicoder: Source Code Is All You Need.

Yuxiang Wei, Zhe Wang, Jiawei Liu, Yifeng Ding, Lingming Zhang

CoRR, 2023

White-box Compiler Fuzzing Empowered by Large Language Models.

Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang

CoRR, 2023

Universal Fuzzing via Large Language Models.

Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang

CoRR, 2023

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT.

Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang

CoRR, 2023

Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT.

Chunqiu Steven Xia, Lingming Zhang

CoRR, 2023

Revisiting the Plastic Surgery Hypothesis via Large Language Models.

Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang

CoRR, 2023

Conversational Automated Program Repair.

Chunqiu Steven Xia, Lingming Zhang

CoRR, 2023

A Large-Scale Empirical Review of Patch Correctness Checking Approaches.

Jun Yang, Yuehan Wang, Yiling Lou, Ming Wen, Lingming Zhang

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

NeuRI: Diversifying DNN Generation via Inductive Rule Inference.

Jiawei Liu, Jinjun Peng, Yuyao Wang, Lingming Zhang

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

Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair.

Yuxiang Wei, Chunqiu Steven Xia, Lingming Zhang

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

Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation.

Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, Lingming Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

The Plastic Surgery Hypothesis in the Era of Large Language Models.

Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang

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

Vectorizing Program Ingredients for Better JVM Testing.

Tianchang Gao, Junjie Chen, Yingquan Zhao, Yuqun Zhang, Lingming Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models.

Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Fuzzing Automatic Differentiation in Deep-Learning Libraries.

Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang

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

Automated Program Repair in the Era of Large Pre-trained Language Models.

Chunqiu Steven Xia, Yuxiang Wei, Lingming Zhang

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

Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests.

Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang

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

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers.

Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang

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

MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems.

Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen, Mingze Xu, Yuqun Zhang, Lingming Zhang

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

Evaluating and Improving Hybrid Fuzzing.

Ling Jiang, Hengchen Yuan, Mingyuan Wu, Lingming Zhang, Yuqun Zhang

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

NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers.

Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Evaluating and Improving Unified Debugging.

Samuel Benton, Xia Li, Yiling Lou, Lingming Zhang

IEEE Trans. Software Eng., 2022

Coverage-guided tensor compiler fuzzing with joint IR-pass mutation.

Jiawei Liu, Yuxiang Wei, Sen Yang, Yinlin Deng, Lingming Zhang

Proc. ACM Program. Lang., 2022

Fuzzing Deep-Learning Libraries via Large Language Models.

Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang

CoRR, 2022

Practical Program Repair in the Era of Large Pre-trained Language Models.

Chunqiu Steven Xia, Yuxiang Wei, Lingming Zhang

CoRR, 2022

Finding Deep-Learning Compilation Bugs with NNSmith.

Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang

CoRR, 2022

Attention: Not Just Another Dataset for Patch-Correctness Checking.

Yuehan Wang, Jun Yang, Yiling Lou, Ming Wen, Lingming Zhang

CoRR, 2022

Less training, more repairing please: revisiting automated program repair via zero-shot learning.

Chunqiu Steven Xia, Lingming Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Fuzzing deep-learning libraries via automated relational API inference.

Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Learning to Construct Better Mutation Faults.

Zhao Tian, Junjie Chen, Qihao Zhu, Junjie Yang, Lingming Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

An extensive study on pre-trained models for program understanding and generation.

Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, Lingming Zhang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Message from the Program Co-Chairs: ISSRE 2022.

Fabrizio Pastore, Lingming Zhang

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

History-Driven Test Program Synthesis for JVM Testing.

Yingquan Zhao, Zan Wang, Junjie Chen, Mengdi Liu, Mingyuan Wu, Yuqun Zhang, Lingming Zhang

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

Evaluating and Improving Neural Program-Smoothing-based Fuzzing.

Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yuqun Zhang, Guowei Yang, Huixin Ma, Sen Nie, Shi Wu, Heming Cui, Lingming Zhang

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

One Fuzzing Strategy to Rule Them All.

Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yanwei Huang, Heming Cui, Lingming Zhang, Yuqun Zhang

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

Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source.

Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang

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

Towards Boosting Patch Execution On-the-Fly.

Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang

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

2021

An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank.

Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid

IEEE Trans. Software Eng., 2021

How Does Regression Test Selection Affect Program Repair? An Extensive Study on 2 Million Patches.

Yiling Lou, Samuel Benton, Dan Hao, Lu Zhang, Lingming Zhang

CoRR, 2021

Self-Boosted Automated Program Repair.

Samuel Benton, Mengshi Zhang, Xia Li, Lingming Zhang

CoRR, 2021

Boosting coverage-based fault localization via graph-based representation learning.

Yiling Lou, Qihao Zhu, Jinhao Dong, Xia Li, Zeyu Sun, Dan Hao, Lu Zhang, Lingming Zhang

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

Deep just-in-time defect prediction: how far are we?

Zhengran Zeng, Yuqun Zhang, Haotian Zhang, Lingming Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Test-case prioritization for configuration testing.

Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

A Large-scale Study on API Misuses in the Wild.

Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang

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

Fast and Precise On-the-fly Patch Validation for All.

Lingchao Chen, Yicheng Ouyang, Lingming Zhang

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

2020

Practical Accuracy Estimation for Efficient Deep Neural Network Testing.

Junjie Chen, Zhuo Wu, Zan Wang, Hanmo You, Lingming Zhang, Ming Yan

ACM Trans. Softw. Eng. Methodol., 2020

Fast and Precise On-the-fly Patch Validation for All.

Lingchao Chen, Lingming Zhang

CoRR, 2020

Enhanced Compiler Bug Isolation via Memoized Search.

Junjie Chen, Haoyang Ma, Lingming Zhang

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

On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems.

Samuel Benton, Xia Li, Yiling Lou, Lingming Zhang

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

Empirically revisiting and enhancing IR-based test-case prioritization.

Qianyang Peng, August Shi, Lingming Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Can automated program repair refine fault localization? a unified debugging approach.

Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, Lu Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

DeepBillboard: systematic physical-world testing of autonomous driving systems.

Husheng Zhou, Wei Li, Zelun Kong, Junfeng Guo, Yuqun Zhang, Bei Yu, Lingming Zhang, Cong Liu

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

Simulee: detecting CUDA synchronization bugs via memory-access modeling.

Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang, Cong Liu, Yuqun Zhang

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

Taming behavioral backward incompatibilities via cross-project testing and analysis.

Lingchao Chen, Foyzul Hassan, Xiaoyin Wang, Lingming Zhang

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

2019

How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects.

Qi Luo, Kevin Moran, Lingming Zhang, Denys Poshyvanyk

IEEE Trans. Software Eng., 2019

Predictive Mutation Testing.

Jie Zhang, Lingming Zhang, Mark Harman, Dan Hao, Yue Jia, Lu Zhang

IEEE Trans. Software Eng., 2019

A General Analysis Framework for Soft Real-Time Tasks.

Zheng Dong, Cong Liu, Soroush Bateni, Zelun Kong, Liang He, Lingming Zhang, Ravi Prakash, Yuqun Zhang

IEEE Trans. Parallel Distributed Syst., 2019

Reflection-aware static regression test selection.

August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen

Proc. ACM Program. Lang., 2019

Can Automated Program Repair Refine Fault Localization?

Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Dan Hao, Lu Zhang

CoRR, 2019

Mutation Testing for Ethereum Smart Contract.

Haoran Wu, Xingya Wang, Jiehui Xu, Weiqin Zou, Lingming Zhang, Zhenyu Chen

CoRR, 2019

Characterizing and Detecting CUDA Program Bugs.

Mingyuan Wu, Husheng Zhou, Lingming Zhang, Cong Liu, Yuqun Zhang

CoRR, 2019

Chapter One - A Survey on Regression Test-Case Prioritization.

Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao

Adv. Comput., 2019

Compiler bug isolation via effective witness test program generation.

Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, Lu Zhang

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

Automating CUDA Synchronization via Program Transformation.

Mingyuan Wu, Lingming Zhang, Cong Liu, Shin Hwei Tan, Yuqun Zhang

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

MuSC: A Tool for Mutation Testing of Ethereum Smart Contract.

Zixin Li, Haoran Wu, Jiehui Xu, Xingya Wang, Lingming Zhang, Zhenyu Chen

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

Inferring Program Transformations From Singular Examples via Big Code.

Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang

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

PraPR: Practical Program Repair via Bytecode Mutation.

Ali Ghanbari, Lingming Zhang

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

History-driven build failure fixing: how far are we?

Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang

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

DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization.

Xia Li, Wei Li, Yuqun Zhang, Lingming Zhang

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

Practical program repair via bytecode mutation.

Ali Ghanbari, Samuel Benton, Lingming Zhang

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

TestSage: Regression Test Selection for Large-Scale Web Service Testing.

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An Empirical Comparison of Mutant Selection Assessment Metrics.

Jie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman

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

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?

Jie M. Zhang, Lingming Zhang, Dan Hao, Meng Wang, Lu Zhang

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An Extensive Study on Cross-Project Predictive Mutation Testing.

Dongyu Mao, Lingchao Chen, Lingming Zhang

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Defexts: a curated dataset of reproducible real-world bugs for modern JVM languages.

Samuel Benton, Ali Ghanbari, Lingming Zhang

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

The impacts of techniques, programs and tests on automated program repair: An empirical study.

Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li

J. Syst. Softw., 2018

DeepBillboard: Systematic Physical-World Testing of Autonomous Driving Systems.

Husheng Zhou, Wei Li, Yuankun Zhu, Yuqun Zhang, Bei Yu, Lingming Zhang, Cong Liu

CoRR, 2018

Practical Program Repair via Bytecode Mutation.

Ali Ghanbari, Lingming Zhang

CoRR, 2018

DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing.

Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

CoRR, 2018

Optimizing test prioritization via test distribution analysis.

Junjie Chen, Yiling Lou, Lingming Zhang, Jianyi Zhou, Xiaoleng Wang, Dan Hao, Lu Zhang

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

DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems.

Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

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

To Detect Abnormal Program Behaviours via Mutation Deduction.

Jie Zhang, Dan Hao, Lingming Zhang, Lu Zhang

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

Speeding up Mutation Testing via Regression Test Selection: An Extensive Study.

Lingchao Chen, Lingming Zhang

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Hybrid regression test selection.

Lingming Zhang

Proceedings of the 40th International Conference on Software Engineering, 2018

An extensible, regular-expression-based tool for multi-language mutant generation.

Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Learning to Accelerate Symbolic Execution via Code Transformation.

Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Transforming programs and tests in tandem for fault localization.

Xia Li, Lingming Zhang

Proc. ACM Program. Lang., 2017

How does execution information help with information-retrieval based bug localization?

Tung Dao, Lingming Zhang, Na Meng

Proceedings of the 25th International Conference on Program Comprehension, 2017

Boosting spectrum-based fault localization using PageRank.

Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

How Do Assertions Impact Coverage-Based Test-Suite Reduction?

Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie

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

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.

Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang

Proceedings of the Programming Languages and Systems, 2017

An energy-efficient offloading framework with predictable temporal correctness.

Zheng Dong, Yuchuan Liu, Husheng Zhou, Xusheng Xiao, Yu Gu, Lingming Zhang, Cong Liu

Proceedings of the Second ACM/IEEE Symposium on Edge Computing, San Jose / Silicon Valley, 2017

2016

Combinatorial generation of structurally complex test inputs for commercial software applications.

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Isomorphic regression testing: executing uncovered branches without test augmentation.

Jie Zhang, Yiling Lou, Lingming Zhang, Dan Hao, Lu Zhang, Hong Mei

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

An extensive study of static regression test selection in modern software evolution.

Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests.

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Supporting oracle construction via static analysis.

Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, Hong Mei

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Predictive mutation testing.

Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

How does regression test prioritization perform in real-world software evolution?

Yafeng Lu, Yiling Lou, Shiyang Cheng, Lingming Zhang, Dan Hao, Yangfan Zhou, Lu Zhang

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks.

Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang, Hong Mei

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE.

Xiaoyin Wang, Lingming Zhang, Philip Tanofsky

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Experience report: How do techniques, programs, and tests impact automated program repair?

Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Studying the influence of standard compiler optimizations on symbolic execution.

Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes.

Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry

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

2014

A Unified Test Case Prioritization Approach.

Dan Hao, Lingming Zhang, Lu Zhang, Gregg Rothermel, Hong Mei

ACM Trans. Softw. Eng. Methodol., 2014

Feedback-driven dynamic invariant discovery.

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

FaultTracer: a spectrum-based approach to localizing failure-inducing program edits.

Lingming Zhang, Miryung Kim, Sarfraz Khurshid

J. Softw. Evol. Process., 2013

Injecting mechanical faults to localize developer faults for evolving software.

Lingming Zhang, Lu Zhang, Sarfraz Khurshid

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Operator-based and random mutant selection: Better together.

Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Faster mutation testing inspired by test prioritization and reduction.

Lingming Zhang, Darko Marinov, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Selective mutation testing for concurrent code.

Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Bridging the gap between the total and additional test-case prioritization strategies.

Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, Hong Mei

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A Static Approach to Prioritizing JUnit Test Cases.

Hong Mei, Dan Hao, Lingming Zhang, Lu Zhang, Ji Zhou, Gregg Rothermel

IEEE Trans. Software Eng., 2012

FaultTracer: a change impact and regression fault analysis tool for evolving Java programs.

Lingming Zhang, Miryung Kim, Sarfraz Khurshid

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Regression mutation testing.

Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

TestEra: A tool for testing Java programs using alloy specifications.

Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

An Empirical Study of JUnit Test-Suite Reduction.

Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Localizing failure-inducing program edits based on spectrum information.

Lingming Zhang, Miryung Kim, Sarfraz Khurshid

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010

Test generation via Dynamic Symbolic Execution for mutation testing.

Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009

Jtop: Managing JUnit Test Cases in Absence of Coverage Information.

Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei

Proceedings of the ASE 2009, 2009

Prioritizing JUnit test cases in absence of coverage information.

Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

VIDA: Visual interactive debugging.

Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun, Hong Mei

Proceedings of the 31st International Conference on Software Engineering, 2009