| 2002 | 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA |
| 2002 | A Framework for Performability Modeling of Messaging Services in Distributed Systems. Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 2002 | A Framework for Specification-Based Class Testing. Ling Liu, Huaikou Miao, Xuede Zhan |
| 2002 | A Light-Weight Process for Capturing and Evolving Defect Reduction Experience. Victor R. Basili, Mikael Lindvall, Forrest Shull |
| 2002 | A Perturbation-based Testing Strategy. Branson W. Murrill, Larry J. Morell, Erika Olimpiew |
| 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 | Capturing Complete and Accurate Requirements by Refinemen. Shaoying Liu |
| 2002 | Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? Bev Littlewood |
| 2002 | Composability for Software Components: An Approach Based on the Whole-Part Theory. Franck Barbier |
| 2002 | Efficient Reachability Testing of Asynchronous Message-Passing Programs. Yu Lei, Kuo-Chung Tai |
| 2002 | Execution of TILCO Temporal Logic Specifications. Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi |
| 2002 | Fault Detection Effectiveness of Spathic Test Data. Jane Huffman Hayes, Pifu Zhang |
| 2002 | Integrating CSP and DC. Jifeng He |
| 2002 | Interclass Testing of Object Oriented Software. Vincenzo Martena, Alessandro Orso, Mauro Pezzè |
| 2002 | Managing Software Evolution with a Formalized Abstraction Hierarchy. Timo Aaltonen, Tommi Mikkonen |
| 2002 | Mars Polar Lander Fault Identification Using Model-based Testing. Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda |
| 2002 | Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. Milos Besta, Frank A. Stomp |
| 2002 | Mnemosyne: Designing and Implementing Network Short-Term Memory. Giovanni Vigna, Andrew Mitchel |
| 2002 | Model Checking UML Specifications of Real Time Software. Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
| 2002 | Multiple-View Meta-Modeling of Software Product Lines. Hassan Gomaa, Michael E. Shin |
| 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 | Reasoning about Asynchronous Behaviour in Distributed Systems. Peter Henderson |
| 2002 | Syntactic Fault Patterns in OO Programs. Roger T. Alexander, Jeff Offutt, James M. Bieman |
| 2002 | Using Aspects to Design a Secure System. Geri Georg, Indrakshi Ray, Robert B. France |
| 2002 | Using Role-Based Modeling Language (RBML) to Characterize Model Families. Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
| 2002 | Validating Run-time Interactions in Distributed Java Applications. Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy |