| 2009 | Pattern-driven deadlock avoidance. | Fancong Zeng |
| 2009 | Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. | Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi |
| 2009 | SideTrack: generalizing dynamic atomicity analysis. | Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan |
| 2009 | Memory slicing. | Bin Xin, Xiangyu Zhang |
| 2009 | Forcing small models of conditions on program interleaving for detection of concurrent bugs. | Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi |
| 2009 | Cooperative crug isolation. | Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu |
| 2009 | Unit testing for multi-threaded Java programs. | Gabor Szeder |
| 2009 | Analyzing singularity channel contracts. | Zachary Stengel, Tevfik Bultan |
| 2009 | Fault localization and repair for Java runtime exceptions. | Saurabh Sinha, Hina Shah, Carsten Grg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold |
| 2009 | Efficient mutation testing by checking invariant violations. | David Schuler, Valentin Dallmeier, Andreas Zeller |
| 2009 | A runtime environment for online processing of operating system kernel events. | Michael Schbel, Andreas Polze |
| 2009 | Loop-extended symbolic execution on binary programs. | Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song |
| 2009 | Run-time conformance checking of mobile and distributed systems using executable models. | Ahmad A. Saifan, Ernesto Posse, Jrgen Dingel |
| 2009 | Detecting code clones in binary executables. | Andreas Sbjrnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su |
| 2009 | Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses. | Caitlin Sadowski, Jaeheon Yi |
| 2009 | Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. | Neha Rungta, Eric G. Mercer |
| 2009 | MulticoreSDK: a practical and efficient data race detector for real-world applications. | Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter |
| 2009 | A comparative study of programmer-written and automatically inferred contracts. | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer |
| 2009 | A formal analysis of requirements-based testing. | Charles Pecheur, Franco Raimondi, Guillaume Brat |
| 2009 | Using AOP for detailed runtime monitoring instrumentation. | Amjad Nusayr, Jonathan E. Cook |
| 2009 | A proposal of operation history management system for source-to-source optimization of HPC programs. | Yasushi Negishi, Hiroki Murata, Takao Moriyama |
| 2009 | The influence of size and coverage on test suite effectiveness. | Akbar Siami Namin, James H. Andrews |
| 2009 | Automatic system testing of programs without test oracles. | Christian Murphy, Kuang Shen, Gail E. Kaiser |
| 2009 | Test case filtering and prioritization based on coverage of combinations of program elements. | Wes Masri, Marwa El-Ghali |
| 2009 | Testing CPU emulators. | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |