The Community for Technology Leaders
Proceedings 17th IEEE International Conference on Automated Software Engineering, (2002)
Edinburgh, UK
Sept. 23, 2002 to Sept. 27, 2002
ISSN: 1527-1366
ISBN: 0-7695-1736-6

Preface (PDF)

pp. ix
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

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

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
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

Automatic Validation of Deployed J2EE Components Using Aspects (Abstract)

John Grundy , University of Auckland
Guoliang Ding , University of Auckland
pp. 47
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

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
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
Program Understanding

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

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

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

Generating Test Data for Functions with Pointer Inputs (Abstract)

Srinivas Visvanathan , University of Arizona
Neelam Gupta , University of Arizona
pp. 149
Requirements Engineering

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

Alexander Egyed , Teknowledge Corporation
Paul Grünbacher , Johannes Kepler University
pp. 163

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

Model-Based Tests of Truisms (Abstract)

Tim Menzies , University of West Virginia
David Raffo , Portland State University
Siri-on Setamanit , Portland State University
pp. 183
Reasoning Technology

Interfaces for Modular Feature Verification (Abstract)

Harry C. Li , Brown University
Shriram Krishnamurthi , Brown University
Kathi Fisler , WPI, USA
pp. 195

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
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

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

Jehad Al Dallal , University of Alberta
Paul Sorenson , University of Alberta
pp. 231

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

Analyzing Dependencies in Large Component-Based Systems (Abstract)

Marlon Vieira , University of California at Irvine
Debra Richardson , University of California at Irvine
pp. 241

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

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

Hee Beng Kuan Tan , Nanyang Technological University
Weihong Li , Nanyang Technological University
pp. 249

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

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

SeDiTeC — Testing Based on Sequence Diagrams (Abstract)

Falk Fraikin , Darmstadt University of Technology
Thomas Leonhardt , Darmstadt University of Technology
pp. 261

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

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

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

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

Grigore Roşu , NASA Ames Research Center
Jon Whittle , NASA Ames Research Center
pp. 289

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

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
Workshop Report

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

Yves Ledru , Université de Grenoble
David F. Redmiles , University of California at Irvine
pp. 307
Doctoral Symposium

Distributed Modular Model Checking (PDF)

Jitka Crhová , Masaryk University Brno
pp. 312
Index of Authors

Author Index (PDF)

pp. 319
83 ms
(Ver 3.3 (11022016))