The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
TABLE OF CONTENTS

Preface (PDF)

pp. x

Preface (PDF)

pp. x

Program Committee (PDF)

pp. xiii

Reviewers (PDF)

pp. xiv
Keynotes

The Education of a Software Engineer (Abstract)

Mehdi Jazayeri , Technical University of Vienna
pp. xviii-xxvii
Session T1: Program Analysis

A Differencing Algorithm for Object-Oriented Programs (Abstract)

Alessandro Orso , Georgia Institute of Technology, Atlanta
Mary Jean Harrold , Georgia Institute of Technology, Atlanta
Taweesup Apiwattanapong , Georgia Institute of Technology, Atlanta
pp. 2-13
Session T2: Tool Support for V&V Activities

Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool (Abstract)

John Grundy , University of Auckland, New Zealand
Yuhong Cai , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
pp. 36-45

Validating Personal Requirements by Assisted Symbolic Behavior Browsing (Abstract)

Robert J. Hall , AT&T Labs Research, Florham Park, NJ
Andrea Zisman , City University, London, UK
pp. 56-66
Session T3: Architecture and Frameworks

Automated Support for Framework Selection and Customization (Abstract)

Motoshi Saeki , Tokyo Institute of Technology, Japan
Teruyoshi Zenmyo , Tokyo Institute of Technology, Japan
Takashi Kobayashi , Tokyo Institute of Technology, Japan
pp. 68-77

Adaptable Concern-Based Framework Specialization in UML (Abstract)

Mika Pussinen , Tampure University of Technology, Finland
Tommi Mikkonen , Tampure University of Technology, Finland
Imed Hammouda , Tampure University of Technology, Finland
Johannes Koskinen , Tampure University of Technology, Finland
Mika Katara , Tampure University of Technology, Finland
pp. 78-87

ScriptEase: Generative Design Patterns for Computer Role-Playing Games (Abstract)

D. Szafron , University of Alberta, Edmonton, Canada
D. Parker , Electronic Arts Inc., Burnaby, Canada
J. Redford , BioWare Corp., Edmonton, Canada
M. Cutumisu , University of Alberta, Edmonton, Canada
J. Schaeffer , University of Alberta, Edmonton, Canada
M. McNaughton , University of Alberta, Edmonton, Canada
pp. 88-99

Modeling Web-Based Dialog Flows for Automatic Dialog Control (Abstract)

Volker Gruhn , University of Leipzig, Germany
Matthias Book , University of Leipzig, Germany
pp. 100-109
Session T4: Testing 1

Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls' (Abstract)

Nur Yilmazt? , ABB AB Corporate Research, Sweden
Christer Persson , ABB AB Corporate Research, Sweden
pp. 112-121

Property-Oriented Test Generation from UML Statecharts (Abstract)

Ji Wang , National Laboratory for Parallel and Distributed Processing, China
Shuhao Li , National Laboratory for Parallel and Distributed Processing, China
Zhi-Chang Qi , National Laboratory for Parallel and Distributed Processing, China
pp. 122-131

A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis (Abstract)

Amie Souter , Drexel University, Philadelphia, PA
Lori Pollock , University of Delaware, Newark, DE
Valentin Mihaylov , Drexel University, Philadelphia, PA
Sreedevi Sampath , University of Delaware, Newark, DE
pp. 132-141
Session T5: Verification of Code

Inferring Specifications to Detect Errors in Code (Abstract)

Mana Taghdiri , Massachusetts Institute of Technology, Cambridge, MA
pp. 144-153

Analyzing Interaction Orderings with Model Checking (Abstract)

Willem Visser , NASA Ames Research Center, Moffett Field, CA
Oksana Tkachuk , Kansas State University, Manhattan, KS
Matthew B. Dwyer , Kansas State University, Manhattan, KS
Robby , Kansas State University, Manhattan, KS
pp. 154-163

Verifying Interactive Web Programs (Abstract)

Daniel R. Licata , Brown University
Shriram Krishnamurthi , Brown University
pp. 164-173
Session T6: Testing 2
Session T6: Testing 2

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (Abstract)

Tao Xie , University of Washington, Seattle, WA
David Notkin , University of Washington, Seattle, WA
Darko Marinov , MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA
pp. 196-205
Session T7: Automated Programmer Assistance

Automated Data Mapping Specification via Schema Heuristics and User Interaction (Abstract)

Robert Amor , University of Auckland, New Zealand
Sebastian Bossung , Technical University of Hamburg, Germany
John Hosking , University of Auckland, New Zealand
Hermann Stoeckle , University of Auckland, New Zealand
John Grundy , University of Auckland, New Zealand
pp. 208-217

A Dataflow Language for Scriptable Debugging (Abstract)

Steven P. Reiss , Brown University, Providence, RI
Gregory H. Cooper , Brown University, Providence, RI
Shriram Krishnamurthi , Brown University, Providence, RI
Guillaume Marceau , Brown University, Providence, RI
pp. 218-227

Automatic Method Completion (Abstract)

Rosco Hill , University of Toronto, Canada
Joe Rideout , University of Toronto, Canada
pp. 228-235
Session T8: Modular Verification

Consistency Checking in an Infrastructure for Large-Scale Generative Programming (Abstract)

Axel Rauschmayer , Universit?t M?nchen
Alexander Knapp , Universit?t M?nchen
Martin Wirsing , Universit?t M?nchen
pp. 238-247

Verifiable Concurrent Programming Using Concurrency Controllers (Abstract)

Tevfik Bultan , University of California, Santa Barbara
Aysu Betin-Can , University of California, Santa Barbara
pp. 248-257

Parameterized Interfaces for Open System Verification of Product Lines (Abstract)

Colin Blundell , University of Pennsylvania
Shriram Krishnamurthi , Brown University
Pascal Van Hentenryck , Brown University
pp. 258-267
Session P1: Short Papers

A Statistical Model to Locate Faults at Input Level (Abstract)

Liu Chang , Beijing University of Aeronautics and Astronautics, Beijing, China
Jin Mao-zhong , Beijing University of Aeronautics and Astronautics, Beijing, China
Jia Xiao-xia , Beijing University of Aeronautics and Astronautics, Beijing, China
Yang Hai-yan , Beijing University of Aeronautics and Astronautics, Beijing, China
Wu Ji , Beijing University of Aeronautics and Astronautics, Beijing, China
Liu Chao , Beijing University of Aeronautics and Astronautics, Beijing, China
pp. 274-277

Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information (Abstract)

Ricardo Pereira e Silva , Federal University of Santa Catarina - UFSC
Evandro C?sar Freiberger , CEFET and University of Cuiab? - UNIC
pp. 278-281

Heuristic Search with Reachability Tests for Automated Generation of Test Programs (Abstract)

Tiong Hoe Loh , National University of Singapore
Wee Kheng Leow , National University of Singapore
Siau Cheng Khoo , National University of Singapore
Vivy Suhendra , National University of Singapore
pp. 282-285

COMPASS: Tool-Supported Adaptation of Interactions (Abstract)

Dirk Heuzeroth , Universit?t Karlsruhe, Germany
pp. 286-289

Combination model checking: approach and a case study (Abstract)

Yunja Choi , Fraunhofer Institute for Experimental Software Engineering
pp. 354-357
Session P1: Short Papers

A Case Study in JML-Based Software Validation (Abstract)

Y. Ledru , LSR-IMAG, France
J.-L. Lanet , La Vigie, av. du Jujubier, France
O. Maury , LSR-IMAG, France
L. du Bousquet , LSR-IMAG, France
C. Oriat , LSR-IMAG, France
pp. 294-297

Automated Performance Validation of Software Design: An Industrial Experience (Abstract)

Antinisca Di Marco , Universit? dell'Aquila, L'Aquila, Italy
Antonio D'Onofrio , Lab. NMSC2 Marconi-Selenia, L'Aquila, Italy
Paola Inverardi , Universit? dell'Aquila, L'Aquila, Italy
Daniele Compare , Lab. NMSC2 Marconi-Selenia, L'Aquila, Italy
pp. 298-301

CHET: A System for Checking Dynamic Specifications (Abstract)

Steven P. Reiss , Brown University, Providence, RI
pp. 302-305

From Testing to Diagnosis: An Automated Approach (Abstract)

Benoit Baudry , CEA-List, France
Franck Fleurey , IRISA, Campus Universitaire de Beaulieu, France
Yves Le Traon , IRISA, Campus Universitaire de Beaulieu, France
pp. 306-309

Aspect Mining Using Event Traces (Abstract)

Jens Krinke , FernUniversit?t in Hagen, Germany
Silvia Breu , MCT/NASA Ames, USA
pp. 310-315

A Case Study of Coverage-Checked Random Data Structure Testing (Abstract)

James H. Andrews , Univ. of Western Ontario, London
pp. 316-319

Mapping Template Semantics to SMV (Abstract)

Jianwei Niu , University of Waterloo
Joanne M. Atlee , University of Waterloo
Yun Lu , University of Waterloo
Nancy A. Day , University of Waterloo
pp. 320-325
Session P2: Short Papers

Refactoring Use Case Models on Episodes (Abstract)

Greg Butler , Concordia University, Canada
Jun Li , Concordia University, Canada
Wei Yu , Concordia University, Canada
pp. 328-331

Understanding Aspects via Implicit Invocation (Abstract)

Hridesh Rajan , University of Virginia
Jia Xu , University of Virginia
Kevin Sullivan , University of Virginia
pp. 332-335

Evaluating Clone Detection Techniques from a Refactoring Perspective (Abstract)

Serge Demeyer , University Of Antwerp, Belgium
Filip Van Rysselberghe , University Of Antwerp, Belgium
pp. 336-339

Combining the Box Structure Development Method and CSP (Abstract)

Philippa J. Hopcroft , Oxford University Computing Laboratory, United Kingdom
Guy H. Broadfoot , Verum Consultants, The Netherlands
pp. 340-345

Automated Analysis of Timing Information in UML Diagrams (Abstract)

Sascha Konrad , Michigan State University, E. Lansing, MI
Laura A. Campbell , Michigan State University, E. Lansing, MI
Betty H. C. Cheng , Michigan State University, E. Lansing, MI
pp. 350-353

Combination Model Checking: Approach and a Case Study (Abstract)

Yunja Choi , Fraunhofer Institute for Experimental Software Engineering, Germany
Mats P. E. Heimdahl , University of Minnesota, USA
pp. 354-357

Instant and Incremental Transformation of Models (Abstract)

Sven Johann , University of Applied Sciences Mannheim, Germany
Alexander Egyed , Teknowledge Corporation, Marina Del Rey, CA
pp. 362-365

RCAT: A Performance Analysis Tool (Abstract)

Zakarya Alzamil , Riyadh College of Technology, Saudi Arabia
pp. 366-370

Modeling Behavior in Compositions of Software Architectural Primitives (Abstract)

Nikunj R. Mehta , University of Southern California, Los Angeles
Farhad Arbab , Centrum Voor Wiskunde en Informatica, The Netherlands
Marjan Sirjani , Centrum Voor Wiskunde en Informatica, The Netherlands
Nenad Medvidovic , University of Southern California, Los Angeles
pp. 371-374

Evaluation of Tool Support for Architectural Evolution (Abstract)

Jan Bosch , University of Groningen, The Netherlands
Anton Jansen , University of Groningen, The Netherlands
pp. 375-378
Formal Tool Demo Presentations

ScriptEase: Generating Scripting Code for Computer Role-Playing Games (PDF)

D. Szafron , University of Alberta, Edmonton, Canada
D. Parker , Electronic Arts (Canada) Inc., Canada
M. Cutumisu , University of Alberta, Edmonton, Canada
J. Redford , BioWare Corp., Edmonton, Canada
M. McNaughton , University of Alberta, Edmonton, Canada
J. Schaeffer , University of Alberta, Edmonton, Canada
pp. 386-387

Using a Structure-based Configuration Tool for Product Derivation (Abstract)

Thorsten Krebs , Universit?t Hamburg
Lothar Hotz , Universit?t Hamburg
Katharina Wolter , Universit?t Hamburg
pp. 388-391

CodeCrawler - Polymetric Views in Action (PDF)

Michele Lanza , University of Zurich, Switzerland
pp. 394-395

T-UPPAAL: Online Model-based Testing of Real-Time Systems (PDF)

Kim G. Larsen , Aalborg University, Denmark
Brian Nielsen , Aalborg University, Denmark
Marius Mikucionis , Aalborg University, Denmark
pp. 396-397

An Environment for Building a System out of its Requirements (PDF)

P. Lindsay , University of Queensland, Australia
D. Carrington , University of Queensland, Australia
C. Smith , University of Queensland, Australia
I. Hayes , University of Queensland, Australia
G. Dromey , University of Queensland, Australia
K. Winter , University of Queensland, Australia
pp. 398-399
Doctoral Symposium

Automated Dynamic Reconfiguration using AI Planning (Abstract)

Naveed Arshad , University of Colorado at Boulder
pp. 402-405

Decision Support for Test Management in Iterative and Evolutionary Development (Abstract)

Rudolf Ramler , Software Competence Center Hagenberg, Austria
pp. 406-409

Decompositional Verification of Component-based Systems-A Hybrid Approach (Abstract)

Gaoyan Xie , Washington State University, Pullman, WA
pp. 414-417

Interactive Visualization of Concurrents Programs (Abstract)

Roberto Capuano , Universit? degli Studi di Salerno
pp. 418-421

Collaborative Tools for Mobile Requirements Acquisition (Abstract)

Norbert Seyff , Johannes Kepler University Linz, Austria
pp. 426-429

Modeling and Simulation of Context-Aware Mobile Systems (Abstract)

Ping Guo , University of Paderborn, Germany
Reiko Heckel , University of Paderborn, Germany
pp. 430-433

Author Index (PDF)

pp. 434-435
100 ms
(Ver )