Brett Daniel

Brett passed away on December 5, 2010

Me at ICSE '07 in Minneapolis, Minnesota

Department of Computer Science
University of Illinois at Urbana-Champaign
201 North Goodwin Ave.
Urbana, IL 61801-2302 (map)
Office: 3217 Siebel Center
Email: bdaniel3 at this domain

Phone: 217-333-9051
Advisor: Darko Marinov
Personal Website: BrettDaniel.com

I believe computer science is a toolmaking profession. I am interested in the tools that aid the toolmakers: those programs that make software development easier, faster, and more reliable. In particular, my work focuses on software testing and automated software development tools with strong emphasis on code generation, program transformation, and program analysis.

Publications

On Test Repair Using Symbolic Execution (Homepage, BibTex)
Brett Daniel, Tihomir Gvero, Darko Marinov.
In ISSTA 2010: 2010 International Symposium on Software Testing and Analysis
Trento, Italy. July, 2010
ReAssert: Suggesting Repairs for Broken Unit Tests (Homepage, BibTex)
Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov.
In ASE 2009: 24th IEEE/ACM International Conference on Automated Software Engineering
Auckland, New Zealand. November, 2009
Reducing the Costs of Bounded-Exhaustive Testing (Homepage, BibTex)
Vilas Jagannath, Yun Young Lee, Brett Daniel, and Darko Marinov.
In FASE 2009: Fundamental Approaches to Software Engineering
York, UK. March 2009
Predicting Effectiveness of Automatic Testing Tools (Homepage, BibTex)
Brett Daniel and Marat Boshernitsan
In ASE 2008: 23rd IEEE/ACM International Conference on Automated Software Engineering
L'Aquila, Italy. September, 2008
Automated Testing of Refactoring Engines (Homepage, BibTex)
Brett Daniel, Danny Dig, Kely Garcia, and Darko Marinov
In ESEC/FSE 2007: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Dubrovnik, Croatia. September, 2007

Talks

University of Texas at Austin. May 20, 2010
ReAssert: Suggesting Repairs for Broken Unit Tests (Conference Slides)

Teaching

CS 527: Topics in Software Engineering
Guest lecture. August 26, 2010
ReAssert: Suggesting Repairs for Broken Unit Tests (Extended Slides)
CS 498DM: Software Testing
Guest lecture. March 11, 2008
Generating Programs with Grammars and ASTGen

Students

Johnston Jiaa – Research experience for undergrads (Spring 2010, Fall 2010)
Sang Baik – Senior thesis (Fall 2009, Spring 2010)
Shin Hwei Tan – Senior thesis (Fall 2009, Spring 2010)

Service

2010 Graduate Student Admissions Board
Secondary peer reviewer – ASE 2008, ASE 2009, FSE 2008, ICST 2009, ISSRE 2008, ISSRE 2009, ISSTA 2009, PLDI 2008, PLDI 2009

Open Source Software

ReAssert: A tool that automatically suggests repairs for broken unit tests.
Eclipse JUnit Music Box (source): An Eclipse plugin that makes Eclipse's JUnit runner play music.
explain (source): Unix/Linux utility that prints short documentation for a given command string, including the documentation for the arguments passed to the command.
SimpleSpoonLoader: A small class that provides a façade for loading, mirroring (i.e. creating reflective instances of), modifying, and (re)compiling classes at runtime using Spoon.
ASTGen: An imperative, iterative, composable, and generic test data generation framework used to create Java abstract syntax trees.
TestOrrery: A Java framework used to iteratively create test data in unit tests. It drastically reduces the time needed to write input-intensive tests.