The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2006)
Tokyo, Japan
Sept. 18, 2006 to Sept. 22, 2006
ISSN: 1527-1366
ISBN: 0-7695-2579-2
TABLE OF CONTENTS
Papers
Keynote Talk
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
Na Liu , University of Auckland, New Zealand
Nianping Zhu , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
pp. 25-36
Architecture

An Automated Formal Approach to Managing Dynamic Reconfiguration (Abstract)

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

Differencing and Merging of Architectural Views (Abstract)

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

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

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

Command-Form Coverage for Testing Database Applications (Abstract)

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

Automatic Identification of Bug-Introducing Changes (Abstract)

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

Modularity Analysis of Logical Design Models (Abstract)

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

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

Benjamin Rank , Darmstadt University of Technology, Germany
Sven Kloppenburg , Darmstadt University of Technology, Germany
Michael Eichberg , Darmstadt University of Technology, Germany
Mira Mezini , Darmstadt University of Technology, Germany
Klaus Ostermann , 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)

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

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

Paul Grunbacher , Johannes Kepler University Linz, Austria
Christian Neumuller , 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)

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

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

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

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

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

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

Ralf Treinen , LSV, ENS de Cachan, CNRS UMR & INRIA Futurs, France
Roberto di Cosmo , PPS - Universite Paris VII, France
Xavier Leroy , INRIA Rocquencourt, France
Berke , INRIA Rocquencourt, France
Jerome Vouillon , PPS - Universite Paris VII, France
Jaap Boender , PPS - Universite Paris VII, France
Fabio Mancinelli , PPS - Universite Paris VII, 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
Mining Software Repositories

Mining Aspects from Version History (Abstract)

Silvia Breu , University of Cambridge, UK
Thomas Zimmermann , Saarland University, Germany
pp. 221-230

Identifying Refactorings from Source-Code Changes (Abstract)

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

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

Ananth Grama , Purdue University,West Lafayette, IN
Murali Krishna Ramanathan , 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)

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

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

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

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

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

Human-Friendly Line Routing for Hierarchical Diagrams (Abstract)

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

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

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

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

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

Effective Generation of Interface Robustness Properties for Static Analysis (Abstract)

Tao Xie , North Carolina State University
Mithun Acharya , North Carolina State University
Tanu Sharma , North Carolina State University
Jun Xu , North Carolina State University
pp. 293-296

Automatic Generation of Detection Algorithms for Design Defects (Abstract)

Naouel Moha , University of Montreal, Quebec, Canada
Pierre Leduc , University of Montreal, Quebec, Canada
Yann-Gael Gueheneuc , University of Montreal, Quebec, Canada
pp. 297-300

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

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

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

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

Towards Automatic Assertion Refinement for Separation Logic (Abstract)

Andrew Ireland , Heriot-Watt University Edinburgh, Scotland, UK
pp. 309-312

Automated Reasoning on Aspects Interactions (Abstract)

Marco Torchiano , Politecnico di Torino, Corso Duca degli Abruzzi 24, Torino, Italy
Paolo Falcarin , 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

Management of Incomplete and Inconsistent Views (Abstract)

Mehrdad Sabetzadeh , University of Toronto, Canada.
pp. 339-342

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
Formal Tool Demo Presentations

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

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

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

Stefan Sauer , University of Paderborn, Germany
Marc Lohmann , University of Paderborn, Germany
Gregor Engels , 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)

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

UML-based Service Discovery Tool (Abstract)

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

Automated Verification Tool for DHTML (Abstract)

Kouichi Ono , Tokyo Research Laboratory, IBM Japan
Shin Saito , Tokyo Research Laboratory, IBM Japan
Hisashi Miyashita , Tokyo Research Laboratory, IBM Japan
Takaaki Tateishi , 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)

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

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

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

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

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

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

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

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

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

Author Index (PDF)

pp. 379
85 ms
(Ver )