The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2003)
Montreal, Quebec, Canada
Oct. 6, 2003 to Oct. 10, 2003
ISSN: 1527-1366
ISBN: 0-7695-2035-9

Preface (PDF)

pp. ix
Requirements, Interfaces and Groupware

An Empirical Study on Groupware Support for Software Inspection Meetings (Abstract)

Paul Gr?nbacher , Johannes Kepler University Linz
Stefan Biffl , Vienna University of Technology
Michael Halling , Johannes Kepler University Linz
pp. 4

Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications (Abstract)

Andrew Strelzoff , University of California Santa Barbara
Linda Petzold , University of California Santa Barbara
pp. 22
Testing I

Fault Localization With Nearest Neighbor Queries (Abstract)

Steven P. Reiss , Brown University
Manos Renieris , Brown University
pp. 30

Tool-Assisted Unit Test Selection Based on Operational Violations (Abstract)

David Notkin , University of Washington
Tao Xie , University of Washington
pp. 40
Software Architectures and Distributed Systems

DeCo: A Declarative Coordination Framework for Scientific Model Federations (Abstract)

Dean Herington , University of North Carolina at Chapel Hill
David Stotts , University of North Carolina at Chapel Hill
pp. 60
Model Checking

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (Abstract)

Mana Taghdiri , MIT CSAIL, Cambridge, MA
Ilya Shlyakhter , MIT CSAIL, Cambridge, MA
Robert Seater , MIT CSAIL, Cambridge, MA
Daniel Jackson , MIT CSAIL, Cambridge, MA
Manu Sridharan , UC Berkeley, Berkeley, CA
pp. 94

Parallel Breadth-First Search LTL Model-Checking (Abstract)

Jir? Barnat , Masaryk University Brno
Lubos Brim , Masaryk University Brno
Jakub Chaloupka , Masaryk University Brno
pp. 106

Automated Environment Generation for Software Model Checking (Abstract)

Corina S. Pasareanu , Kestrel Technology LLC
Matthew B. Dwyer , Kansas State University
Oksana Tkachuk , Kansas State University
pp. 116
Software Components

Aspectizing Server-Side Distribution (Abstract)

Eli Tilevich , Georgia Institute of Technology
Marc Fleury , The JBoss Group, Atlanta, GA
Yannis Smaragdakis , Georgia Institute of Technology
Stephan Urbanski , Georgia Institute of Technology
pp. 130

Automating Component Adaptation for Reuse (Abstract)

Perry Alexander , University of Kansas
Brandon Morel , University of Kansas
pp. 142

Model-based Verification of Web Service Compositions (Abstract)

Jeff Kramer , Imperial College London
Sebastian Uchitel , Imperial College London
Jeff Magee , Imperial College London
Howard Foster , Imperial College London
pp. 152
Testing II

What Test Oracle Should I Use for Effective GUI Testing? (Abstract)

Ishan Banerjee , University of Maryland, College Park, Maryland
Adithya Nagarajan , University of Maryland, College Park, Maryland
Atif Memon , University of Maryland, College Park, Maryland
pp. 164

A Type System for Statically Detecting Spreadsheet Errors (Abstract)

Yanif Ahmad , Brown University, Providence, RI
Tudor Antoniu , Brown University, Providence, RI
Shriram Krishnamurthi , Brown University, Providence, RI
Sharon Goldwater , Brown University, Providence, RI
pp. 174

Testing Database Transaction Concurrency (Abstract)

Zhongqiang Chen , Polytechnic University, Brooklyn, NY
Yuetang Deng , Polytechnic University, Brooklyn, NY
Phyllis Frankl , Polytechnic University, Brooklyn, NY
pp. 184
Software Evolution and Maintenance

On the automatic evolution of an OS kernel using temporal logic and AOP (Abstract)

Mario S?dholt , ?cole des Mines de Nantes/INRIA
Gilles Muller , ?cole des Mines de Nantes/INRIA
Anne-Fran?oise Le Meur , INRIA/LaBRI, ENSEIRB
Rickard A. ?berg , ?cole des Mines de Nantes/INRIA
Julia L. Lawall , University of Copenhagen
pp. 196

Unspeculation (Abstract)

Saumya Debray , The University of Arizona
Gregory Andrews , The University of Arizona
Noah Snavely , The University of Arizona
pp. 205

SPQR: Flexible Automated Design Pattern Extraction From Source Code (Abstract)

David Stotts , University of North Carolina at Chapel Hill
Jason McC. Smith , University of North Carolina at Chapel Hill
pp. 215

Automatically Inferring Concern Code from Program Investigation Activities (Abstract)

Gail C. Murphy , University of British Columbia
Martin P. Robillard , University of British Columbia
pp. 225
Short Papers

A Model-Driven Approach to Non-Functional Analysis of Software Architectures (Abstract)

Wolfgang Emmerich , University College London
James Skene , University College London
pp. 236

Extending Diagnosis to Debug Programs with Exceptions (Abstract)

Markus Stumptner , University of South Australia
Wolfgang Mayer , University of South Australia
pp. 240

Generating Design Pattern Detectors from Pattern Specifications (Abstract)

Welf L? , V?xj? universitet
Dirk Heuzeroth , Universit?t Karlsruhe
Stefan Mandel , Universit?t Karlsruhe
pp. 245

Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks (Abstract)

Bojan Cukic , West Virginia University
Harshinder Singh , West Virginia University
Lan Guo , West Virginia University
pp. 249

Automated Requirements-based Generation of Test Cases for Product Families (Abstract)

Simon Pickin , IRISA, Campus Universitaire de Beaulieu
Yves Le Traon , IRISA, Campus Universitaire de Beaulieu
Cl?mentine Nebut , IRISA, Campus Universitaire de Beaulieu
Jean-Marc J?z?quel , IRISA, Campus Universitaire de Beaulieu
pp. 263

XRay Views: Understanding the Internals of Classes (Abstract)

St?phane Ducasse , University of Bern, Switzerland
Gabriela Ar?valo , University of Bern, Switzerland
Oscar Nierstrasz , University of Bern, Switzerland
pp. 267

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (Abstract)

Julian Ball , Queen?s University, Kingston, Ontario,
Hugh D. Stewart , Queen?s University, Kingston, Ontario,
Christopher Wolfe , Queen?s University, Kingston, Ontario,
David Holman , Queen?s University, Kingston, Ontario,
Arthur G. Ryman , IBM Toronto Software Solutions Laboratory
T.C. Nicholas Graham , Queen?s University, Kingston, Ontario,
Christopher J. Turner , Queen?s University, Kingston, Ontario,
pp. 271

A Pragmatic Study of Binary Class Relationships (Abstract)

Yann-Ga? Gu?h?neuc , ?cole des Mines de Nantes
Herv? Albin-Amiot , ?cole des Mines de Nantes
pp. 277

The Feature Signatures of Evolving Programs (Abstract)

Daniel R. Licata , Brown University
Christopher D. Harris , Brown University
Shriram Krishnamurthi , Brown University
pp. 281

Test Suite Design for Code Generation Tools (Abstract)

Mirko Conrad , DaimlerChrysler AG
Ingo St? , DaimlerChrysler AG
pp. 286

Theoretical Foundations of Updating Systems (Abstract)

Mark Ryan , University of Birmingham
Hannah Harris , University of Birmingham
pp. 291

Certifying Measurement Unit Safety Policy (Abstract)

Grigore Rosu , University of Illinois at Urbana-Champaign
Feng Chen , University of Illinois at Urbana-Champaign
pp. 304

Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search (Abstract)

Raquel Blanco , University of Oviedo, Spain
Eugenia D?az , University of Oviedo, Spain
Javier Tuya , University of Oviedo, Spain
pp. 310

An Approach for Tracing and Understanding Asynchronous Architectures (Abstract)

Richard N. Taylor , University of California, Irvine
Eric M. Dashofy , University of California, Irvine
Scott A. Hendrickson , University of California, Irvine
pp. 318

Refactoring C with Conditional Compilation (Abstract)

Alejandra Garrido , University of Illinois at Urbana-Champaign
Ralph Johnson , University of Illinois at Urbana-Champaign
pp. 323

A Java Component Model for Evolving Software Systems (Abstract)

Moacir C. da Silva Jr , University of Campinas - Brazil
Paulo A. de C. Guerra , University of Campinas - Brazil
Cec?lia M. F. Rubira , University of Campinas - Brazil
pp. 327

Depiction and Playout of Multi-threaded Program Executions (Abstract)

Abhik Roychoudhury , National University of Singapore
pp. 331

Applying AutoBayes to the Analysis of Planetary Nebulae Images (Abstract)

Bernd Fischer , RIACS / NASA Ames Research Center
Johann Schumann , RIACS / NASA Ames Research Center
pp. 337

Automation for Exception Freedom Proofs (Abstract)

Bill J. Ellis , Heriot-Watt University
Andrew Ireland , Heriot-Watt University
pp. 343
Doctoral Symposium Papers

Detecting Requirements Interactions: A Three-Level Framework (Abstract)

Mohamed Shehata , University of Calgary
Armin Eberlein , University of Calgary
pp. 352

Automating Relative Debugging (Abstract)

John Gough , Queensland University of Technology
David Abramson , Monash University
Aaron Searle , Queensland University of Technology
pp. 356

Visual Specification of Concurrent Systems (Abstract)

David Safr?nek , Masaryk University Brno
pp. 369

VUML : a Viewpoint oriented UML Extension (Abstract)

Mahmoud Nassar , GRIMM - IRIT, Universit? de Toulouse le Mirail
pp. 373

Author Index (PDF)

pp. 381
94 ms
(Ver 3.1 (10032016))