CSDL - Proceedings A

ASE 2002 Organizing Committee (PDF)

pp. xi

Programme Committee (PDF)

pp. xii

Additional Reviewers (PDF)

pp. xiii

Software Design and Synthesis

Assumption Generation for Software Component Verification (Abstract)

Dimitra Giannakopoulou, NASA Ames Research Center

Corina S. Păsăreanu, NASA Ames Research Center

Howard Barringer, University of Manchester

pp. 3

PDF

An Approach to Rapid Prototyping of Large Multi-Agent Systems (Abstract)

Wamberto Vasconcelos, University of Edinburgh

Carles Sierra, Consejo Superior de Investigaciones Científicas

Marc Esteva, Consejo Superior de Investigaciones Científicas

pp. 13

PDF

Generative Design Patterns (Abstract)

S. MacDonald, University of Alberta

D. Szafron, University of Alberta

J. Schaeffer, University of Alberta

J. Anvik, University of Alberta

S. Bromling, University of Alberta

K. Tan, University of Alberta

pp. 23

PDF

Verification and Validation

Deviation Analysis Through Model Checking (Abstract)

Mats P.E. Heimdahl, University of Minnesota

Yunja Choi, University of Minnesota

Mike Whalen, University of Minnesota

pp. 37

PDF

Automatic Validation of Deployed J2EE Components Using Aspects (Abstract)

John Grundy, University of Auckland

Guoliang Ding, University of Auckland

pp. 47

PDF

Experience Reports

On CASE Tool Usage at Nokia (Abstract)

Alessandro Maccari, Nokia Research Center

Claudio Riva, Nokia Research Center

Francesco Maccari, Universit? degli Studi di Siena

pp. 59

PDF

Experience Report on Automated Procedure Construction for Deductive Synthesis (Abstract)

Steve Roach, University of Texas at El Paso

Jeffrey Van Baalen, University of Wyoming

pp. 69

PDF

Software Specification

Generating Product-Lines of Product-Families (Abstract)

Don Batory, University of Texas at Austin

Roberto E. Lopez-Herrejon, University of Texas at Austin

Jean-Philippe Martin, University of Texas at Austin

pp. 81

PDF

Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (Abstract)

Thomas Ellman, Vassar College

Ryan Deak, Vassar College

Jason Fotinatos, Vassar College

pp. 93

PDF

Program Understanding

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (Abstract)

Robert J. Hall, AT&T Labs Research

pp. 107

PDF

No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs (Abstract)

Yann-Gaël Guéhéneuc, École des Mines de Nantes

Rémi Douence, École des Mines de Nantes

Narendra Jussien, École des Mines de Nantes

pp. 117

PDF

Testing

Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing (Abstract)

Pascal Fenkam, Technical University of Vienna

Harald Gall, Technical University of Vienna

Mehdi Jazayeri, Technical University of Vienna

pp. 129

PDF

Generating Expected Results for Automated Black-Box Testing (Abstract)

Patrick J. Schroeder, University of Wisconsin - Milwaukee

Pat Faherty, University of Wisconsin - Milwaukee

Bogdan Korel, Illinois Institute of Technology

pp. 139

PDF

Generating Test Data for Functions with Pointer Inputs (Abstract)

Srinivas Visvanathan, University of Arizona

Neelam Gupta, University of Arizona

pp. 149

PDF

Requirements Engineering

Automating Requirements Traceability: Beyond the Record & Replay Paradigm (Abstract)

Alexander Egyed, Teknowledge Corporation

Paul Grünbacher, Johannes Kepler University

pp. 163

PDF

Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation (Abstract)

K. Suzanne Barber, University of Texas at Austin

Tom Graser, University of Texas at Austin

Jim Holt, University of Texas at Austin

pp. 172

PDF

Model-Based Tests of Truisms (Abstract)

Tim Menzies, University of West Virginia

David Raffo, Portland State University

Siri-on Setamanit, Portland State University

Ying Hu

Sina Tootoonian

pp. 183

PDF

Reasoning Technology

Interfaces for Modular Feature Verification (Abstract)

Harry C. Li, Brown University

Shriram Krishnamurthi, Brown University

Kathi Fisler, WPI, USA

pp. 195

PDF

Automated Validation of Class Invariants in C ++ Applications (Abstract)

Tanton H. Gibbs, Clemson University

Brian A Malloy, Clemson University

James F. Power, National University of Ireland

pp. 205

PDF

Short Papers

A Framework for Automatic Debugging (Abstract)

Mikhail Auguston, New Mexico State University

Clinton Jeffery, New Mexico State University

Scott Underwood, New Mexico State University

pp. 217

PDF

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems (Abstract)

Karsten Loer, University of York

Michael Harrison, University of York

pp. 223

PDF

Automatic Verification of any Number of Concurrent, Communicating Processes (Abstract)

Muffy Calder, University of Glasgow

Alice Miller, University of Glasgow

pp. 227

PDF

System Testing for Object-Oriented Frameworks Using Hook Technology (Abstract)

Jehad Al Dallal, University of Alberta

Paul Sorenson, University of Alberta

pp. 231

PDF

What Makes Finite-State Models More (or Less) Testable? (Abstract)

David Owen, West Virginia University

Tim Menzies, West Virginia University

Bojan Cukic, West Virginia University

pp. 237

PDF

Analyzing Dependencies in Large Component-Based Systems (Abstract)

Marlon Vieira, University of California at Irvine

Debra Richardson, University of California at Irvine

pp. 241

PDF

Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components (Abstract)

Marcio S. Dias, University of California at Irvine

Debra J. Richardson, University of California at Irvine

pp. 245

PDF

Systematic Bridging the Gap between Requirements and OO Design (Abstract)

Hee Beng Kuan Tan, Nanyang Technological University

Weihong Li, Nanyang Technological University

pp. 249

PDF

Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Components (Abstract)

Benoit Baudry, IRISA, Universitaire de Beaulieu

Franck Fleurey, IFSIC, Universitaire de Beaulieu

Jean-Marc Jézéquel, IRISA , Universitaire de Beaulieu

Yves Le Traon, IRISA , Universitaire de Beaulieu

pp. 253

PDF

From Early Requirements to User Interface Prototyping: A Methodological Approach (Abstract)

Alicia Martínez, Valencia University of Technology

Hugo Estrada, Valencia University of Technology

Juan Sánchez, Valencia University of Technology

Oscar Pastor, Valencia University of Technology

pp. 257

PDF

SeDiTeC — Testing Based on Sequence Diagrams (Abstract)

Falk Fraikin, Darmstadt University of Technology

Thomas Leonhardt, Darmstadt University of Technology

pp. 261

PDF

VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (Abstract)

György Csertán, Budapest University of Technology and Economics

Gábor Huszerl, Budapest University of Technology and Economics

István Majzik, Budapest University of Technology and Economics

Zsigmond Pap, Budapest University of Technology and Economics

András Pataricza, Budapest University of Technology and Economics

Dániel Varró, Budapest University of Technology and Economics

pp. 267

PDF

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems (Abstract)

Nazareno Aguirre, King?s College

Tom Maibaum, King?s College

pp. 271

PDF

Adding Value to Formal Test Oracles (Abstract)

James H. Andrews, University of Western Ontario

Rui Fu, University of Western Ontario

Vicky D. Liu, University of Western Ontario

pp. 275

PDF

Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems (Abstract)

Xuejun Chen, University of Stuttgart and Nokia Networks

pp. 279

PDF

Combining and Adapting Software Quality Predictive Models by Genetic Algorithms (Abstract)

Danielle Azar, McGill University

Doina Precup, McGill University

Salah Bouktif, University of Montreal

Balázs Kégl, University of Montreal

Houari Sahraoui, University of Montreal

pp. 285

PDF

Towards Certifying Domain-Specific Properties of Synthesized Code (Abstract)

Grigore Roşu, NASA Ames Research Center

Jon Whittle, NASA Ames Research Center

pp. 289

PDF

Predicting Software Stability Using Case-Based Reasoning (Abstract)

David Grosser, University of Montreal

Houari A. Sahraoui, University of Montreal

Petko Valtchev, University of Montreal

pp. 295

PDF

Monitoring Requirements: A Case Study (Abstract)

Stephen Fickas, University of Oregon

Tiller Beauchamp, University of Oregon

Ny Aina Razermera Mamy, University of Oregon

pp. 299

PDF

Report on the Workshop on the State of the Art in Automated Software Engineering (PDF)

Workshop Report

Yves Ledru, Université de Grenoble

David F. Redmiles, University of California at Irvine

pp. 307

A Model of Planning and Enactment Support in Complex Software Development Projects (PDF)

Doctoral Symposium

Sigrid Goldmann, University of Kaiserslautern

pp. 311

Distributed Modular Model Checking (PDF)

Jitka Crhová, Masaryk University Brno

pp. 312

Adapting Applications on the Fly (PDF)

Abdelmadjid Ketfi, LSR-IMAG

Noureddine Belkhatir, LSR-IMAG

Pierre-Yves Cunin, LSR-IMAG

pp. 313

Process Support for Tools Interoperability (PDF)

Anh-Tuyet Le, LSR-IMAG

pp. 314

Automatic Synthesis of Distributed Systems (PDF)

Alin Ştefănescu, University of Edinburgh

pp. 315

Automatic Inter-Procedural Test Case Generation (PDF)

Karim-Cyril Griche, LSR-IMAG

pp. 316

Semantic Links and Co-Evolution in Object-Oriented Software Development (PDF)

Ragnhild Van Der Straeten, Vrije Universiteit Brussel

pp. 317

Index of Authors

Author Index (PDF)

pp. 319