The Community for Technology Leaders
2013 IEEE International Conference on Software Maintenance (2001)
Florence, Italy
Nov. 7, 2001 to Nov. 9, 2001
ISSN: 1063-6773
ISBN: 0-7695-1189-9
TABLE OF CONTENTS

Referees (PDF)

pp. xviii
Keynotes

Keynote (PDF)

pp. 0
Panel 1
Panel 2
S1A: Reverse Engineering, Chair: Mary Jean Harrold

Representing and Accessing Extracted Information (Abstract)

Charles Clarke , University of Waterloo
Anthony Cox , University of Waterloo
pp. 12

Supporting Software Maintenance by Mining Software Update Records (Abstract)

Jelber Sayyad , University of Ottawa
C. Lethbridge , University of Ottawa
Shirabad Timothy , University of Ottawa
Stan Matwin , University of Ottawa
pp. 22
S1B: Program Analysis I, Chair: Jianjun Zhao

A Change Propagation Model and Platform For Multi-Database Applications (Abstract)

Mourad Bouneffa , Maison de la Recherche Blaise Pascal
Noredine Melab , Maison de la Recherche Blaise Pascal
Henri Basson , Maison de la Recherche Blaise Pascal
Laurent Deruelle , Maison de la Recherche Blaise Pascal
pp. 42

Implementation Techniques for Efficient Data-Flow Analysis of Large Programs (Abstract)

Darren C. Atkinson , Santa Clara University
William G. Griswold , University of California San Diego
pp. 52

Flow Analysis to Detect Blocked Statements (Abstract)

Michel Dagenais , Ecole Polytechnique
Giuliano Antoniol , University of Sannio
Ettore Merlo , Ecole Polytechnique
Bruno Malenfant , Ecole Polytechnique
pp. 62
S1C: Change Driven Testing, Chair: Lee White

Incorporating Incremental Validation and Impact Analysis into Spreadsheet Maintenance: An Empirical Study (Abstract)

Curtis R. Cook , Oregon State University
Chris Wallace , Oregon State University
Gregg Rothermel , Oregon State University
Daniel Keller , Oregon State University
Vijay B. Krishna , Oregon State University
Joshua Cantrell , Oregon State University
Margaret M. Burnett , Oregon State University
pp. 72

An Implementation of and Experiment with Semantic Differencing (Abstract)

C. Smith , Loyola College
D. Binkley , Loyola College
R. Capellini , Loyola College
R. Raszewski , Loyola College
pp. 82

Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage (Abstract)

Mary Jean Harrold , Georgia Institute of Technology
James A. Jones , Georgia Institute of Technology
pp. 92
Industrial Short Papers, Chair: Harry Sneed
S2A: Metrics, Chair: Taz Daughtrey

The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program (Abstract)

Marvin V. Zelkowitz , Fraunhofer Center for Experimental Software Engineering
Ioana Rus , Fraunhofer Center for Experimental Software Engineering
pp. 118
S2B: Slicing, Chair: Jeffrey Voas

Pre/Post Conditioned Slicing (Abstract)

Mark Harman , Brunel University
Sebastian Danicic , University of London
Rob Hierons , Brunel University
John Howroyd , University of London
Chris Fox , University of London
pp. 138

Web Application Slicing (Abstract)

Filippo Ricca , ITC-irst
Paolo Tonella , ITC-irst
pp. 148

Incremental Slicing Based on Data-Dependences Types (Abstract)

Saurabh Sinha , Georgia Institute of Technology
Alessandro Orso , Georgia Institute of Technology
Mary Jean Harrold , Georgia Institute of Technology
pp. 158
S2C: Impact Analysis, Chair: Shawn Bohner

The Impact of Software Evolution on Code Coverage Information (Abstract)

David Gable , University of Nebraska Lincoln
Sebastian Elbaum , University of Nebraska Lincoln
Gregg Rothermel , Oregon State University
pp. 170

Analyzing the Impact of Changing Requirements (Abstract)

James S. O'Neal , Louisiana State University
Doris L. Carver , Louisiana State University
pp. 190
Demos, Chair: Panos Linos
S3A: Effort Analysis, Chair: Fabrizio Fioravanti

Using Code Metrics to Predict Maintenance of Legacy Programs: A Case Study (Abstract)

Francisco Ruiz , University of Castilla-La Mancha
Mario Piattini , University of Castilla-La Mancha
Macario Polo , University of Castilla-La Mancha
pp. 202

Software Renewal Process Comprehension Using Dynamic Effort Estimation (Abstract)

Filippo Lanubile , Universit? di Bari
Danilo Caivano , Universit? di Bari
Giuseppe Visaggio , Universit? di Bari
pp. 209

An Approach to Modelling Long-Term Growth Trends in Software Systems (Abstract)

J.F. Ramil , Imperial College of Science, Technology and Medicine
M.M. Lehman , Imperial College of Science, Technology and Medicine
U. Sandler , Jerusalem College of Technology
pp. 219
S3B: Tools, Chair: Panos Linos

RIPPLES: Tool for Change in Legacy Software (Abstract)

Vaclav Rajlich , Wayne State University
Kunrong Chen , Wayne State University
pp. 230

Integrating Information Sources for Visualizing Java Programs (Abstract)

Hausi Muller , University of Victoria
Jeff Michaud , University of Victoria
Margaret-Anne Storey , University of Victoria
pp. 250
S3C: Case Studies, Chair: Loredana Mancini

Defect Prevention through Defect Prediction: A Case Study at Infosys (Abstract)

B. Mohanty , Utkal University
Sanjay Mohapatra , Infosys Technologies Limited
pp. 260

Modeling clones evolution through time series (Abstract)

M. Di Penta , University of Sannio at Benevento
E. Merlo , Ecole Polytechnique de Montreal
G. Antoniol , University of Sannio at Benevento
G. Casazza , University of Naples "Federico II"
pp. 273

Does The Modern Code Inspection Have Value? (Abstract)

Harvey Siy , Lucent Technologies
Lawrence Votta , Motorola, Inc.
pp. 281
S4A: Rapid Evolution, Chair: Ned Chapin

An Architectural Model for Service-Based Software with Ultra Rapid Evolution (Abstract)

Pearl Brereton , Keele University
Keith Bennett , University of Durham
Nicolas Gold , UMIST
Malcolm Munro , University of Durham
Paul Layzell , UMIST
David Budgen , Keele University
pp. 292

Extreme Maintenance (Abstract)

Allen Higgins , IONA Technologies PLC
Tim Murphy , IONA Technologies PLC
Charles J. Poole , IONA Technologies PLC
Jan Willem Huisman , IONA Technologies PLC
pp. 301
S4B: Software Architectures I, Chair: Jean-Francois Girard

Aspects of Design and Implementation of a Multi-channel and Multi-modal Information System (Abstract)

H. Schulz , IBM Germany
J. Gergic , IBM Praha
L. Seredi , IBM Praha
L. Polymenakos , IBM T.J. Watson Research Center
V. Demesticha , IBM Hellas
M. Mast , IBM Germany
J. Kleindienst , IBM Praha
pp. 312
S4C: Behavior of Concurrent Programs, Chair: Ira D. Baxter

Measuring Behavioral Correspondence to a Timed Concurrent Model (Abstract)

Changjun Ma , New Mexico State University
Jonathan E. Cook , New Mexico State University
Cha He , New Mexico State University
pp. 332

Using Coordination to Restructure Sequential Source Code into a Concurrent Program (Abstract)

B. Koren , Centrum voor Wiskunde en Informatica
C.T.H. Everaars , Centrum voor Wiskunde en Informatica
F. Arbab , Centrum voor Wiskunde en Informatica
pp. 342
S5A: Documentation, Chair: Nicholas Zvegintzov

The State of Documentation Practice within Corrective Maintenance (Abstract)

Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
pp. 354

CVSSearch: Searching through Source Code using CVS Comments (Abstract)

Shao Zhang , University of New South Wales
Eric Chou , University of New South Wales
Joshua Wong , University of New South Wales
Qing Zhang , University of New South Wales
Andrew Y. Yao , University of New South Wales
Annie Chen , University of New South Wales
Amir Michail , University of New South Wales
pp. 364
S5B: UML, Chair: Norman Schneidewind

Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software (Abstract)

J. Bieman , Robert France and James M. Bieman
R. France , Robert France and James M. Bieman
pp. 386
S5C: Software Architectures II, Chair: Filippo Lanubile

The Build-Time Software Architecture View (Abstract)

Qiang Tu , University of Waterloo
Michael W. Godfrey , University of Waterloo
pp. 398

A Graph Pattern Matching Approach to Software Architecture Recovery (Abstract)

Kostas Kontogiannis , University of Waterloo
Kamran Sartipi , University of Waterloo
pp. 408
S6A: Maintenance Process Assessment and Improvement, Chair: Raj Sood

An Empirical Study of Maintenance Issues within Process Improvement Programmes in the Software Industry (Abstract)

Tracy Hall , University of Hertfordshire
Sarah Beecham , University of Hertfordshire
Austen Rainer , University of Hertfordshire
Nathan Baddoo , University of Hertfordshire
pp. 422

Evaluating the Predelivery Phase of ISO/IEC FDIS 14764 in the Swedish Context (Abstract)

Anna Grimlund Glassbrook , Stockholm University/Royal Institute of Technology
Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
Maria Nordin , Stockholm University/Royal Institute of Technology
pp. 431

Introducing Workflow Management in Software Maintenance Processes (Abstract)

Andrea de Lucia , University of Sannio
Sergio Betti , EDS Italia Software S.p.A.
Silvio Stefanucci , University of Sannio
Lerina Aversano , University of Sannio
pp. 441

Assessing Massive Maintenance Processes: An Empirical Study (Abstract)

Eugenio Pompella , EDS Italia Software S.p.A.
Andrea de Lucia , University of Sannio
Antonello Pannella , University of Sannio
Silvio Stefanucci , University of Sannio
pp. 451
S6B: Distributed Object Systems, Chair: Scott Tilley

A Customization Method for Network Management Functions without Modification of Off-the-shelf Components (Abstract)

Yoshikazu Yamamoto , Central Research Institute of Electric Power Industry (CRIEPI)
Tetsuo Otani , Keio University
pp. 460

Changing Java Programs (Abstract)

Susan Eisenbach , Imperial College
Chris Sadler , Middlesex University
pp. 479

Live Upgrades of CORBA Applications Using Object Replication (Abstract)

P.M. Melliar-Smith , University of California, Santa Barbara
L.A. Tewksbury , University of California, Santa Barbara
L.E. Moser , University of California, Santa Barbara
pp. 488
S6C: Business Models, Chair: Alberigi Quaranta

Towards A Business Maintenance Model (Abstract)

Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
pp. 500

A Queue Theory-Based Approach to Staff Software Maintenance Centers (Abstract)

M. di Penta , University of Sannio
G.A. di Lucca , University of Naples "Federico II"
F. Rago , EDS Italia Software
G. Casazza , University of Naples "Federico II"
G. Antoniol , University of Sannio
pp. 510

K-Mediator: Towards Evolving Information Systems (Abstract)

A. Cau , De Montfort University
S. Zhou , De Montfort University
H. Zedan , De Montfort University
X. Chen , De Montfort University
H. Yang , De Montfort University
N. Sampat , De Montfort University
pp. 520

A Client-Benefits Oriented Taxonomy Of ERP Maintenance (Abstract)

Taizan Chan , Queensland University of Technology
Celeste See Pui Ng , Queensland University of Technology
Guy G. Gable , Queensland University of Technology
pp. 528
Dissertation Forum, Chair: Alessandro Fantechi

Summary of Dynamically discovering likely program invariants (Abstract)

Michael D. Ernst , MIT Laboratory for Computer Science
pp. 540

A Formal Foundation for Object-Oriented Software Evolution (Abstract)

Tom Mens , Vrije Universiteit Brussel
pp. 549

Perspectives on Improving Software Maintenance (Abstract)

Frank Niessink , Software Engineering Research Centre
pp. 553
S7C: Design Patterns, Chair: Andrea de Lucia

A Declarative Evolution Framework for Object-Oriented Design Patterns (Abstract)

Tom Tourwé , Vrije Universiteit Brussel
Tom Mens , Vrije Universiteit Brussel
pp. 570

OO Design Patterns, Design Structure, and Program Changes: An Industrial Case Study (Abstract)

Helen J. Yang , Colorado State University
James M. Bieman , Colorado State University
Dolly Jain , Colorado State University
pp. 580
S8A: Dynamic and Static Analysis, Chair: Mark Harman

Dynamic and Static Views of Software Evolution (Abstract)

He Ji , University of Reading
Stephen Cook , University of Reading
Rachel Harrison , University of Reading
pp. 592

Aiding Program Comprehension by Static and Dynamic Feature Analysis (Abstract)

Rainer Koschke , Universit?t Stuttgart
Thomas Eisenbarth , Universit?t Stuttgart
Daniel Simon , Universit?t Stuttgart
pp. 602

Form: A Framework for Creating Views of Program Executions (Abstract)

Tim Souder , Drexel University
Spiros Mancoridis , Drexel University
Maher Salah , Drexel University
pp. 612
S8B: Legacy Systems, Chair: Roberto Ciampoli

Using Design Recovery Techniques to Transform Legacy Systems (Abstract)

Andrew J. Malton , University of Waterloo
Kevin A Schneider , University of Saskatchewan
James R. Cordy , Queen's University
Thomas R. Dean , Queen's University
pp. 622

Iterative Reengineering of Legacy Functions (Abstract)

Alessandro Bianchi , Universit? di Bari
Vittorio Marengo , Universit? di Bari
Giuseppe Visaggio , Universit? di Bari
Danilo Caivano , Universit? di Bari
pp. 632

A Decisional Framework for Legacy System Management (Abstract)

Eugenio Pompella , EDS Italia Software S.p.A.
Anna Rita Fasolino , University of Naples "Federico II"
Andrea de Lucia , University of Sannio
pp. 642
S8C: Short Papers, Chair: Pierfrancesco Bellini

Automating Language Conversion: A Case Study (Abstract)

Andrey A. Terekhov , St. Petersburg State University
pp. 654

The FermaT Assembler Re-engineering Workbench (Abstract)

M.P. Ward , De Montfort University
pp. 659

Software maintenance: an approach towards control (Abstract)

Rob J. Kusters , Eindhoven University of Technology
Fred J. Heemstra , Open University The Netherlands
pp. 667
S9B: Program Analysis II, Chair: Mark Harman

A Program Dependence Model for Concurrent Logic Programs and Its Applications (Abstract)

Jingde Cheng , Saitama University
Kazuo Ushijima , Institute of Systems & Information Technologies/KYUSHU
Jianjun Zhao , Fukuoka Institute of Technology
pp. 672

Syntax-Directed Construction of Value Dependence Graphs (Abstract)

David Byers , Link?pings universitet
Ture Pålsson , Link?pings universitet
Mariam Kamkar , Link?pings universitet
pp. 692
S10A: Testing, Chair: Maurizio Campanai

A Graphical Class Representation for Integrated Black- and White-Box Testing (Abstract)

Sami Beydeda , University of Dortmund
Michael Stachorski , adesso AG
Volker Gruhn , University of Dortmund
pp. 706

Using Component Metacontent to Support the Regression Testing of Component-Based Software (Abstract)

Mary Lou Soffa , University of Pittsburgh
Gregg Rothermel , Oregon State University
Hyunsook Do , Oregon State University
Mary Jean Harrold , Georgia Institute of Technology
David Rosenblum , University of California, Irvine
Alessandro Orso , Georgia Institute of Technology
pp. 716
S10B: Reengineering, Chair: Harry Sneed

Automated Support for Program Refactoring using Invariants (Abstract)

David Notkin , University of Washington
Yoshio Kataoka , University of Washington
William G. Griswold , University of California San Diego
Michael D. Ernst , MIT Lab for Computer Science
pp. 736

Author Index (PDF)

pp. 765
93 ms
(Ver 3.1 (10032016))