The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2002)
Greenbelt, Maryland
Dec. 2, 2002 to Dec. 4, 2002
ISSN: 1050-4729
ISBN: 0-7695-1757-9
TABLE OF CONTENTS
Keynote Address 1

Chair's Message (PDF)

pp. viii
Session 1: Distributed Systems

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

Sameer Goel , Colorado State University
Sudipto Ghosh , Colorado State University
Y. Raghu Reddy , Colorado State University
Nishant Bawa , Colorado State University
pp. 7

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
Keynote Address 2

Integrating CSP and DC (Abstract)

Jifeng He , United Nations University
pp. 47
Session 2: Formal Approaches

Execution of TILCO Temporal Logic Specifications (Abstract)

Andrea Giotti , University of Florence
Paolo Nesi , University of Florence
Pierfrancesco Bellini , University of Florence
pp. 78
Session 3: Design and Modeling

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

Andrew Mitchell , University of California, Santa Barbara
Giovanni Vigna , University of California, Santa Barbara
pp. 91

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

Sudipto Ghosh , Colorado State University
Robert France , Colorado State University
Dae-Kyoo Kim , Colorado State University
Eunjee Song , Colorado State University
pp. 107

Using Aspects to Design a Secure System (Abstract)

Robert France , Colorado State University
Indrakshi Ray , Colorado State University
Geri Georg , Agilent Technologies
pp. 117
Keynote Address 3

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

Mikael Lindvall , Fraunhofer Center for Experimental Software
Forrest Shull , Fraunhofer Center for Experimental Software
Victor R. Basili , Fraunhofer Center for Experimental Software
pp. 129
Session 4: Testing

Interclass Testing of Object Oriented Software (Abstract)

Alessandro Orso , Georgia Institute of Technology
Vincenzo Martena , Politecnico di Milano
Mauro Pezzé , Universit? degli Studi di Milano Bicocca
pp. 135

A Perturbation-based Testing Strategy (Abstract)

Branson Murrill , Virginia Commonwealth University
Larry Morell , Arkansas Tech University
Erika Olimpiew , George Mason University
pp. 145

A Framework for Specification-Based Class Testing (Abstract)

Ling Liu , Shanghai University
Xuede Zhan , Shanghai University
Huaikou Miao , Shanghai University
pp. 153

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

Robert Busser , Software Productivity Consortium
Robert Knickerbocker , Lockheed Martin Space Systems Company
Aaron Nauman , Software Productivity Consortium
Richard Kasuda , Lockheed Martin Space Systems Company
Mark Blackburn , Software Productivity Consortium
pp. 163
Session 5: Analysis

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

Jeff Offutt , George Mason University
Lisa K. Ferrett , AT&T Government Solutions, Inc.
pp. 173

Fault Detection Effectiveness of Spathic Test Data (Abstract)

Jane Huffman Hayes , University of Kentucky
Pifu Zhang , Changsha Communications University
pp. 183

Syntactic Fault Patterns in OO Programs (Abstract)

Roger T. Alexander , Colorado State University
James M. Bieman , Colorado State University
Jeff Offutt , George Mason University
pp. 193

Model Checking UML Specifications of Real Time Software (Abstract)

Luigi Lavazza , CEFRIEL Politecnico di Milano
Vieri Del Bianco , Politecnico di Milano
Marco Mauri , CEFRIEL
pp. 203
Session 6: Software Evolution and Product Line

Managing Software Evolution with a Formalized Abstraction Hierarchy (Abstract)

Tommi Mikkonen , Tampere University of Technology
Timo Aaltonen , Tampere University of Technology
pp. 224

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

Michael Eonsuk Shin , Texas Tech University
Hassan Gomaa , George Mason University
pp. 238

Author Index (PDF)

pp. 247
97 ms
(Ver 3.3 (11022016))