| 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 | 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 |
| 2009 | Analyzing singularity channel contracts. Zachary Stengel, Tevfik Bultan |
| 2009 | Automatic mining of functionally equivalent code fragments via random testing. Lingxiao Jiang, Zhendong Su |
| 2009 | Automatic system testing of programs without test oracles. Christian Murphy, Kuang Shen, Gail E. Kaiser |
| 2009 | Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi |
| 2009 | Detecting code clones in binary executables. Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su |
| 2009 | Efficient mutation testing by checking invariant violations. David Schuler, Valentin Dallmeier, Andreas Zeller |
| 2009 | Exception analysis and points-to analysis: better together. Martin Bravenboer, Yannis Smaragdakis |
| 2009 | Fault localization and repair for Java runtime exceptions. Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold |
| 2009 | HAMPI: a solver for string constraints. Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2009 | Identifying bug signatures using discriminative graph mining. Hong Cheng, David Lo, Yang Zhou, Xiaoyin Wang, Xifeng Yan |
| 2009 | Identifying semantic differences in AspectJ programs. Martin Th Görg, Jianjun Zhao |
| 2009 | Incremental covering array failure characterization in large configuration spaces. Sandro Fouché, Myra B. Cohen, Adam A. Porter |
| 2009 | Loop-extended symbolic execution on binary programs. Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song |
| 2009 | Memory slicing. Bin Xin, Xiangyu Zhang |
| 2009 | Penumbra: automatically identifying failure-relevant inputs using dynamic tainting. James A. Clause, Alessandro Orso |
| 2009 | Precise interface identification to improve testing and analysis of web applications. William G. J. Halfond, Saswat Anand, Alessandro Orso |
| 2009 | Precise pointer reasoning for dynamic test generation. Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
| 2009 | Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009 Gregg Rothermel, Laura K. Dillon |
| 2009 | Specifying the worst case: orthogonal modeling of hardware errors. Jewgenij Botaschanjan, Benjamin Hummel |
| 2009 | Testing CPU emulators. Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2009 | The influence of size and coverage on test suite effectiveness. Akbar Siami Namin, James H. Andrews |
| 2009 | Time-aware test-case prioritization using integer linear programming. Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei |