The Community for Technology Leaders
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (2006)
Tokyo, Japan
Sept. 18, 2006 to Sept. 22, 2006
ISSN: 1527-1366
ISBN: 0-7695-2579-2
TABLE OF CONTENTS
Papers

An Automated Formal Approach to Managing Dynamic Reconfiguration (Abstract)

Ian Warren , University of Auckland, New Zealand
Jing Sun , University of Auckland, New Zealand
Sanjev Krishnamohan , University of Auckland, New Zealand
Thiranjith Weerasinghe , University of Auckland, New Zealand
pp. 37-46
Introduction

Command-Form Coverage for Testing Database Applications (Abstract)

William G.J. Halfond , Georgia Institute of Technology
Alessandro Orso , Georgia Institute of Technology
pp. 69-80
Introduction

Program Committee (PDF)

pp. xiii
Keynote Talk

Verifying Specifications with Proof Scores in CafeOBJ (Abstract)

Kokichi FUTATSUGI , Japan Advanced Institute of Science and Technology
pp. 3-10
Modeling and Synthesis

Automated Information Aggregation for Scaling Scale-Resistant Services (Abstract)

Philip Gross , Columbia University
Gail Kaiser , Columbia University
pp. 15-24

Generating Domain-Specific Visual Language Editors from High-level Tool Specifications (Abstract)

John Grundy , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
Nianping Zhu , University of Auckland, New Zealand
Na Liu , University of Auckland, New Zealand
pp. 25-36
Architecture

An Automated Formal Approach to Managing Dynamic Reconfiguration (Abstract)

Ian Warren , University of Auckland, New Zealand
Jing Sun , University of Auckland, New Zealand
Sanjev Krishnamohan , University of Auckland, New Zealand
Thiranjith Weerasinghe , University of Auckland, New Zealand
pp. 37-46

Differencing and Merging of Architectural Views (Abstract)

Marwan Abi-Antoun , Carnegie Mellon University, Pittsburgh, PA
Jonathan Aldrich , Carnegie Mellon University, Pittsburgh, PA
Nagi Nahas , Carnegie Mellon University, Pittsburgh, PA
Bradley Schmerl , Carnegie Mellon University, Pittsburgh, PA
David Garlan , Carnegie Mellon University, Pittsburgh, PA
pp. 47-58
Testing

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Abstract)

Marcelo d?Amorim , University of Illinois, Urbana-Champaign, IL, USA
Carlos Pacheco , MIT, Cambridge, MA, USA
Tao Xie , North Carolina State University, Raleigh, NC, USA
Darko Marinov , University of Illinois, Urbana-Champaign, IL, USA
Michael D. Ernst , MIT, Cambridge, MA, USA
pp. 59-68

Command-Form Coverage for Testing Database Applications (Abstract)

William G.J. Halfond , Georgia Institute of Technology
Alessandro Orso , Georgia Institute of Technology
pp. 69-80
Impact Analysis

Automatic Identification of Bug-Introducing Changes (Abstract)

Sunghun Kim , University of California, Santa Cruz
Thomas Zimmermann , Saarland University,Saarbr?cken, Germany
Kai Pan , University of California, Santa Cruz
E. James Jr. Whitehead , University of California, Santa Cruz
pp. 81-90

Modularity Analysis of Logical Design Models (Abstract)

Yuanfang Cai , University of Virginia
Kevin J. Sullivan , University of Virginia
pp. 91-102

Identifying Refactorings from Source-Code Changes (Abstract)

Peter Weissgerber , University of Trier, Germany
Stephan Diehl , University of Trier, Fermany
pp. 231-240
Analysis I

Integrating and Scheduling an Open Set of Static Analyses (Abstract)

Michael Eichberg , Darmstadt University of Technology, Germany
Mira Mezini , Darmstadt University of Technology, Germany
Sven Kloppenburg , Darmstadt University of Technology, Germany
Klaus Ostermann , Darmstadt University of Technology, Germany
Benjamin Rank , Darmstadt University of Technology, Germany
pp. 113-122

Reverse Engineering of Design Patterns from Java Source Code (Abstract)

Nija Shi , University of California, Davis
Ronald A. Olsson , University of California, Davis
pp. 123-134
Traceability

ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links (Abstract)

Leonardo G. P. Murta , Federal University of Rio de Janeiro, Brazil
Andre van der Hoek , University of California, Irvine
Claudia M. L. Werner , Federal University of Rio de Janeiro, Brazil
pp. 135-144

Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne (Abstract)

Christian Neumuller , Johannes Kepler University Linz, Austria
Paul Grunbacher , Johannes Kepler University Linz, Austria
pp. 145-156
Analysis II

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (Abstract)

Xianghua Deng , Kansas State University
Jooyong Lee , BRICS, University of Aarhus
Robby , Kansas State University
pp. 157-166

Accurate Centralization for Applying Model Checking on Networked Applications (Abstract)

Cyrille Artho , National Institute of Informatics, Tokyo, Japan
Pierre-Loic Garoche , Institut de Recherche en Informatique de Toulouse, France
pp. 177-188
Management

Using Decision Trees to Predict the Certification Result of a Build (Abstract)

Ahmed E. Hassan , University of Victoria, Canada
Ken Zhang , Toronto Software Lab IBM Canada
pp. 189-198

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (Abstract)

Fabio Mancinelli , PPS - Universite Paris VII, France
Jaap Boender , PPS - Universite Paris VII, France
Roberto di Cosmo , PPS - Universite Paris VII, France
Jerome Vouillon , PPS - Universite Paris VII, France
Berke , INRIA Rocquencourt, France
Xavier Leroy , INRIA Rocquencourt, France
Ralf Treinen , LSV, ENS de Cachan, CNRS UMR & INRIA Futurs, France
pp. 199-208

Concurrent Engineering support in Software Engineering (Abstract)

Jacky Estublier , LSR-IMAG, Cedex, France
Sergio Garcia , LSR-IMAG Grenoble Cedex 9 France
pp. 209-220

An Automated Approach for Goal-driven, Specification-based Testing (Abstract)

Kristina Winbladh , University of California, Irvine
Thomas A. Alspaugh , University of California, Irvine
Hadar Ziv , University of California, Irvine
Debra J. Richardson , University of California, Irvine
pp. 289-292
Mining Software Repositories

Identifying Refactorings from Source-Code Changes (Abstract)

Peter Wei?gerber , University of Trier, Germany
Stephan Diehl , University of Trier, Fermany
pp. 231-240

Sieve: A Tool for Automatically Detecting Variations Across Program Versions (Abstract)

Murali Krishna Ramanathan , Purdue University,West Lafayette, IN
Ananth Grama , Purdue University,West Lafayette, IN
Suresh Jagannathan , Purdue University,West Lafayette, IN
pp. 241-252
Short Papers

From Capability Specifications to Code for Multi-Agent Software (Abstract)

Loris Penserini , ITC-IRST, Italy
Anna Perini , ITC-IRST, Italy
Angelo Susi , ITC-IRST, Italy
John Mylopoulos , University of Trento, Italy
pp. 253-256

An Instant Message-Driven User Interface Framework for Thin Client Applications (Abstract)

Matthias Book , University of Leipzig
Volker Gruhn , University of Leipzig
Gerald Mucke , University of Leipzig
pp. 257-260

Using communicative acts in interaction design specifications for automated synthesis of user interfaces (Abstract)

Jurgen Falb , Vienna University of Technology, ICT, Austria
Thomas Rock , Helmut Jelinek Siemens Austria, PSE A1210 Vienna, Austria
Edin Arnautovic , Vienna University of Technology, ICT A-1040 Vienna, Austria
pp. 261-264

Human-Friendly Line Routing for Hierarchical Diagrams (Abstract)

Tobias Reinhard , University of Zurich, Switzerland
Christian Seybold , University of Zurich, Switzerland
Silvio Meier , University of Zurich, Switzerland
Martin Glinz , University of Zurich, Switzerland
Nancy Merlo-Schett , University of Zurich, Switzerland
pp. 273-276

Contradiction Finding and Minimal Recovery for UML Class Diagrams (Abstract)

Ken Satoh , National Institute of Informatics, Japan
Ken Kaneiwa , National Institute of Information and Communications Technology, Japan
Takeaki Uno , National Institute of Informatics, Japan
pp. 277-280

An Automated Approach for Goal-driven, Specification-based Testing (Abstract)

Kristina Winbladh , University of California, Irvine
Thomas A. Alspaugh , University of California, Irvine
Hadar Ziv , University of California, Irvine
Debra J. Richardson , University of California, Irvine
pp. 289-292

Energy-Awareness in Distributed Java-Based Software Systems (Abstract)

Chiyoung Seo , University of Southern California, Los Angeles, CA
pp. 343-348

LSS: A Tool for Large Scale Scenarios (Abstract)

Robert J. Hall , AT&T Labs Research, Florham Park, NJ
pp. 349-350
Short Papers

Software Library Usage Pattern Extraction Using a Software Model Checker (Abstract)

Chang Liu , Ohio University
En Ye , Ohio University
Debra J. Richardson , University of California, Irvine
pp. 301-304

Automated Round-trip Software Engineering in Aspect Weaving Systems (Abstract)

Mikhail Chalabine , Linkoping University, Linkoping, Sweden.
Christoph Kessler , Linkoping University, Linkoping, Sweden
Peter Bunus , Linkoping University, Linkoping, Sweden
pp. 305-308

Model-driven Monitoring: Generating Assertions from Visual Contracts (Abstract)

Marc Lohmann , University of Paderborn, Germany
Gregor Engels , University of Paderborn, Germany
Stefan Sauer , University of Paderborn, Germany
pp. 355-356
Short Papers

Automated Reasoning on Aspects Interactions (Abstract)

Paolo Falcarin , Politecnico di Torino, Corso Duca degli Abruzzi 24, Torino, Italy
Marco Torchiano , Politecnico di Torino, Corso Duca degli Abruzzi 24, Torino, Italy
pp. 313-316

Detecting Precedence-Related Advice Interference (Abstract)

Maximilian Storzer , University of Passau
Florian Forster , University of Hagen
pp. 317-322
Doctoral Symposium

Software Connectors for Highly Distributed and Voluminous Data Intensive Systems (Abstract)

Chris A. Mattmann , University of Southern California and California Institute of Technology
pp. 331-334

Domain-specific Model Checking Using The Bogor Framework (Abstract)

Robby , Kansas State University
Matthew B. Dwyer , University of Nebraska-Lincoln
John Hatcliff , Kansas State University
pp. 369-370
Doctoral Symposium

Energy-Awareness in Distributed Java-Based Software Systems (Abstract)

Chiyoung Seo , University of Southern California, Los Angeles, CA
pp. 343-348
Formal Tool Demo Presentations

LSS: A Tool for Large Scale Scenarios (Abstract)

Robert J. Hall , AT&T Labs Research, Florham Park, NJ
pp. 349-350

Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE) (Abstract)

Katsuhisa Maruyama , Ritsumeikan University
Makoto Matsushita , Osaka University, Japan
Shinichiro Yamamoto , Aichi Prefectural University, Japan
pp. 377
Formal Tool Demo Presentations

Tobias-Z: An executable formal specification of a test generator (Abstract)

Y. Ledru , Universite Joseph Fourier (Grenoble 1) - LSR-IMAG, France
L. du Bousquet , Universite Joseph Fourier (Grenoble 1) - LSR-IMAG, France
pp. 353-354

Model-driven Monitoring: Generating Assertions from Visual Contracts (Abstract)

Marc Lohmann , University of Paderborn, Germany
Gregor Engels , University of Paderborn, Germany
Stefan Sauer , University of Paderborn, Germany
pp. 355-356

The Rearranger - A New Assembler Utility (Abstract)

Ward Douglas Maurer , George Washington University
pp. 357-358

TOPCASED Combining Formal Methods with Model-Driven Engineering (Abstract)

Nad?ge PONTISSO , French Space Agency (CNES), France
David CHEMOUIL , French Space Agency (CNES), France
pp. 359-360

UML-based Service Discovery Tool (Abstract)

G. Spanoudakis , City University, Northampton Square, London
A. Zisman , City University, Northampton Square, London
pp. 361-362

Automated Verification Tool for DHTML (Abstract)

Takaaki Tateishi , Tokyo Research Laboratory, IBM Japan
Hisashi Miyashita , Tokyo Research Laboratory, IBM Japan
Kouichi Ono , Tokyo Research Laboratory, IBM Japan
Shin Saito , Tokyo Research Laboratory, IBM Japan
pp. 363-364

Mock-object generation with behavior (Abstract)

Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond WA, USA
Wolfram Schulte , Microsoft Research, One Microsoft Way, Redmond WA, USA
pp. 365-368
Mini Tutorials

Domain-specific Model Checking Using The Bogor Framework (Abstract)

Robby , Kansas State University
Matthew B. Dwyer , University of Nebraska-Lincoln
John Hatcliff , Kansas State University
pp. 369-370
Workshops

2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia) (PDF)

Elisa Baniassad , Chinese University of Hong Kong
Kung Chen , National Chengchi University, Taiwan
Shigeru Chiba , Tokyo Institute of Technology
Jan Hannemann , University of Tokyo
Hidehiko Masuhara , University of Tokyo
Shangping Ren , Illinois Institute of Technology
Jianjun Zhao , Shanghai Jiao Tong University
pp. 375

Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006) (PDF)

Yunwen Ye , University of Colorado Boulder, Colorado, USA
Masao Ohira , Nara Institute of Science and Technology, Japan
pp. 376

Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE) (PDF)

Katsuhisa Maruyama , Ritsumeikan University
Makoto Matsushita , Osaka University, Japan
Shinichiro Yamamoto , Aichi Prefectural University, Japan
pp. 377

Japanese Workshop on Requirements Engineering Tools (JWRET) (PDF)

Takako Nakatani , University of Tsukuba, Japan
Haruhiko Kaiya , Shinshu University, Japan
pp. 378
Author Index

Author Index (PDF)

pp. 379
100 ms
(Ver 3.3 (11022016))