The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2008)
L'Aquila
Sept. 15, 2008 to Sept. 19, 2008
ISBN: 978-1-4244-2187-9
TABLE OF CONTENTS
Papers

Forward (PDF)

pp. viii

Table of contents (PDF)

pp. ix-xxi

Sponsors: (PDF)

pp. xxii

ASE 2008 Committee (PDF)

pp. v-vii

Swarm Verification (Abstract)

G.J. Holzmann , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
R. Joshi , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
A. Groce , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
pp. 1-6

Reflections on, and Predictions for, Support Systems for the Development of Programs (Abstract)

C.B. Jones , Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne
pp. 7-8

Increasing Test Granularity by Aggregating Unit Tests (Abstract)

M.B. Dwyer , Univ. of Nebraska - Lincoln, Lincoln, NE
S. Elbaum , Univ. of Nebraska - Lincoln, Lincoln, NE
M. Jorde , Univ. of Nebraska - Lincoln, Lincoln, NE
pp. 9-18

Random Test Run Length and Effectiveness (Abstract)

J.H. Andrews , Dept. of Comput. Sci., Univ. of Western Ontario, London, ON
pp. 19-28

IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes (Abstract)

G. Tortora , Dept. of Math.&Inf., Univ. of Salerno, Fisciano
R. Oliveto , Dept. of Math.&Inf., Univ. of Salerno, Fisciano
A. De Lucia , Dept. of Math.&Inf., Univ. of Salerno, Fisciano
pp. 39-48

Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models (Abstract)

P. Mader , Dept. of Software Syst., Ilmenau Tech. Univ., Ilmenau
O. Gotel , Dept. of Software Syst., Ilmenau Tech. Univ., Ilmenau
pp. 49-58

Automated Verification of Multi-Agent Programs (Abstract)

R.H. Bordini , Dept. of Comput. Sci., Durham Univ., Durham
pp. 69-78

Validating Real Time Specifications using Real Time Event Queue Modeling (Abstract)

R.J. Hall , AT&T Labs. Res., Florham Park, NJ
pp. 79-88

Automatic Inference of Frame Axioms Using Static Analysis (Abstract)

A.J. Hu , Dept. of Comput. Sci., Univ. of British Columbia, Vancouver, BC
Z. Rakamaric , Dept. of Comput. Sci., Univ. of British Columbia, Vancouver, BC
pp. 89-98

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (Abstract)

A. Egyed , Inst. for Syst. Eng.&Autom., Johannes Kepler Univ., Linz
pp. 99-108

Mining Scenario-Based Triggers and Effects (Abstract)

S. Maoz , Singapore Manage. Univ., Singapore
pp. 109-118

Evaluating Models for Model-Based Debugging (Abstract)

W. Mayer , Adv. Comput. Res. Centre, Univ. of South Australia, Mawson Lakes, SA
M. Stumptner , Adv. Comput. Res. Centre, Univ. of South Australia, Mawson Lakes, SA
pp. 128-137

Error Reporting Logic (Abstract)

T. Quan , Carnegie Mellon Univ., Pittsburgh, PA
J. Aldrich , Carnegie Mellon Univ., Pittsburgh, PA
C. Jaspan , Carnegie Mellon Univ., Pittsburgh, PA
pp. 138-147

Efficient Monitoring of Parametric Context-Free Patterns (Abstract)

G. Rosu , Univ. of Illinois at Urbana-Champaign, Urbana, IL
D. Jin , Univ. of Illinois at Urbana-Champaign, Urbana, IL
F. Chen , Univ. of Illinois at Urbana-Champaign, Urbana, IL
P.O. Meredith , Univ. of Illinois at Urbana-Champaign, Urbana, IL
pp. 148-157

A Framework for Dynamic Service Discovery (Abstract)

A. Zisman , Dept. of Comput., City Univ. London, London
J. Dooley , Dept. of Comput., City Univ. London, London
G. Spanoudakis , Dept. of Comput., City Univ. London, London
pp. 158-167

A Methodology and Framework for Creating Domain-Specific Development Infrastructures (Abstract)

G. Edwards , Comput. Sci. Dept., Univ. of Southern California, Los Angeles, CA
N. Medvidovic , Comput. Sci. Dept., Univ. of Southern California, Los Angeles, CA
pp. 168-177

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (Abstract)

C. Sinz , ITI VerAE Group, Univ. of Karlsruhe, Karlsruhe
H. Post , ITI VerAE Group, Univ. of Karlsruhe, Karlsruhe
pp. 188-197

Effort Estimation in Capturing Architectural Knowledge (Abstract)

F. Nava , Depto. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
R. Capilla , Depto. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
pp. 208-217

Test-Suite Augmentation for Evolving Software (Abstract)

R. Santelices , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
pp. 218-227

Query-Aware Test Generation Using a Relational Constraint Solver (Abstract)

S. Khurshid , Univ. of Texas at Austin, Austin, TX
B. Elkarablieh , Univ. of Texas at Austin, Austin, TX
S.A. Khalek , Univ. of Texas at Austin, Austin, TX
Y.O. Laleye , Univ. of Texas at Austin, Austin, TX
pp. 238-247

Inferring Finite-State Models with Temporal Constraints (Abstract)

N. Walkinshaw , Dept. of Comput. Sci., Univ. of Sheffield, Sheffield
K. Bogdanov , Dept. of Comput. Sci., Univ. of Sheffield, Sheffield
pp. 248-257

Type-Checking Software Product Lines - A Formal Approach (Abstract)

C. Kastner , Sch. of Comput. Sci., Univ. of Magdeburg, Magdeburg
pp. 258-267

Using Simulation to Investigate Requirements Prioritization Strategies (Abstract)

D. Port , Inf. Technol. Manage. Univ. of Hawaii, Honolulu, HI
A. Olkov , Inf. Technol. Manage. Univ. of Hawaii, Honolulu, HI
pp. 268-277

Automated Aspect Recommendation through Clustering-Based Fan-in Analysis (Abstract)

Danfeng Zhang , Key Lab. of High Confidence Software Technol., Peking Univ., Beijing
Xiangqun Chen , Key Lab. of High Confidence Software Technol., Peking Univ., Beijing
Yao Guo , Key Lab. of High Confidence Software Technol., Peking Univ., Beijing
pp. 278-287

Predictive Typestate Checking of Multithreaded Java Programs (Abstract)

K. Sen , EECS, UC, Berkeley, CA
P. Joshi , EECS, UC, Berkeley, CA
pp. 288-296

Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (Abstract)

Tao Xie , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
K. Inkumsah , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
pp. 297-306

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections (Abstract)

R. Tzoref , IBM, Haifa Univ. Campus, Haifa
E. Yom-Tov , IBM, Haifa Univ. Campus, Haifa
S. Hoory , IBM, Haifa Univ. Campus, Haifa
S. Ur , IBM, Haifa Univ. Campus, Haifa
pp. 307-316

How Program History Can Improve Code Completion (Abstract)

M. Lanza , Lugano Univ., Lugano
R. Robbes , Lugano Univ., Lugano
pp. 317-326

SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web (Abstract)

S. Thummalapenta , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
Tao Xie , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
pp. 327-336

Generic Patch Inference (Abstract)

J. Andersen , DIKU, Univ. of Copenhagen, Copenhagen
J.L. Lawall , DIKU, Univ. of Copenhagen, Copenhagen
pp. 337-346

Configuration Lifting: Verification meets Software Configuration (Abstract)

H. Post , Inst. for Theor. Comput. Sci., Univ. of Karlsruhe, Karlsruhe
C. Sinz , Inst. for Theor. Comput. Sci., Univ. of Karlsruhe, Karlsruhe
pp. 347-350

A Case Study on the Automatic Composition of Network Application Mashups (Abstract)

M. Shevertalov , Dept. of Comput. Sci., Drexel Univ., Philadelphia, PA
S. Mancoridis , Dept. of Comput. Sci., Drexel Univ., Philadelphia, PA
pp. 359-362

Predicting Effectiveness of Automatic Testing Tools (Abstract)

B. Daniel , Univ. of Illinois at Urbana-Champaign, Urbana, IL
pp. 363-366

Software Cost Estimation using Fuzzy Decision Trees (Abstract)

E. Papatheocharous , Dept. of Comput. Sci., Univ. of Cyprus, Nicosia
A.S. Andreou , Dept. of Comput. Sci., Univ. of Cyprus, Nicosia
pp. 371-374

Rhizome: A Feature Modeling and Generation Platform (Abstract)

E.J. Whitehead , Dept. of Comput. Sci., Univ. of California, Santa Cruz, CA
Guozheng Ge , Dept. of Comput. Sci., Univ. of California, Santa Cruz, CA
pp. 375-378

Combining the Analysis of Spatial Layout and Text to Support Design Exploration (Abstract)

J.M. Moore , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX
F.M. Shipman , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX
pp. 379-382

Using Cluster Analysis to Improve the Design of Component Interfaces (Abstract)

J. Zonneveld , Delft Univ. of Technol., Delft
A. van Deursen , Delft Univ. of Technol., Delft
R. Adnan , Delft Univ. of Technol., Delft
B. Graaf , Delft Univ. of Technol., Delft
pp. 383-386

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (Abstract)

K. Ku , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
T.E. Hart , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
pp. 387-390

An Assume Guarantee Verification Methodology for Aspect-Oriented Programming (Abstract)

M. Ispir , Inf. Inst. Middle East Tech. Univ., Ankara
A. Betin Can , Inf. Inst. Middle East Tech. Univ., Ankara
pp. 391-394

Living with the Law: Can Automation give us Moore with Less? (Abstract)

J. Baldwin , Univ. of Victoria, Manchester
C. Gibbs , Univ. of Victoria, Manchester
pp. 395-398

VCR: Virtual Capture and Replay for Performance Testing (Abstract)

G. De Angelis , Consiglio Naz. delle Ric., Ist. di Scienza e Tecnol. dell'Inf., Pisa
A. Sabetta , Consiglio Naz. delle Ric., Ist. di Scienza e Tecnol. dell'Inf., Pisa
A. Bertolino , Consiglio Naz. delle Ric., Ist. di Scienza e Tecnol. dell'Inf., Pisa
pp. 399-402

A Case for Automatic Exception Handling (Abstract)

P. Marques , CISUC, Univ. of Coimbra, Coimbra
B. Cabral , CISUC, Univ. of Coimbra, Coimbra
pp. 403-406

DiffGen: Automated Regression Unit-Test Generation (Abstract)

K. Taneja , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
Tao Xie , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
pp. 407-410

An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach (Abstract)

D.A. Turner , Dept. of Comput. Sci., California State Univ. San Bernardino, San Bernardino, CA
pp. 411-414

The Consistency of Web Conversations (Abstract)

R. Majumdar , Comput. Sci. Dept., Univ. of California Los Angeles, Los Angeles, CA
J. Fischer , Comput. Sci. Dept., Univ. of California Los Angeles, Los Angeles, CA
pp. 415-418

Testing Peers' Volatility (Abstract)

E.C. de Almeida , LINA, Univ. de Nantes, Nantes
G. Sunye , LINA, Univ. de Nantes, Nantes
pp. 419-422

A Two-Step Approach for Modelling Flexibility in Software Processes (Abstract)

R. Martinho , Dept. of Inf. Eng., Polytech. Inst. of Leiria, Leiria
pp. 427-430

A Generic Approach for Class Model Normalization (Abstract)

J.-R. Falleri , LIRMM, Univ. Montpellier, Montpellier
M. Huchard , LIRMM, Univ. Montpellier, Montpellier
C. Nebut , LIRMM, Univ. Montpellier, Montpellier
pp. 431-434

Rapid: Identifying Bug Signatures to Support Debugging Activities (Abstract)

J.A. Jones , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
A. Orso , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
Hwa-You Hsu , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
pp. 439-442

Heuristics for Scalable Dynamic Test Generation (Abstract)

K. Sen , EECS, UC Berkeley, Berkeley, CA
J. Burnim , EECS, UC Berkeley, Berkeley, CA
pp. 443-446

Managing Models through Macromodeling (Abstract)

J. Mylopoulos , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
R. Salay , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
S. Easterbrook , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
pp. 447-450

Cleman: Comprehensive Clone Group Evolution Management (Abstract)

Tung Thanh Nguyen , Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
T.N. Nguyen , Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
H.A. Nguyen , Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
J.M. Al-Kofahi , Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
N.H. Pham , Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
pp. 451-454

Composition of Qualitative Adaptation Policies (Abstract)

F. Chauvel , INRIA, Univ. de Rennes 1, Rennes
J.-M. Jezequel , INRIA, Univ. de Rennes 1, Rennes
O. Barais , INRIA, Univ. de Rennes 1, Rennes
pp. 455-458

A System for Supporting Development of Large Scaled Rich Internet Applications (Abstract)

Y. Yamamoto , Grad. Sch. of Sci.&Techinology, Keio Univ., Yokohama
H. Fukuda , Grad. Sch. of Sci.&Techinology, Keio Univ., Yokohama
pp. 459-462

Model-Driven Development of Mobile Personal Health Care Applications (Abstract)

A. Khambati , Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Warren , Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Grundy , Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Hosking , Dept. of Comput. Sci., Univ. of Auckland, Auckland
pp. 467-470

Enforcing Structural Regularities in Source Code using IntensiVE (Abstract)

K. Mens , Univ. Catholique de Louvain, Louvain-la-Neuve
J. Brichau , Univ. Catholique de Louvain, Louvain-la-Neuve
pp. 471-472

QuARS Express - A Tool Demonstration (Abstract)

A. Bucchiarone , Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
G. Lami , Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
G. Trentanni , Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
S. Gnesi , Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
A. Fantechi , Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
pp. 473-474

MTSA: The Modal Transition System Analyser (Abstract)

N. D'Ippolito , FCEN, Univ. of Buenos Aires, Buenos Aires
S. Uchitel , FCEN, Univ. of Buenos Aires, Buenos Aires
D. Fischbein , FCEN, Univ. of Buenos Aires, Buenos Aires
pp. 475-476

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation (Abstract)

J. Hosking , Dept. of Comput. Sci., Univ. of Auckland, Auckland
Lei Li , Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Grundy , Dept. of Comput. Sci., Univ. of Auckland, Auckland
pp. 477-478

PtYasm: Software Model Checking with Proof Templates (Abstract)

K. Ku , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
T.E. Hart , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
pp. 479-480

Semi-Automating Pragmatic Reuse Tasks (Abstract)

R. Holmes , Lab. for Software Modification Res., Univ. of Calgary, Calgary, AB
R.J. Walker , Lab. for Software Modification Res., Univ. of Calgary, Calgary, AB
pp. 481-482

APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars (Abstract)

D. Ordonez Camacho , Univ. Catholique de Louvain, Louvain-la-Neuve
Kim Mens , Univ. Catholique de Louvain, Louvain-la-Neuve
pp. 489-490

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems (Abstract)

I. Crnkovic , Sch. of Innovation, Malardalen Univ., Vasteras
P. Pettersson , Sch. of Innovation, Malardalen Univ., Vasteras
S. Sentilles , Sch. of Innovation, Malardalen Univ., Vasteras
pp. 493-494

The Clem Toolkit (Abstract)

D. Gaffe , LEAT Lab., Univ. of Nice, Valbonne
pp. 495-496

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (Abstract)

M. Staats , Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
A. Rajan , Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
M.P.E. Heimdahl , Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
W. Deng , Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
pp. 499-500

Tools for Traceability in Secure Software Development (Abstract)

J. Jurjens , Open Univ., Milton Keynes
Yijun Yu , Open Univ., Milton Keynes
pp. 503-504

Unifying Analysis Tools with Rosetta (Abstract)

N. Frisby , Inf. Technol.&Telecommun. Center, Univ. of Kansas, Lawrence, KS
pp. 505-508

Model-Driven Development of Mobile Applications (Abstract)

H. Hussmann , Adviser: Heinrich Hussmann Dept. of Comput. Sci., Univ. of Munich, Munich
F.T. Balagtas-Fernandez , Adviser: Heinrich Hussmann Dept. of Comput. Sci., Univ. of Munich, Munich
pp. 509-512

Automated Web Performance Analysis (Abstract)

M. Pinzger , Dept. of Telecooperation, Johannes Kepler Univ., Linz
pp. 513-516

Automatic Test Generation for LUSTRE/SCADE Programs (Abstract)

V. Papailiopoulou , LIG, Univ. of Grenoble I, Grenoble
pp. 517-520

Feature Interaction Detection in the Automotive Domain (Abstract)

A.L. Juarez Dominguez , David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON
pp. 521-524

Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems (Abstract)

A. Eltaher , Dept. of Vehicle Electron. Syst., Univ. of Braunschweig, Braunschweig
pp. 525-528
105 ms
(Ver )