The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2001)
San Diego, California
Nov. 26, 2001 to Nov. 29, 2001
ISBN: 0-7695-1426-X
TABLE OF CONTENTS

Preface (PDF)

pp. xi

Program Committee (PDF)

pp. xiii
Session I-A: Testing I

A New Way of Automating Statistical Testing Methods (Abstract)

S.-D. Gouraud , L.R.I., Universit? Paris-Sud
B. Marre , L.R.I., Universit? Paris-Sud; CEA, LIST/DTSI/SLA/LSL
A. Denise , L.R.I., Universit? Paris-Sud
M.-C. Gaudel , L.R.I., Universit? Paris-Sud
pp. 5

Automatic Test Data Generation for Programs with Integer and Float Variables (Abstract)

Nguyen Tran Sy , Universit? catholique de Louvain
Yves Deville , Universit? catholique de Louvain
pp. 13

TestEra: A Novel Framework for Automated Testing of Java Programs (Abstract)

Darko Marinov , MIT Laboratory for Computer Science
Sarfraz Khurshid , MIT Laboratory for Computer Science
pp. 22
Session I-B: Transformation/Construction I

Generating EDI Message Translations from Visual Specifications (Abstract)

Rick Mugridge , University of Auckland
Paul Kendall , Orion Systems Ltd
John Hosking , University of Auckland
John Grundy , University of Auckland
pp. 35

The Synthesis of a Java Card Tokenization Algorithm (Abstract)

Ewen Denney , University of Edinburgh
pp. 43

Wins and Losses of Algebraic Transformations of Software Architectures (Abstract)

H. M. Fahmy , University of Waterloo
R. C. Holt , University of Waterloo
J. R. Cordy , Queen?s University
pp. 51

Certifying Domain-Specific Policies (Abstract)

Grigore Rosu , NASA Ames Research Center
Thomas Pressburger , NASA Ames Research Center
Michael Lowry , NASA Ames Research Center
pp. 81

Automated Validation of Software Models (Abstract)

Ken Butts , Ford Motor Company
Rance Cleaveland , Reactive Systems, Inc.
Steve Sims , Reactive Systems, Inc.
Scott Ranville , New Eagle Software
pp. 91
Session II-B: Structure

Context-Aware Browsing of Large Component Repositories (Abstract)

Yunwen Ye , SRA Key Technology Laboratory, Inc; University of Colorado
Gerhard Fischer , University of Colorado
pp. 99

Identification of High-Level Concept Clones in Source Code (Abstract)

Andrian Marcus , Kent State University
Jonathan I. Maletic , Kent State University
pp. 107

Static Consistency Checking for Distributed Specifications (Abstract)

Wolfgang Emmerich , University College London
Anthony Finkelstein , University College London
Christian Nentwich , University College London
pp. 115
Session III-A: Testing II

Test Purposes: Adapting the Notion of Specification to Testing (Abstract)

L. du Bousquet , Laboratoire Logiciels Syst?mes R?seaux/IMAG
O. Maury , Laboratoire Logiciels Syst?mes R?seaux/IMAG
P. Bontron , Laboratoire Logiciels Syst?mes R?seaux/IMAG
Y. Ledru , Laboratoire Logiciels Syst?mes R?seaux/IMAG
M.-L. Potet , Laboratoire Logiciels Syst?mes R?seaux/IMAG
C. Oriat , Laboratoire Logiciels Syst?mes R?seaux/IMAG
pp. 127

Monitoring Programs Using Rewriting (Abstract)

Grigore Rosu , NASA Ames Research Center
Klaus Havelund , NASA Ames Research Center
pp. 135

Program Execution-Based Module Cohesion Measurement (Abstract)

Praveen Rao , The University of Arizona
Neelam Gupta , The University of Arizona
pp. 144
Session III-B: Transformation/Construction II

Composition and Refinement of Behavioral Specifications (Abstract)

Dusko Pavlovic , Kestrel Institute
Douglas R. Smith , Kestrel Institute
pp. 157

Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together (Abstract)

Yann-Gaël Guéhéneuc , ?cole des Mines de Nantes
Hervé Albin-Amiot , ?cole des Mines de Nantes
Pierre Cointe , ?cole des Mines de Nantes
Narendra Jussien , ?cole des Mines de Nantes
pp. 166

Connectors Synthesis for Deadlock-Free Component-Based Architectures (Abstract)

Simone Scriboni , Universit? dell?Aquila
Paola Inverardi , Universit? dell?Aquila
pp. 174
Session IV-A: Analysis/Real Time

Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions (Abstract)

John Grundy , University of Auckland
Yuhong Cai , University of Auckland
Anna Liu , CSIRO Mathematical and Information Sciences
pp. 193

Tailoring a COTS Group Support System for Software Requirements Inspection (Abstract)

Stefan Biffl , Fraunhofer Institute for Experimental Software Engineering
Paul Grünbacher , Johannes Kepler University Linz
Michael Hallin , Vienna University of Technology
pp. 201
Session IV-B: Reverse Engineering and Integration

Automatically Restructuring Programs for the Web (Abstract)

Matthias Felleisen , Northeastern University
Paul Graunke , Northeastern University
Shriram Krishnamurthi , Brown University
Robert Bruce Findler , Rice Univeristy
pp. 211

Adequate Reverse Engineering (Abstract)

R. E. Kurt Stirewalt , Michigan State University
Spencer Rugaber , Georgia Institute of Technology
Terry Shikano , Georgia Institute of Technology
pp. 232
Session V-A: Model Checking

Enhancing Partial-Order Reduction via Process Clustering (Abstract)

Twan Basten , Eindhoven University of Technology
Dragan Bosnacki , Eindhoven University of Technology
pp. 245

Combining Static Analysis and Model Checking for Software Analysis (Abstract)

Willem Visser , RIACS/NASA Ames Research Center
Guillaume Brat , Kestrel/NASA Ames Research Center
pp. 262
Session V-B: Specification and Model Engineering

Towards a Precise Definition of the OMG/MDA Framework (Abstract)

Olivier Gerbé , HEC - Montr?al
Jean Bézivin , Universit? de Nantes
pp. 273

Shared Variables Interaction Diagrams (Abstract)

Radu Grosu , State University of New York at Stony Brook
Rajeev Alur , University of Pennsylvania
pp. 281

Modeling Class Operations in B: Application to UML Behavioral Diagrams (Abstract)

Hung LEDANG , LORIA - Universit? Nancy 2
Jeanine SOUQUIÈRES , LORIA - Universit? Nancy 2
pp. 289

Automated Software Engineering Using Concurrent Class Machines (Abstract)

Radu Grosu , State University of New York at Stony Brook
Jingyu Yan , State University of New York at Stony Brook
Yanhong A. Liu , State University of New York at Stony Brook
Scott D. Stoller , State University of New York at Stony Brook
Scott Smolka , State University of New York at Stony Brook
pp. 297
Short Papers

Higher Order Function Synthesis Through Proof Planning (Abstract)

Andrew Ireland , Heriot-Watt University
Andrew Cook , Heriot-Watt University
Greg Michaelson , Heriot-Watt University
pp. 307

A UML Validation Toolset Based on Abstract State Machines (Abstract)

Wuwei Shen , The University of Michigan
James Huggins , Kettering University
Kevin Compton , The University of Michigan
pp. 315

Semi-Automated Verification of Erlang Code (Abstract)

Dilian Gurov , Swedish Institute of Computer Science
Thomas Noll , Aachen University of Technology
Lars-Åke Fredlund , Swedish Institute of Computer Science
pp. 319

Automatic Verification of Java Design Patterns (Abstract)

Alan Bundy , University of Edinburgh
Ian Stark , University of Edinburgh
Alex Blewitt , University of Edinburgh
pp. 324

Tracing Execution of Software for Design Coverage (Abstract)

Raimondas Lencevicius , Nokia Research Center
Alexander Ran , Nokia Research Center
Edu Metz , Nokia Research Center
pp. 328

Model Checking for an Executable Subset of UML (Abstract)

James C. Browne , University of Texas at Austin
Fei Xie , University of Texas at Austin
Vladimir Levin , Bell Laboratories
pp. 333

A Technique for Mutation of Java Objects (Abstract)

Sudipto Ghosh , Colorado State University
James M. Bieman , Colorado State University
Roger T. Alexander , Colorado State University
pp. 337

Automated Check of Architectural Models Consistency Using SPIN (Abstract)

Paola Inverardi , Universit? dell?Aquila - Via Vetoio
Henry Muccini , Universit? dell?Aquila - Via Vetoio
Patrizio Pelliccione , Universit? dell?Aquila - Via Vetoio
pp. 346

An Analysis-Revision Cycle to Evolve Requirements Specifications (Abstract)

J. Kramer , Imperial College
A. S. d?Avila Garcez , Imperial College
A. Russo , Imperial College
B. Nuseibeh , The Open University
pp. 354

Developing Generative Frameworks Using XML (Abstract)

Iain McLaren , Searchspace Limited
Tony Wicks , Searchspace Limited
pp. 368

A Tool for Lazy Verification of Security Protocols (Abstract)

L. Vigneron , LORIA - UHP - UN2
Y. Chevalier , LORIA - UHP - UN2
pp. 373

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (Abstract)

Bruno Legeard , Laboratoire d?Informatique de l?Universit? de Franche-Comt?
Fabien Peureux , Laboratoire d?Informatique de l?Universit? de Franche-Comt?
pp. 377

Action Language Verifier (Abstract)

Tevfik Bultan , University of California
Tuba Yavuz-Kahveci , University of California
pp. 382

Better Reasoning About Software Engineering Activities (Abstract)

Tim Menzies , University of British Comlumbia
James D. Kiper , Miami University
pp. 391

Amphion/NAV: Deductive Synthesis of State Estimation Software (Abstract)

Johann Schumann , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Jon Whittle , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Guillaume Brat , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Michael Lowry , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Tom Pressburger , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Peter Robinson , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Jeffrey Van Baalen , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
John Penix , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Phil Oh , NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
pp. 395

Programs Are Abstract Data Types (Abstract)

Martin Erwig , Oregon State University
pp. 400

An Automated Tool for Analyzing Petri Nets Using SPIN (Abstract)

Sunil Gupta , Arizona State University
Gerald C. Gannod , Arizona State University
pp. 404

Formally Testing Fail-Safety of Electronic Purse Protocols (Abstract)

Guido Wimmel , Technische Universit?t M?nchen
Jan Jürjens , University of Oxford
pp. 408

Automata-Based Verification of Temporal Properties on Running Programs (Abstract)

Dimitra Giannakopoulou , NASA Ames Research Center
Klaus Havelund , NASA Ames Research Center
pp. 412

Towards an Evolutionary Formal Software Development (Abstract)

Dieter Hutter , German Research Center for Artificial Intelligence
Axel Schairer , German Research Center for Artificial Intelligence
pp. 417

A Concurrency Test Tool for Java Monitors (Abstract)

Dan Hoffman , University of Victoria
Brad Long , The University of Queensland, Brisbane
Paul Strooper , The University of Queensland, Brisbane
pp. 421

Enforcing Business Policies Through Automated Reconfiguration (Abstract)

M. Wermelinger , ATX Software SA; Univ. Lisbon
L. Andrade , ATX Software SA
J.L. Fiadeiro , ATX Software SA; Univ. Lisbon
pp. 426
Doctoral Symposium Abstracts

Design Rationale for Software Maintenance (PDF)

David C. Brown , Worcester Polytechnic Institute
Janet E. Burge , Worcester Polytechnic Institute
pp. 433

Security Specification and Verification (PDF)

Pascal Fenkam , Technical University of Vienna, Austria
pp. 434

Automatic Translation from UML Specifications to B (PDF)

Hung LeDang , University of Nancy 2, France
pp. 436

Model-Checking Real-Time Concurrent Systems (PDF)

Ilya Romanovsky , University of Durham, UK
pp. 439

Verify Properties of Mobile Code (PDF)

Songtao Xia , (Oregon Health Science University, USA)
pp. 440

Author Index (PDF)

pp. 441
101 ms
(Ver )