The Community for Technology Leaders
14th IEEE International Conference on Automated Software Engineering (1999)
Cocoa Beach, Florida
Oct. 12, 1999 to Oct. 15, 1999
ISSN: 1527-1366
ISBN: 0-7695-0415-9

Preface (PDF)

pp. x

Program Committee (PDF)

pp. xiii
Session 1: Requirements and Reuse
Session 2: Synthesis

Towards Automatic Imperative Program Synthesis through Proof Planning (Abstract)

Jamie Stark , Heriot-Watt University
Andrew Ireland , Heriot-Watt University
pp. 44

An Integration of Deductive Retrieval into Deductive Synthesis (Abstract)

Bernd Fischer , NASA Ames Research Center
Jon Whittle , NASA Ames Research Center
pp. 52
Session 3: Test Synthesis

Automatic Generation of Test Oracles-From Pilot Studies to Application (Abstract)

Martin S. Feather , California Institute of Technology
Ben Smith , California Institute of Technology
pp. 63

An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol (Abstract)

Cédric Besse , Institut National des T?l?communications
Ana Cavalli , Institut National des T?l?communications
David Lee , Bell Laboratories, Lucent Technologies
pp. 73

Siddhartha: A Method for Developing Domain-Specific Test Driver Generators (Abstract)

Arthur Alexander Reyes , University of Texas at Arlington
Debra Richardson , University of California at Irvine
pp. 81
Session 4: Analysis

A Visualization Tool for Constraint Program Debugging (Abstract)

Frédéric Goualard , Institut de Recherche en Informatique de Nantes
Frédéric Benhamou , Institut de Recherche en Informatique de Nantes
pp. 110
Session 5: Verification

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model (Abstract)

A. Mili , Institute for Software Research
B. Cukic , Institute for Software Research
T. Xia , Institute for Software Research
R. Ben Ayed , University of Tunis
pp. 137
Session 6: Transformation

Retrenchment: Extending the Reach of Refinement (Abstract)

M.R. Poppleton , Coventry University and Manchester University
R.H. Banach , Manchester University
pp. 158

An ML Editor Based on Proofs-as-Programs (Abstract)

Jon Whittle , NASA Ames Research Center
Alan Bundy , University of Edinburgh
Richard Boulton , University of Edinburgh
Helen Lowe , Glasgow Caledonian University
pp. 166

Evolving Object-Oriented Designs with Refactorings (Abstract)

Lance Tokuda , University of Texas at Austin
Don Batory , University of Texas at Austin
pp. 174
Session 7: Architecture

AML: An Architecture Meta-Language (Abstract)

David Wile , University of Southern California
pp. 183
Session 8: Automated Testing

UNA Based Iterative Test Data Generation and its Evaluation (Abstract)

Neelam Gupta , Purdue University
Aditya P. Mathur , Purdue University
Mary Lou Soffa , University of Pittsburgh
pp. 224
Short Papers

Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties (Abstract)

John K. Kyaruzi , Delft University of Technology
J. van Katwijk , Delft University of Technology
pp. 235

Enhancing Annotation Visibility for Software Inspection (Abstract)

Michael V. Stein , Metropolitan State (MN) University
Mats P.E. Heimdahl , University of Minnesota
John T. Riedl , University of Minnesota
pp. 243

Automatic Software Clustering via Latent Semantic Analysis (Abstract)

Jonathan I. Maletic , University of Memphis
Naveen Valluri , University of Memphis
pp. 251

vUML: A Tool for Verifying UML Models (Abstract)

Johan Lilius , ?bo Akademi University
Ivan Porres Paltor , ?bo Akademi University
pp. 255

A Formal Ontology for Re-Use of Software Architecture Documents (Abstract)

Christopher A. Welty , IBM T.J. Watson Research Center and Vassar College
David A. Ferrucci , IBM T.J. Watson Research Center
pp. 259

Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (Abstract)

Walter Cazzola , Universit? di Milano Bicocca
Andrea Savigni , Universit? di Milano Bicocca
Andrea Sosio , Universit? di Milano Bicocca
Francesco Tisato , Universit? di Milano Bicocca
pp. 263

Automatically Structuring Textual Requirement Scenarios (Abstract)

Andreas Becks , Lehrstuhl Informatik V
Jörg Köller , Lehrstuhl Informatik V
pp. 271

UMLAUT: An Extendible UML Transformation Framework (Abstract)

Wai Ming Ho , IRISA/CNRS, Campus de Beaulieu,
Jean-Marc Jézéquel , IRISA/CNRS, Campus de Beaulieu,
Alain Le Guennec , IRISA/CNRS, Campus de Beaulieu,
François Pennaneac'h , IRISA/CNRS, Campus de Beaulieu,
pp. 275

Automatic Proofs of Properties of Simple C- - Modules (Abstract)

Carine Fedele , University of Nice - Sophia Antipolis
Emmanuel Kounalis , University of Nice - Sophia Antipolis
pp. 283

Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems (Abstract)

Gabriele Taentzer , Technical University of Berlin
Michael Goedicke , University of Essen
Torsten Meyer , University of Essen
pp. 287

Architectural Element Matching Using Concept Analysis (Abstract)

Robert Waters , Georgia Institute of Technology
Spencer Rugaber , Georgia Institute of Technology
Gregory D. Abowd , Georgia Institute of Technology
pp. 291

Controlled Natural Language Can Replace First-Order Logic (Abstract)

Norbert E. Fuchs , University of Zurich
Uta Schwertel , University of Zurich
Sunna Torge , University of Munich
pp. 295

Component-Based Systems as an Aid to Design Validation (Abstract)

Peter Henderson , University of Southampton
Robert Walters , University of Southampton
pp. 303

A Metric Based Technique for Design Flaws Detection and Correction (Abstract)

Houari A. Sahraoui , CRIM and Universit? de Montr?al
Thierry Miceli , Universit? du Qu?bec ? Montr?al
Robert Godin , Universit? du Qu?bec ? Montr?al
pp. 307

Deductive Synthesis of Event-Based Software Architectures (Abstract)

John Penix , NASA Ames Research Center
pp. 311

An Approach to Automatic Code Generation for Safety-Critical Systems (Abstract)

Michael W. Whalen , University of Minnesota
Mats P.E. Heimdahl , University of Minnesota
pp. 315

Implementing Effective Automatic Cryptographic Protocol Analysis (Abstract)

Stephen H. Brackin , Arca Systems / Exodus Communications
pp. 319

NAVCo: Negotiation-Based Adaptive View Coordination (Abstract)

Prasanta Bose , George Mason University
Mark G. Matthews , The MITRE Corporation
pp. 327

Towards Discovery, Specification, and Verification of Component Usage (Abstract)

Chang Liu , University of California at Irvine
Debra Richardson , University of California at Irvine
pp. 331

Towards Adaptive Web Agents (Abstract)

J. William Murdock , Georgia Institute of Technology
Ashok K. Goel , Georgia Institute of Technology
pp. 335

Index of Authors (PDF)

pp. 339
80 ms
(Ver 3.3 (11022016))