Lingming Zhang

According to our database1, Lingming Zhang authored at least 79 papers between 2009 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Practical Accuracy Estimation for Efficient Deep Neural Network Testing.
ACM Trans. Softw. Eng. Methodol., 2020

TSGCNet: Discriminative Geometric Feature Learning with Two-Stream GraphConvolutional Network for 3D Dental Model Segmentation.
CoRR, 2020

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

Enhanced Compiler Bug Isolation via Memoized Search.
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.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Empirically revisiting and enhancing IR-based test-case prioritization.
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.
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.
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.
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.
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.
IEEE Trans. Software Eng., 2019

Predictive Mutation Testing.
IEEE Trans. Software Eng., 2019

A General Analysis Framework for Soft Real-Time Tasks.
IEEE Trans. Parallel Distributed Syst., 2019

Reflection-aware static regression test selection.
Proc. ACM Program. Lang., 2019

Can Automated Program Repair Refine Fault Localization?
CoRR, 2019

Mutation Testing for Ethereum Smart Contract.
CoRR, 2019

Characterizing and Detecting CUDA Program Bugs.
CoRR, 2019

Chapter One - A Survey on Regression Test-Case Prioritization.
Adv. Comput., 2019

Compiler bug isolation via effective witness test program generation.
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.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

MuSC: A Tool for Mutation Testing of Ethereum Smart Contract.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Inferring Program Transformations From Singular Examples via Big Code.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

PraPR: Practical Program Repair via Bytecode Mutation.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

History-driven build failure fixing: how far are we?
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Practical program repair via bytecode mutation.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

TestSage: Regression Test Selection for Large-Scale Web Service Testing.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An Empirical Comparison of Mutant Selection Assessment Metrics.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

An Extensive Study on Cross-Project Predictive Mutation Testing.
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.
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.
J. Syst. Softw., 2018

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

Practical Program Repair via Bytecode Mutation.
CoRR, 2018

DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing.
CoRR, 2018

Optimizing test prioritization via test distribution analysis.
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.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

To Detect Abnormal Program Behaviours via Mutation Deduction.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Speeding up Mutation Testing via Regression Test Selection: An Extensive Study.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Hybrid regression test selection.
Proceedings of the 40th International Conference on Software Engineering, 2018

An extensible, regular-expression-based tool for multi-language mutant generation.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Learning to Accelerate Symbolic Execution via Code Transformation.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
Transforming programs and tests in tandem for fault localization.
Proc. ACM Program. Lang., 2017

How does execution information help with information-retrieval based bug localization?
Proceedings of the 25th International Conference on Program Comprehension, 2017

Boosting spectrum-based fault localization using PageRank.
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?
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.
Proceedings of the Programming Languages and Systems, 2017

An energy-efficient offloading framework with predictable temporal correctness.
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.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Isomorphic regression testing: executing uncovered branches without test augmentation.
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.
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.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Supporting oracle construction via static analysis.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Predictive mutation testing.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

How does regression test prioritization perform in real-world software evolution?
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks.
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.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Experience report: How do techniques, programs, and tests impact automated program repair?
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Studying the influence of standard compiler optimizations on symbolic execution.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
A Unified Test Case Prioritization Approach.
ACM Trans. Softw. Eng. Methodol., 2014

Feedback-driven dynamic invariant discovery.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
FaultTracer: a spectrum-based approach to localizing failure-inducing program edits.
J. Softw. Evol. Process., 2013

Injecting mechanical faults to localize developer faults for evolving software.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Operator-based and random mutant selection: Better together.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Faster mutation testing inspired by test prioritization and reduction.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Selective mutation testing for concurrent code.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Bridging the gap between the total and additional test-case prioritization strategies.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
A Static Approach to Prioritizing JUnit Test Cases.
IEEE Trans. Software Eng., 2012

FaultTracer: a change impact and regression fault analysis tool for evolving Java programs.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Regression mutation testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011
TestEra: A tool for testing Java programs using alloy specifications.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

An Empirical Study of JUnit Test-Suite Reduction.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Localizing failure-inducing program edits based on spectrum information.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010
Test generation via Dynamic Symbolic Execution for mutation testing.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009
Jtop: Managing JUnit Test Cases in Absence of Coverage Information.
Proceedings of the ASE 2009, 2009

Prioritizing JUnit test cases in absence of coverage information.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

VIDA: Visual interactive debugging.
Proceedings of the 31st International Conference on Software Engineering, 2009


  Loading...