| 2006 | The case for analysis preserving language transformation. | Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng |
| 2006 | Testing, abstraction, theorem proving: better together! | Greta Yorsh, Thomas Ball, Mooly Sagiv |
| 2006 | State-based testing of integration aspects. | Weifeng Xu, Dianxiang Xu |
| 2006 | Towards supporting the architecture design process through evaluation of design alternatives. | Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, Andr van der Hoek, Debra J. Richardson |
| 2006 | A regression tests selection technique for aspect-oriented programs. | Guoqing Xu |
| 2006 | A state-of-practice questionnaire on verification and validation for concurrent programs. | Margaret A. Wojcicki, Paul A. Strooper |
| 2006 | Architecture-based testing using goals and plans. | Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson |
| 2006 | Coverage metrics for requirements-based testing. | Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
| 2006 | Verification support for plug-and-play architectural design. | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
| 2006 | TimeAware test suite prioritization. | Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos |
| 2006 | A model and sensitivity analysis of the quality economics of defect-detection techniques. | Stefan Wagner |
| 2006 | Improving distributed memory applications testing by message perturbation. | Richard W. Vuduc, Martin Schulz, Daniel J. Quinlan, Bronis R. de Supinski, Andreas Sbjrnsen |
| 2006 | Test input generation for java containers using state matching. | Willem Visser, Corina S. Pasareanu, Radek Pelnek |
| 2006 | Application of automated environment generation to commercial software. | Oksana Tkachuk, Sreeranga P. Rajan |
| 2006 | A case study of automatically creating test suites from web application field data. | Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lori L. Pollock |
| 2006 | Model-based functional conformance testing of web services operating on persistent data. | Avik Sinha, Amit M. Paradkar |
| 2006 | Using model checking with symbolic execution to verify parallel numerical programs. | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
| 2006 | Automated testing of stochastic systems: a statistically grounded approach. | Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek |
| 2006 | Integrating customized test requirements with traditional requirements in web application testing. | Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori L. Pollock |
| 2006 | Experimental program analysis: a new program analysis paradigm. | Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel |
| 2006 | Performance implications of design pattern usage in distributed applications: case studies in J2EE and .NET. | Jakub Rudzki, Tarja Syst |
| 2006 | Application of built-in-testing in component-based embedded systems. | Irena Pavlova, Mikael kerholm, Johan Fredriksson |
| 2006 | Random testing of formal software models and induced coverage. | David Owen, Dejan Desovski, Bojan Cukic |
| 2006 | An empirical study of the robustness of MacOS applications using random testing. | Barton P. Miller, Gregory Cooksey, Fredrick Moore |
| 2006 | The species per path approach to SearchBased test data generation. | Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella |