| 2002 | A Perturbation-based Testing Strategy. | Branson W. Murrill, Larry J. Morell, Erika Olimpiew |
| 2002 | OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. | Leesa Murray, Alena Griffiths, Paul A. Strooper |
| 2002 | Interclass Testing of Object Oriented Software. | Vincenzo Martena, Alessandro Orso, Mauro Pezz |
| 2002 | A Framework for Specification-Based Class Testing. | Ling Liu, Huaikou Miao, Xuede Zhan |
| 2002 | Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? | Bev Littlewood |
| 2002 | Capturing Complete and Accurate Requirements by Refinemen. | Shaoying Liu |
| 2002 | Efficient Reachability Testing of Asynchronous Message-Passing Programs. | Yu Lei, Kuo-Chung Tai |
| 2002 | Using Role-Based Modeling Language (RBML) to Characterize Model Families. | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
| 2002 | Reasoning about Asynchronous Behaviour in Distributed Systems. | Peter Henderson |
| 2002 | Integrating CSP and DC. | Jifeng He |
| 2002 | Fault Detection Effectiveness of Spathic Test Data. | Jane Huffman Hayes, Pifu Zhang |
| 2002 | Multiple-View Meta-Modeling of Software Product Lines. | Hassan Gomaa, Michael E. Shin |
| 2002 | Validating Run-time Interactions in Distributed Java Applications. | Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy |
| 2002 | Using Aspects to Design a Secure System. | Geri Georg, Indrakshi Ray, Robert B. France |
| 2002 | An Empirical Comparison of Modularity of Procedural and Object-oriented Software. | Lisa K. Ferrett, Jeff Offutt |
| 2002 | An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB. | Aldo Dagnino |
| 2002 | Mars Polar Lander Fault Identification Using Model-based Testing. | Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda |
| 2002 | Model Checking UML Specifications of Real Time Software. | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
| 2002 | Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. | Milos Besta, Frank A. Stomp |
| 2002 | Execution of TILCO Temporal Logic Specifications. | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi |
| 2002 | A Light-Weight Process for Capturing and Evolving Defect Reduction Experience. | Victor R. Basili, Mikael Lindvall, Forrest Shull |
| 2002 | Composability for Software Components: An Approach Based on the Whole-Part Theory. | Franck Barbier |
| 2002 | Syntactic Fault Patterns in OO Programs. | Roger T. Alexander, Jeff Offutt, James M. Bieman |
| 2002 | Managing Software Evolution with a Formalized Abstraction Hierarchy. | Timo Aaltonen, Tommi Mikkonen |
| 2001 | Analysis of Self-Stabilization for Infinite-State Systems. | Hsu-Chun Yen |