• Publications
  • Influence
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
TLDR
Defects4J, a database and extensible framework providing real bugs to enable reproducible studies in software testing research, and provides a high-level interface to common tasks in softwareTesting research, making it easy to con- duct and reproduce empirical studies. Expand
The Daikon system for dynamic detection of likely invariants
Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certainExpand
Feedback-Directed Random Test Generation
TLDR
Experimental results indicate that feedback-directed random test generation can outperform systematic and undirectedrandom test generation, in terms of coverage and error detection. Expand
Dynamically discovering likely program invariants to support program evolution
TLDR
This paper describes techniques for dynamically discovering invariants, along with an instrumenter and an inference engine that embody these techniques, and reports on the application of the engine to two sets of target programs. Expand
HaLoop: Efficient Iterative Data Processing on Large Clusters
TLDR
HaLoop is presented, a modified version of the Hadoop MapReduce framework that is designed to serve iterative applications and dramatically improves their efficiency by making the task scheduler loop-aware and by adding various caching mechanisms. Expand
Randoop: feedback-directed random testing for Java
TLDR
R<scp>ANDOOP</scp>, which generates unit tests for Java code using feedback-directed random test generation, and RANDOOP, which is an annotation-based interface for specifying configuration parameters that affect R <scp><scp></scp>)'s behavior and output. Expand
An overview of JML tools and applications
TLDR
An overview of the main ideas behind JML, the dierent groups collaborating to provide tools for J ML, and the existing applications of JML is given. Expand
An overview of JML tools and applications
TLDR
An overview of the main ideas behind JML, details about JML’s wide range of tools, and a glimpse into existing applications of JML are given. Expand
Automatically patching errors in deployed software
TLDR
Aspects of ClearView that make it particularly appropriate for this context include its ability to generate patches without human intervention, apply and remove patchesto and from running applications without requiring restarts or otherwise perturbing the execution, and identify and discard ineffective or damaging patches by evaluating the continued behavior of patched applications. Expand
Proactive detection of collaboration conflicts
TLDR
The design of Crystal is described, a publicly-available tool that uses speculative analysis to make concrete advice unobtrusively available to developers, helping them identify, manage, and prevent conflicts. Expand
...
1
2
3
4
5
...