| 2007 | Experience with fluid: analysis, design intent, and assurance for concurrency. | William L. Scherlis |
| 2007 | Heuristic ranking of java program edits for fault localization. | Xiaoxia Ren, Barbara G. Ryder |
| 2007 | Techniques for specifying bug patterns. | Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi |
| 2007 | Semantics driven dynamic partial-order reduction of MPI-based parallel programs. | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | Automating algorithms for the identification of fault-prone files. | Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell |
| 2007 | Statistical debugging using compound boolean predicates. | Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit |
| 2007 | Automating component-based system assembly. | Panagiotis Manolios, Daron Vroon, Gayatri Subramanian |
| 2007 | JThreadSpy: teaching multithreading programming by analyzing execution traces. | Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis |
| 2007 | Testing patterns for software transactional memory engines. | Joo Loureno, Gonalo Cunha |
| 2007 | Healing data races on-the-fly. | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Toms Vojnar |
| 2007 | Using portfolio theory for better and more consistent quality. | Ken Koster |
| 2007 | Organizing processes and threads for debugging. | Barry Kingsbury |
| 2007 | Debugging in Parallel. | James A. Jones, Mary Jean Harrold, James F. Bowring |
| 2007 | Interface grammars for modular software model checking. | Graham Hughes, Tevfik Bultan |
| 2007 | A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. | Mark Harman, Phil McMinn |
| 2007 | Under-constrained execution: making automatic code destruction easy and scalable. | Dawson R. Engler, Daniel Dunbar |
| 2007 | Dynamic test input generation for database applications. | Michael Emmi, Rupak Majumdar, Koushik Sen |
| 2007 | Blended analysis for performance understanding of framework-based applications. | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
| 2007 | Delta execution for efficient state-space exploration of object-oriented programs. | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
| 2007 | Interaction testing of highly-configurable systems in the presence of constraints. | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
| 2007 | Dytan: a generic dynamic taint analysis framework. | James A. Clause, Wanchun Li, Alessandro Orso |
| 2007 | Experimental assessment of random testing for object-oriented software. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2007 | Finding what's not there: a new approach to revealing neglected conditions in software. | Ray-Yaung Chang, Andy Podgurski, Jiong Yang |
| 2007 | A debugger for flow graph based parallel applications. | Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli |
| 2006 | Towards regression test selection for AspectJ programs. | Jianjun Zhao, Tao Xie, Nan Li |