| 2006 | A model and sensitivity analysis of the quality economics of defect-detection techniques. Stefan Wagner |
| 2006 | Application of automated environment generation to commercial software. Oksana Tkachuk, Sreeranga P. Rajan |
| 2006 | Automated testing of stochastic systems: a statistically grounded approach. Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek |
| 2006 | Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
| 2006 | Coverage metrics for requirements-based testing. Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
| 2006 | DSD-Crasher: a hybrid analysis tool for bug finding. Christoph Csallner, Yannis Smaragdakis |
| 2006 | Dynamic inference of abstract types. Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
| 2006 | Effective typestate verification in the presence of aliasing. Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2006 | Experimental program analysis: a new program analysis paradigm. Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel |
| 2006 | From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia |
| 2006 | Inference and enforcement of data structure consistency specifications. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
| 2006 | Looking for bugs in all the right places. Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker |
| 2006 | Modular verification of code with SAT. Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson |
| 2006 | Performance assertions for mobile devices. Raimondas Lencevicius, Edu Metz |
| 2006 | Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 Lori L. Pollock, Mauro Pezzè |
| 2006 | Role-Based access control consistency validation. Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
| 2006 | Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen |
| 2006 | Subdomain testing of units and systems with state. Dick Hamlet |
| 2006 | Test input generation for java containers using state matching. Willem Visser, Corina S. Pasareanu, Radek Pelánek |
| 2006 | Testing, abstraction, theorem proving: better together! Greta Yorsh, Thomas Ball, Mooly Sagiv |
| 2006 | The case for analysis preserving language transformation. Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng |
| 2006 | The species per path approach to SearchBased test data generation. Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella |
| 2006 | TimeAware test suite prioritization. Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos |
| 2006 | Using model checking with symbolic execution to verify parallel numerical programs. Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |