| 2003 | 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA |
| 2003 | A Bayesian Belief Network for Assessing the Likelihood of Fault Content. Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno |
| 2003 | A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases. David Leon, Andy Podgurski |
| 2003 | A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. Lionel C. Briand, Yvan Labiche, Yihong Wang |
| 2003 | A Framework for Tamper Detection Marking of Mobile Applications. Mike Jochen, Lisa M. Marvel, Lori L. Pollock |
| 2003 | A New Software Testing Approach Based on Domain Analysis of Specifications and Programs. Ruilian Zhao, Michael R. Lyu, Yinghua Min |
| 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 | An Exploratory Study of Component Reliability Using Unit Testing. Richard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson |
| 2003 | An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling. Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi |
| 2003 | Anomalies as Precursors of Field Failures. Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews |
| 2003 | Assessing Uncertainty in Reliability of Component-Based Software Systems. Katerina Goseva-Popstojanova, Sunil Kamavaram |
| 2003 | Augmenting Simulated Annealing to Build Interaction Test Suites. Myra B. Cohen, Charles J. Colbourn, Alan C. H. Ling |
| 2003 | Automating the Analysis of Voting Systems. Sherif M. Yacoub, Xiaofan Lin, Steven J. Simske, John Burns |
| 2003 | Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project. Jane Huffman Hayes |
| 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 | Coverage Criteria for Logical Expressions. Paul Ammann, A. Jefferson Offutt, Hong Huang |
| 2003 | DARX - A Framework For The Fault-Tolerant Support Of Agent Software. Olivier Marin, Marin Bertier, Pierre Sens |
| 2003 | Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. Per Runeson, Anneliese Amschler Andrews |
| 2003 | Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems. Dorron Levy, Ram Chillarege |
| 2003 | Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. Avik Sinha, Carol S. Smidts, Andrew Moran |
| 2003 | Exploiting Symmetries to Test Programs. Arnaud Gotlieb |
| 2003 | Fault Correction Profiles. Norman F. Schneidewind |
| 2003 | Forensic Analysis for Tamper Resistant Software. Hongxia Jin, Jeffery Lotspiech |
| 2003 | High-Assurance Synthesis of Security Services from Basic Microservices. Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
| 2003 | Incremental Dynamic Impact Analysis for Evolving Software Systems. James Law, Gregg Rothermel |
| 2003 | Integrating Software into PRA. Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts |
| 2003 | Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol |
| 2003 | Maximizing Interval Reliability in Operational Software System with Rejuvenation. Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi |
| 2003 | New Quality Estimations in Random Testing. Stefan Mankefors, Richard Torkar, Andreas Boklund |
| 2003 | Non-Intrusive Debug Technique for Embedded Programming. Linda J. Moore, Angelica R. Moya |
| 2003 | Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? Saurabh Bagchi, Henrique Madeira |
| 2003 | Optimal Resource Allocation for the Quality Control Process. Pankaj Jalote, Bijendra Vishal |
| 2003 | Reducing wasted development time via continuous testing. David Saff, Michael D. Ernst |
| 2003 | Requirements by Contracts allow Automated System Testing. Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel |
| 2003 | Shared Semantic Domains for Computational Reliability Engineering. David Coppit, Robert R. Painter, Kevin J. Sullivan |
| 2003 | Static Specification Analysis for Termination of Specification-Based Data Structure Repair. Brian Demsky, Martin C. Rinard |
| 2003 | Test Adequacy Assessment for UML Design Model Testing. Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
| 2003 | Test-Driven Development as a Defect-Reduction Practice. Laurie A. Williams, E. Michael Maximilien, Mladen A. Vouk |
| 2003 | Thoroughness of Specification-Based Testing of Synchronous Programs. Ioannis Parissis, Jérôme Vassy |
| 2003 | User-Oriented Reliability Modeling for a Web System. Wen-Li Wang, Mei-Huei Tang |
| 2003 | Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. Peter G. Bishop, Robin E. Bloomfield |
| 2003 | When Does It Pay to Make Software More Reliable?. Ed Stoker, Joanne Bechta Dugan |