| 2009 | Limits of parallelism using dynamic dependency graphs. | Jonathan Chee Heng Mak, Alan Mycroft |
| 2009 | Understanding the behavior of transactional memory applications. | Joo Loureno, Ricardo J. Dias, Joo Lus, Miguel Rebelo, Vasco Pessanha |
| 2009 | HAMPI: a solver for string constraints. | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2009 | Automatic mining of functionally equivalent code fragments via random testing. | Lingxiao Jiang, Zhendong Su |
| 2009 | Precise interface identification to improve testing and analysis of web applications. | William G. J. Halfond, Saswat Anand, Alessandro Orso |
| 2009 | (Quickly) testing the tester via path coverage. | Alex Groce |
| 2009 | Identifying semantic differences in AspectJ programs. | Martin Th Grg, Jianjun Zhao |
| 2009 | Some resources for teaching concurrency. | Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni |
| 2009 | Incremental covering array failure characterization in large configuration spaces. | Sandro Fouch, Myra B. Cohen, Adam A. Porter |
| 2009 | An annotation assistant for interactive debugging of programs with common synchronization idioms. | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
| 2009 | Precise pointer reasoning for dynamic test generation. | Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
| 2009 | Penumbra: automatically identifying failure-relevant inputs using dynamic tainting. | James A. Clause, Alessandro Orso |
| 2009 | Identifying bug signatures using discriminative graph mining. | Hong Cheng, David Lo, Yang Zhou, Xiaoyin Wang, Xifeng Yan |
| 2009 | Exception analysis and points-to analysis: better together. | Martin Bravenboer, Yannis Smaragdakis |
| 2009 | Specifying the worst case: orthogonal modeling of hardware errors. | Jewgenij Botaschanjan, Benjamin Hummel |
| 2009 | AVA: automated interpretation of dynamically detected anomalies. | Anton Babenko, Leonardo Mariani, Fabrizio Pastore |
| 2009 | Advanced code coverage analysis using substring holes. | Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick |
| 2008 | Do bad smells indicate "trouble" in code? | Min Zhang, Tracy Hall, Nathan Baddoo, Paul Wernick |
| 2008 | Retrieving similar code fragments based on identifier similarity for defect detection. | Norihiro Yoshida, Takashi Ishio, Makoto Matsushita, Katsuro Inoue |
| 2008 | Effective and scalable software compatibility testing. | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
| 2008 | Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. | Guoqing Xu, Atanas Rountev |
| 2008 | Testing for buffer overflows with length abstraction. | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
| 2008 | SZZ revisited: verifying when changes induce fixes. | Chadd C. Williams, Jaime Spacco |
| 2008 | Comparing methods to identify defect reports in a change management database. | Elaine J. Weyuker, Thomas J. Ostrand |
| 2008 | Feature-level phase detection for execution trace using object cache. | Yui Watanabe, Takashi Ishio, Katsuro Inoue |