| 2003 | Anomalies as Precursors of Field Failures. | Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews |
| 2003 | Static Specification Analysis for Termination of Specification-Based Data Structure Repair. | Brian Demsky, Martin C. Rinard |
| 2003 | Shared Semantic Domains for Computational Reliability Engineering. | David Coppit, Robert R. Painter, Kevin J. Sullivan |
| 2003 | Augmenting Simulated Annealing to Build Interaction Test Suites. | Myra B. Cohen, Charles J. Colbourn, Alan C. H. Ling |
| 2003 | Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. | Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol |
| 2003 | A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. | Lionel C. Briand, Yvan Labiche, Yihong Wang |
| 2003 | Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. | Peter G. Bishop, Robin E. Bloomfield |
| 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 | Coverage Criteria for Logical Expressions. | Paul Ammann, A. Jefferson Offutt, Hong Huang |
| 2003 | A Bayesian Belief Network for Assessing the Likelihood of Fault Content. | Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno |
| 2002 | A Framework for Live Software Upgrade. | Lizhou Yu, Gholamali C. Shoja, Hausi A. Mller, Anand Srinivasan |
| 2002 | Heterogeneous Software Reliability Modeling. | Wen-Li Wang, Mei-Hwa Chen |
| 2002 | A Reliability Estimator for Model Based Software Testing. | Kirk Sayre, Jesse H. Poore |
| 2002 | Automatic Synthesis of Dynamic Fault Trees from UML System Models. | Ganesh J. Pai, Joanne Bechta Dugan |
| 2002 | Dependability Analysis of a Client/Server Software System with Rejuvenation. | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
| 2002 | Data Coverage Testing of Programs for Container Classes. | Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman |
| 2002 | Toward A Quantifiable Definition of Software Faults. | John C. Munson, Allen P. Nikora |
| 2002 | On Estimating Testing Effort Needed to Assure Field Quality in Software Development. | Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno |
| 2002 | Metrics for Measuring the Effectiveness of Software-Testing Tools. | James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder |
| 2002 | Saturation Effects in Testing of Formal Models. | Tim Menzies, David Owen, Bojan Cukic |
| 2002 | Inter-Class Mutation Operators for Java. | Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt |
| 2002 | Informal Proof Analysis Towards Testing Enhancement. | Guillaume Lussier, Hlne Waeselynck |
| 2002 | Fault Contribution Trees for Product Families. | Dingding Lu, Robyn R. Lutz |
| 2002 | Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. | Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel |
| 2002 | Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. | Grgory Lestiennes, Marie-Claude Gaudel |