CSDL - Proceedings I

Organizing Committee (PDF)

pp. x

Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? (PDF)

Keynote Address 1

Bev Littlewood, City Universtiy

pp. 3

Session 1: Distributed Systems

Validating Run-time Interactions in Distributed Java Applications (Abstract)

Sudipto Ghosh, Colorado State University

Nishant Bawa, Colorado State University

Sameer Goel, Colorado State University

Y. Raghu Reddy, Colorado State University

pp. 7

PDF

Reasoning about Asynchronous Behaviour in Distributed Systems (Abstract)

Peter Henderson, University of Southampton

pp. 17

PDF

A Framework for Performability Modeling of Messaging Services in Distributed Systems (Abstract)

Srinivasan Ramani, IBM Corporation

Katerina Goseva-Popstojanova, West Virginia University

Kishor S. Trivedi, Duke University

pp. 25

PDF

Efficient Reachability Testing of Asynchronous Message-Passing Programs (Abstract)

Yu Lei, University of Texas At Arlington

Kuo-Chung Tai, North Carolina State University

pp. 35

PDF

Keynote Address 2

Integrating CSP and DC (Abstract)

Jifeng He, United Nations University

pp. 47

PDF

Session 2: Formal Approaches

Capturing Complete and Accurate Requirements by Refinement (Abstract)

Shaoying Lin, Hosei University

pp. 57

PDF

Mechanization of a Proof of String-Preprocessing in Boyer-Moore?s Pattern Matching Algorithm (Abstract)

Miloslav Besta, Wayne State University

Frank Stomp, Wayne State University

pp. 68

PDF

Execution of TILCO Temporal Logic Specifications (Abstract)

Pierfrancesco Bellini, University of Florence

Andrea Giotti, University of Florence

Paolo Nesi, University of Florence

pp. 78

PDF

Session 3: Design and Modeling

Mnemosyne: Designing and Implementing Network Short-Term Memory (Abstract)

Giovanni Vigna, University of California, Santa Barbara

Andrew Mitchell, University of California, Santa Barbara

pp. 91

PDF

Composability for Software Components: An Approach Based on the Whole-Part Theory (Abstract)

Franck Barbier, Universit? de Pau

pp. 101

PDF

Using Role-Based Modeling Language (RBML) to Characterize Model Families (Abstract)

Dae-Kyoo Kim, Colorado State University

Robert France, Colorado State University

Sudipto Ghosh, Colorado State University

Eunjee Song, Colorado State University

pp. 107

PDF

Using Aspects to Design a Secure System (Abstract)

Geri Georg, Agilent Technologies

Indrakshi Ray, Colorado State University

Robert France, Colorado State University

pp. 117

PDF

Keynote Address 3

A Light-Weight Process for Capturing and Evolving Defect Reduction Experience (Abstract)

Victor R. Basili, Fraunhofer Center for Experimental Software

Mikael Lindvall, Fraunhofer Center for Experimental Software

Forrest Shull, Fraunhofer Center for Experimental Software

pp. 129

PDF

Session 4: Testing

Interclass Testing of Object Oriented Software (Abstract)

Vincenzo Martena, Politecnico di Milano

Alessandro Orso, Georgia Institute of Technology

Mauro Pezzé, Universit? degli Studi di Milano Bicocca

pp. 135

PDF

A Perturbation-based Testing Strategy (Abstract)

Branson Murrill, Virginia Commonwealth University

Larry Morell, Arkansas Tech University

Erika Olimpiew, George Mason University

pp. 145

PDF

A Framework for Specification-Based Class Testing (Abstract)

Ling Liu, Shanghai University

Huaikou Miao, Shanghai University

Xuede Zhan, Shanghai University

pp. 153

PDF

Mars Polar Lander Fault Identification Using Model-based Testing (Abstract)

Mark Blackburn, Software Productivity Consortium

Robert Busser, Software Productivity Consortium

Aaron Nauman, Software Productivity Consortium

Robert Knickerbocker, Lockheed Martin Space Systems Company

Richard Kasuda, Lockheed Martin Space Systems Company

pp. 163

PDF

Session 5: Analysis

An Empirical Comparison of Modularity of Procedural and Object-oriented Software (Abstract)

Lisa K. Ferrett, AT&T Government Solutions, Inc.

Jeff Offutt, George Mason University

pp. 173

PDF

Fault Detection Effectiveness of Spathic Test Data (Abstract)

Jane Huffman Hayes, University of Kentucky

Pifu Zhang, Changsha Communications University

pp. 183

PDF

Syntactic Fault Patterns in OO Programs (Abstract)

Roger T. Alexander, Colorado State University

Jeff Offutt, George Mason University

James M. Bieman, Colorado State University

pp. 193

PDF

Model Checking UML Specifications of Real Time Software (Abstract)

Vieri Del Bianco, Politecnico di Milano

Luigi Lavazza, CEFRIEL Politecnico di Milano

Marco Mauri, CEFRIEL

pp. 203

PDF

Session 6: Software Evolution and Product Line

An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB (Abstract)

Aldo Dagnino, ABB US Corporate Research Center

pp. 215

PDF

Managing Software Evolution with a Formalized Abstraction Hierarchy (Abstract)

Timo Aaltonen, Tampere University of Technology

Tommi Mikkonen, Tampere University of Technology

pp. 224

PDF

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy (Abstract)

Leesa Murray, University of Queensland

Alena Griffiths

Paul Strooper, University of Queensland

pp. 232

PDF

Multiple-View Meta-Modeling of Software Product Lines (Abstract)

Hassan Gomaa, George Mason University

Michael Eonsuk Shin, Texas Tech University

pp. 238

PDF

Author Index (PDF)

pp. 247