| 2003 | Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. | Avik Sinha, Carol S. Smidts, Andrew Moran |
| 2003 | Fault Correction Profiles. | Norman F. Schneidewind |
| 2003 | Reducing wasted development time via continuous testing. | David Saff, Michael D. Ernst |
| 2003 | Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. | Per Runeson, Anneliese Amschler Andrews |
| 2003 | Thoroughness of Specification-Based Testing of Synchronous Programs. | Ioannis Parissis, Jrme Vassy |
| 2003 | An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling. | Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi |
| 2003 | Requirements by Contracts allow Automated System Testing. | Clmentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jzquel |
| 2003 | Non-Intrusive Debug Technique for Embedded Programming. | Linda J. Moore, Angelica R. Moya |
| 2003 | Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. | Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra M. L. Cooper |
| 2003 | DARX - A Framework For The Fault-Tolerant Support Of Agent Software. | Olivier Marin, Marin Bertier, Pierre Sens |
| 2003 | New Quality Estimations in Random Testing. | Stefan Mankefors, Richard Torkar, Andreas Boklund |
| 2003 | A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications. | Brian A. Malloy, Peter J. Clarke, Errol L. Lloyd |
| 2003 | An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering. | Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai |
| 2003 | Integrating Software into PRA. | Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts |
| 2003 | Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems. | Dorron Levy, Ram Chillarege |
| 2003 | A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases. | David Leon, Andy Podgurski |
| 2003 | Incremental Dynamic Impact Analysis for Evolving Software Systems. | James Law, Gregg Rothermel |
| 2003 | High-Assurance Synthesis of Security Services from Basic Microservices. | Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
| 2003 | A Framework for Tamper Detection Marking of Mobile Applications. | Mike Jochen, Lisa M. Marvel, Lori L. Pollock |
| 2003 | Forensic Analysis for Tamper Resistant Software. | Hongxia Jin, Jeffery Lotspiech |
| 2003 | Optimal Resource Allocation for the Quality Control Process. | Pankaj Jalote, Bijendra Vishal |
| 2003 | Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project. | Jane Huffman Hayes |
| 2003 | Exploiting Symmetries to Test Programs. | Arnaud Gotlieb |
| 2003 | Assessing Uncertainty in Reliability of Component-Based Software Systems. | Katerina Goseva-Popstojanova, Sunil Kamavaram |
| 2003 | Test Adequacy Assessment for UML Design Model Testing. | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |