Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
Automated concurrency-bug fixing
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.
Comparing Four Static Analysis Tools for Java Concurrency Bugs
Symbolic execution and program testing
Efficient Testing of Recovery Code Using Fault Injection
Grail: context-aware fixing of concurrency bugs
A framework for automatic debugging
Bugs as deviant behavior: a general approach to inferring errors in systems code
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
A static analyzer for finding dynamic programming errors
Exploiting Trade-off s in Symbolic Execution for Identifying Security Bugs
A deeper look into bug fixes: patterns, replacements, deletions, and additions
A Comparative Study of Software Bugs in Clone and Non-Clone Code
Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing
Current challenges in automatic software repair
EvilCoder: automated bug insertion
Bandera: a source-level interface for model checking Java programs
Symbolic PathFinder: symbolic execution of Java bytecode
The influence of drug-like concepts on decision-making in medicinal chemistry
Compilers: Principles, Techniques, and Tools
Learning invariant feature hierarchies
Traffic jams without bottlenecks—experimental evidence for the physical mechanism of the formation of a jam
350 mV, 5 GHz Class-D Enhanced Swing Differential and Quadrature VCOs in 65 nm CMOS