Share This Author
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
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.
The Daikon system for dynamic detection of likely invariants
Feedback-Directed Random Test Generation
- Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, T. Ball
- Computer Science29th International Conference on Software…
- 24 May 2007
Experimental results indicate that feedback-directed random test generation can outperform systematic and undirectedrandom test generation, in terms of coverage and error detection.
Dynamically discovering likely program invariants to support program evolution
- Michael D. Ernst, J. Cockrell, W. Griswold, D. Notkin
- Computer ScienceProceedings of the International Conference on…
- 16 May 1999
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.
An overview of JML tools and applications
- L. Burdy, Yoonsik Cheon, E. Poll
- Computer ScienceInternational Journal on Software Tools for…
- 1 August 2003
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.
HaLoop: Efficient Iterative Data Processing on Large Clusters
- Yingyi Bu, Bill Howe, M. Balazinska, Michael D. Ernst
- Computer ScienceProc. VLDB Endow.
- 1 September 2010
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.
Randoop: feedback-directed random testing for Java
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.
Evaluating and Improving Fault Localization
- Spencer Pearson, José Campos, Benjamin Keller
- Geology, Computer ScienceIEEE/ACM 39th International Conference on…
- 1 May 2017
A design space is identified that includes many previously-studied fault localization techniques as well as hundreds of new techniques, and which factors in the design space are most important, using an overall set of 395 real faults.
Are mutants a valid substitute for real faults in software testing?
- René Just, D. Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, G. Fraser
- Computer ScienceSIGSOFT FSE
- 11 November 2014
This paper investigates whether mutants are indeed a valid substitute for real faults, i.e., whether a test suite’s ability to detect mutants is correlated with its able to detect real faults that developers have fixed, and shows a statistically significant correlation between mutant detection and real fault detection, independently of code coverage.
Automatic creation of SQL Injection and cross-site scripting attacks
- Adam Kiezun, Philip J. Guo, K. Jayaraman, Michael D. Ernst
- Computer ScienceIEEE 31st International Conference on Software…
- 16 May 2009
This work presents a technique for finding security vulnerabilities in Web applications by analyzing the input to the application to access or modify user data and execute malicious code.