Statistical Debugging Using Compound Boolean Predicates
Arumuga Nainar, Chen, Rosin, and Liblit

Debugging in Parallel
Jones, Bowring, and Harrold

Instrumenting Where it Hurts - An Automatic Concurrent Debugging Technique
Tzoref, Ur, and Yom-Tov

Interface Grammars for Modular Software Model Checking
Hughes and Bultan

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
D'Amorim, Lauterburg, and Marinov

Automating Component-Based System Assembly
Manolios, Vroon, and Subramanian

A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation
Harman and McMinn

Experimental Assessment of Random Testing for Object-Oriented Software
Ciupa, Leitner, Oriol, and Meyer

Variably Interprocedural Program Analysis for Runtime Error Detection
Tomb, Brat, and Visser

Using Portfolio Theory for Better and More Consistent Quality
Koster

Blended Analysis for Performance Understanding of Framework-based Applications
Dufour, Ryder, and Sevitsky

Interaction Testing of Highly-configurable Systems in the Presence of Constraints
Cohen, Dwyer, and Shi

Pareto Efficient Multi-Objective Test Case Selection
Yoo and Harman

Dynamic Test Input Generation for Database Applications
Emmi, Majumdar, and Sen

Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software
Chang, Podgurski, and Yang

Static Specification Mining Using Automata-Based Abstractions
Shoham, Yahav, Fink, and Pistoia

Dytan: A Generic Dynamic Taint Analysis Framework
Clause, Li, and Orso

Hierarchical Dynamic Slicing
Wang and Roychoudhury

Enabling Tracing Of Long-Running Multithreaded Programs Via Dynamic Execution Reduction
Tallam, Tian, Zhang, and Gupta

Automating Algorithms for the Identification of Fault-Prone Files
Ostrand, Weyuker, and Bell

Efficient Online Detection of Dynamic Control Dependence
Xin and Zhang

Heuristic Ranking of Java Program Edits for Fault Localization
Ren and Ryder