| 2005 | An Experimental Evaluation on Reliability Features of N-Version Programming. | Xia Cai, Michael R. Lyu, Mladen A. Vouk |
| 2005 | Improving Statechart Testing Criteria Using Data Flow Information. | Lionel C. Briand, Yvan Labiche, Q. Lin |
| 2005 | High Available Mobile Infrastructure Applications. | Mohammad Zib Beiroumi |
| 2005 | Modeling the Vulnerability Discovery Process. | Omar Hussain Alhazmi, Yashwant K. Malaiya |
| 2004 | An Approach to Facilitate Reliability Testing of Web Services Components. | Jia Zhang |
| 2004 | Automatically Inferring Temporal Properties for Program Evolution . | Jinlin Yang, David Evans |
| 2004 | Statistical Software Testing with Parallel Modeling: A Case Study. | Robert J. Weber |
| 2004 | An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior. | Xiangrong Wang, Jun Xu, Christopher H. Pham |
| 2004 | Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. | Jim Steel, Michael Lawley |
| 2004 | A Comparison of Bug Finding Tools for Java. | Nick Rutar, Christian B. Almazan, Jeffrey S. Foster |
| 2004 | Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study. | Per Runeson, Mns Holmstedt Jnsson, Fredrik Scheja |
| 2004 | Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. | Amit M. Paradkar |
| 2004 | Bypass Testing of Web Applications. | Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang |
| 2004 | Preliminary Results On Using Static Analysis Tools For Software Inspection. | Nachiappan Nagappan, Laurie A. Williams, John P. Hudepohl, Will Snipes, Mladen A. Vouk |
| 2004 | An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. | Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla |
| 2004 | Detecting and Debugging Insecure Information Flows. | Wes Masri, Andy Podgurski, David Leon |
| 2004 | Multiple Profile Evaluation Using a Single Test Suite in Random Testing. | Stefan Mankefors-Christiernin, Andreas Boklund |
| 2004 | Deriving Test Sets from Partial Proofs. | Guillaume Lussier, Hlne Waeselynck |
| 2004 | Validation of a Methodology for Assessing Software Reliability. | Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts |
| 2004 | Survivability Analysis of Telephone Access Network. | Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi |
| 2004 | Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. | Silke Kuball, John H. R. May |
| 2004 | Boundary Coverage Criteria for Test Generation from Formal Models. | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
| 2004 | Middleware Transparent Development of Dependable CORBA Applications. | Brahmila Kamalakar, Sudipto Ghosh, Peter Vile |
| 2004 | Reliability Growth in Software Products. | Pankaj Jalote, Brendan Murphy |
| 2004 | Non-Detrimental Web Application Security Scanning. | Yao-Wen Huang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo |