A survey of compiler testing
Virtually any software running on a computer has been processed by a compiler or a
compiler-like tool. Because compilers are such a crucial piece of infrastructure for building …
compiler-like tool. Because compilers are such a crucial piece of infrastructure for building …
Compiler error messages considered unhelpful: The landscape of text-based programming error message research
Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …
messages have been researched for over half of a century. Unfortunately, these messages …
Automatic software repair: A survey
Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …
instance, recent studies showed that debugging activities often account for about 50% of the …
Regression testing minimization, selection and prioritization: a survey
Regression testing is a testing activity that is performed to provide confidence that changes
do not harm the existing behaviour of the software. Test suites tend to grow in size as …
do not harm the existing behaviour of the software. Test suites tend to grow in size as …
MODE: automated neural network model debugging via state differential analysis and input selection
Artificial intelligence models are becoming an integral part of modern computing systems.
Just like software inevitably has bugs, models have bugs too, leading to poor classification …
Just like software inevitably has bugs, models have bugs too, leading to poor classification …
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
C Le Goues, M Dewey-Vogt, S Forrest… - 2012 34th …, 2012 - ieeexplore.ieee.org
There are more bugs in real-world programs than human programmers can realistically
address. This paper evaluates two research questions:“What fraction of bugs can be …
address. This paper evaluates two research questions:“What fraction of bugs can be …
Genprog: A generic method for automatic software repair
This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …
legacy programs without formal specifications, program annotations, or special coding …
Automatically finding patches using genetic programming
Automatic program repair has been a longstanding goal in software engineering, yet
debugging remains a largely manual process. We introduce a fully automated method for …
debugging remains a largely manual process. We introduce a fully automated method for …
Simplifying and isolating failure-inducing input
A Zeller, R Hildebrandt - IEEE Transactions on software …, 2002 - ieeexplore.ieee.org
Given some test case, a program fails. Which circumstances of the test case are responsible
for the particular failure? The delta debugging algorithm generalizes and simplifies the …
for the particular failure? The delta debugging algorithm generalizes and simplifies the …
When do changes induce fixes?
J Śliwerski, T Zimmermann, A Zeller - ACM sigsoft software engineering …, 2005 - dl.acm.org
As a software system evolves, programmers make changes that sometimes cause problems.
We analyze CVS archives for fix-inducing changes---changes that lead to problems …
We analyze CVS archives for fix-inducing changes---changes that lead to problems …