| 2007 | A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. Mark Harman, Phil McMinn |
| 2007 | Automating algorithms for the identification of fault-prone files. Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell |
| 2007 | Automating component-based system assembly. Panagiotis Manolios, Daron Vroon, Gayatri Subramanian |
| 2007 | Blended analysis for performance understanding of framework-based applications. Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
| 2007 | Chasing rainbows: improving software testing in the real world. Tim Trew |
| 2007 | Debugging in Parallel. James A. Jones, Mary Jean Harrold, James F. Bowring |
| 2007 | Delta execution for efficient state-space exploration of object-oriented programs. Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
| 2007 | Dynamic test input generation for database applications. Michael Emmi, Rupak Majumdar, Koushik Sen |
| 2007 | Dytan: a generic dynamic taint analysis framework. James A. Clause, Wanchun Li, Alessandro Orso |
| 2007 | Efficient online detection of dynamic control dependence. Bin Xin, Xiangyu Zhang |
| 2007 | Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang |
| 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 | Heuristic ranking of java program edits for fault localization. Xiaoxia Ren, Barbara G. Ryder |
| 2007 | Hierarchical dynamic slicing. Tao Wang, Abhik Roychoudhury |
| 2007 | Instrumenting where it hurts: an automatic concurrent debugging technique. Rachel Tzoref, Shmuel Ur, Elad Yom-Tov |
| 2007 | Interaction testing of highly-configurable systems in the presence of constraints. Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
| 2007 | Interface grammars for modular software model checking. Graham Hughes, Tevfik Bultan |
| 2007 | Pareto efficient multi-objective test case selection. Shin Yoo, Mark Harman |
| 2007 | Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007 David S. Rosenblum, Sebastian G. Elbaum |
| 2007 | Static specification mining using automata-based abstractions. Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
| 2007 | Statistical debugging using compound boolean predicates. Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit |
| 2007 | Under-constrained execution: making automatic code destruction easy and scalable. Dawson R. Engler, Daniel Dunbar |
| 2007 | Using portfolio theory for better and more consistent quality. Ken Koster |
| 2007 | Variably interprocedural program analysis for runtime error detection. Aaron Tomb, Guillaume P. Brat, Willem Visser |