The Community for Technology Leaders
Software Engineering, International Conference on (2003)
Portland, Oregon
May 3, 2003 to May 10, 2003
ISSN: 0270-5257
ISBN: 0-7695-1877-X
TABLE OF CONTENTS

External Reviewers (PDF)

pp. xxiii
Component Technologies

Pluggable Reflection: Decoupling Meta-Interface and Implementation (Abstract)

John Vlissides , IBM T.J. Watson Research Center
David H. Lorenz , Northeastern University
pp. 3

Component Rank: Relative Significance Rank for Software Component Search (Abstract)

Katsuro Inoue , Osaka University
Makoto Matsushita , Osaka University
Hikaru Fujiwara , Osaka University
Reishi Yokomori , Osaka University
Tetsuo Yamamoto , Japan Science and Technology Corporation
Shinji Kusumoto , Osaka University
pp. 14

The Vienna Component Framework Enabling Composition Across Component Models (Abstract)

Johann Oberleitner , Technische Universit?t Wien
Mehdi Jazayeri , Technische Universit?t Wien
Thomas Gschwind , Technische Universit?t Wien
pp. 25
Testing I

Constructing Test Suites for Interaction Testing (Abstract)

Charles J. Colbourn , Arizona State University
Warwick B. Mugridge , University of Auckland
Myra B. Cohen , University of Auckland
Peter B. Gibbons , University of Auckland
pp. 38

Improving Web Application Testing with User Session Data (Abstract)

Srikanth Karre , University of Nebraska - Lincoln
Gregg Rothermel , Oregon State University
Sebastian Elbaum , University of Nebraska - Lincoln
pp. 49

Improving Test Suites via Operational Abstraction (Abstract)

Michael Harder , MIT Lab for Computer Science
Jeff Mellen , MIT Lab for Computer Science
Michael D. Ernst , MIT Lab for Computer Science
pp. 60
Empirical Studies I

Using Benchmarking to Advance Research: A Challenge to Software Engineering (Abstract)

Steve Easterbrook , University of Toronto
Richard C. Holt , University of Waterloo
Susan Elliott Sim , University of Toronto
pp. 74

End-User Software Engineering with Assertions in the Spreadsheet Paradigm (Abstract)

Margaret Burnett , Oregon State University
Curtis Cook , Oregon State University
Jay Summet , Oregon State University
Gregg Rothermel , Oregon State University
Omkar Pendse , Oregon State University
Chris Wallace , Oregon State University
pp. 93
Design Recovery and Documentation

On the Uniformity of Software Evolution Patterns (Abstract)

Chris F. Kemerer , University of Pittsburgh
Evelyn J. Barry , Texas A&M University
Sandra A. Slaughter , Carnegie Mellon University
pp. 106

Design Recovery of Interactive Graphical Applications (Abstract)

Amir Michail , University of New South Wales
Zhi Cong Leo Liang , University of New South Wales
Keith Chan , University of New South Wales
pp. 114
Formal Methods I

Architecture, Design, Implementation (Abstract)

Amnon H. Eden , University of Essex
Rick Kazman , University of Hawaii
pp. 149

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (Abstract)

Matthew B. Dwyer , Kansas State University
Xinghua Deng , Kansas State University
John Hatcliff , Kansas State University
Venkatesh Prasad Ranganath , Kansas State University
Georg Jung , Kansas State University
pp. 160
Software Design

DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems (Abstract)

Stoney Jackson , University of California, Davis
Premkumar Devanbu , University of California, Davis
Eric Wohlstadter , University of California, Davis
pp. 174

Scaling Step-Wise Refinement (Abstract)

Don Batory , University of Texas at Austin
Jacob Neal Sarvela , University of Texas at Austin
Axel Rauschmayer , Ludwig-Maximilians-Universit?t M?nchen
pp. 187

Sound Methods and Effective Tools for Engineering Modeling and Analysis (Abstract)

David Coppit , The College of William and Mary
Kevin J. Sullivan , University of Virginia
pp. 198
Testing II

Fragment Class Analysis for Testing of Polymorphism in Java Software (Abstract)

Barbara G. Ryder , Rutgers University
Atanas Rountev , The Ohio State University
Ana Milanova , Rutgers University
pp. 210

A Framework for Component Deployment Testing (Abstract)

Andrea Polini , Instituto di Scienza e Tecnologie dell'Informazione - "Alessandro Faedo"
Antonia Bertolino , Instituto di Scienza e Tecnologie dell'Informazione - "Alessandro Faedo"
pp. 221

Data Flow Testing as Model Checking (Abstract)

Hyoung Seok Hong , Korea Advanced Institute of Science and Technology
Oleg Sokolsky , University of Pennsylvania
Insup Lee , University of Pennsylvania
Sung Deok Cha , Korea Advanced Institute of Science and Technology
Hasan Ural , University of Ottawa
pp. 232
Software Process

New Directions on Agile Methods: A Comparative Analysis (Abstract)

Juhani Warsta , University of Oulu, Finland
Pekka Abrahamsson , Technical Research Centre of Finland, VTT Electronics
Mikko T. Siponen , University of Oulu, Finland
Jussi Ronkainen , Technical Research Centre of Finland, VTT Electronics
pp. 244

Using Process Technology to Control and Coordinate Software Adaptation (Abstract)

Giuseppe Valetto , Telecom Italia Lab and Columbia University
Gail Kaiser , Columbia University
pp. 262
Empirical Studies II

Understanding and Predicting Effort in Software Projects (Abstract)

David M. Weiss , Avaya Labs Research
Audris Mockus , Avaya Labs Research
Ping Zhang , Avaya Labs Research
pp. 274

Cost Estimation for Web Applications (Abstract)

Melanie Ruhe , Siemens AG, Corporate Technology
Isabella Wieczorek , Federal Ministry of Education and Research
Ross Jeffery , University of New South Wales
pp. 285

Evaluating the Quality of Information Models: Empirical Testing of a Conceptual Model Quality Framework (Abstract)

Guttorm Sindre , Norwegian University of Science and Technology; University of Auckland
Daniel L. Moody , Charlies University; Monash University
Arne S?lvberg , Norwegian University of Science and Technology
Terje Brasethvik , Norwegian University of Science and Technology
pp. 295
Program Analysis

Whole Program Path-Based Dynamic Impact Analysis (Abstract)

James Law , Oregon State University
Gregg Rothermel , Oregon State University
pp. 308

Precise Dynamic Slicing Algorithms (Abstract)

Rajiv Gupta , The University of Arizona
Youtao Zhang , The Univ. of Texas at Dallas
Xiangyu Zhang , The University of Arizona
pp. 319
Software Architecture I

Design Pattern Rationale Graphs: Linking Design to Source (Abstract)

Gail C. Murphy , University of British Columbia
Elisa L.A. Baniassad , University of British Columbia
Christa Schwanninger , Siemens AG, CTSE 2
pp. 352

A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure (Abstract)

Steven W. Brown , University of California, San Diego
Tan Minh Truong , University of California, San Diego
William G. Griswold , University of California, San Diego
Robert Boyer , University of California, San Diego
pp. 363
Formal Methods II

A Compositional Formalization of Connector Wrappers (Abstract)

David Garlan , Carnegie Mellon University
Bridget Spitznagel , Carnegie Mellon University
pp. 374

Modular Verification of Software Components in C (Abstract)

Alex Groce , Carnegie Mellon University
Edmund Clarke , Carnegie Mellon University
Sagar Chaki , Carnegie Mellon University
Helmut Veith , TU Vienna
Somesh Jha , Univ of Wisconsin
pp. 385

Architectural Interaction Diagrams: AIDs for System Modeling (Abstract)

Rance Cleaveland , SUNY at Stony Brook
Arnab Ray , SUNY at Stony Brook
pp. 396
Software Understanding

Hipikat: Recommending Pertinent Software Development Artifacts (Abstract)

Gail C. Murphy , University of British Columbia
Davor Cubranic , University of British Columbia
pp. 408

Toward an Understanding of the Motivation of Open Source Software Developers (Abstract)

Kouichi Kishida , SRA Key Technology Lab
Yunwen Ye , University of Colorado; SRA Key Technology Lab
pp. 419

Tools for Understanding the Behavior of Telecommunication Systems (Abstract)

Andr? Marburger , Aachen University of Technology
Bernhard Westfechtel , Aachen University of Technology
pp. 430
Consistency Management and Quality Assurance

Palantir: Raising Awareness among Configuration Management Workspaces (Abstract)

Anita Sarma , University of California, Irvine
Zahra Noroozi , University of California, Irvine
Andre van der Hoek , University of California, Irvine
pp. 444

Consistency Management with Repair Actions (Abstract)

Christian Nentwich , University College London
Wolfgang Emmerich , University College London
Anthony Finkelstein , University College London
pp. 455

Automated Support for Classifying Software Failure Reports (Abstract)

Melinda Minch , Case Western Reserve University
Bin Wang , Case Western Reserve University
David Leon , Case Western Reserve University
Wes Masri , Case Western Reserve University
Patrick Francis , Case Western Reserve University
Jiayang Sun , Case Western Reserve University
Andy Podgurski , Case Western Reserve University
pp. 465
Case Studies

Fault-tolerance in a Distributed Management System: a Case Study (Abstract)

Karl M. Goeschka , Frequentis Nachrichtentechnik GmbH
Robert Smeikal , Vienna University of Technology
pp. 478

The Deployer?s Problem: Configuring Application Servers for Performance and Reliability (Abstract)

Darrell Reimer , IBM T.J. Watson Research Center
Robert D. Johnson , IBM T.J. Watson Research Center
Mukund Raghavachari , IBM T.J. Watson Research Center
pp. 484

From Scenarios to Code: An Air Traffic Control Case Study (Abstract)

Jyoti Saboo , QSS Group/NASA Ames Research Center
Richard Kwan , Raytheon/ NASA Ames Research Center
Jon Whittle , QSS Group/NASA Ames Research Center
pp. 490
Automotive Software Engineering
Process Analysis and Improvement

Towards Systematic Recycling of Systems Requirements (Abstract)

Nadine Heumesser , DaimlerChrysler AG
Frank Houdek , DaimlerChrysler AG
pp. 512
Process and Tools

Effective Experience Repositories for Software Engineering (Abstract)

Jan-Peter von Hunnius , DaimlerChrysler Research Center
Kurt Schneider , DaimlerChrysler Research Center
pp. 534
Software Architecture II

Quantifying the Value of Architecture Design Decisions: Lessons from the Field (Abstract)

Mike Moore , NASA Goddard Space Flight Center
Jai Asundi , University of Texas, Dallas
Mark Klein , Carnegie Mellon University
Rick Kazman , Carnegie Mellon University and University of Hawaii
pp. 557
Testing and Fault Correction

Assessing Test-Driven Development at IBM (Abstract)

E. Michael Maximilien , IBM Corp. and NCSU
Laurie Williams , North Carolina State University
pp. 564

Requirements Discovery during the Testing of Safety-Critical Software (Abstract)

Robyn R. Lutz , Jet Propulsion Laboratory and Iowa State University
In?s Carmen Mikulski , Jet Propulsion Laboratory
pp. 578
Extreme Programming

Introducing Software Engineering by means of Extreme Programming (Abstract)

Lars Bendix , Lund Institute of Technology Sweden
Gorel Hedin , Lund Institute of Technology Sweden
Boris Magnusson , Lund Institute of Technology Sweden
pp. 586

eXtreme Programming at Universities - An Educational Perspective (Abstract)

Jean-Guy Schneider , Swinburne University of Technology
Lorraine Johnston , Swinburne University of Technology
pp. 594
Undergraduate Education

The Impact of Pair Programming on Student Performance, Perception and Persistence (Abstract)

Linda Werner , University of California, Santa Cruz
Julian Fernald , University of California, Santa Cruz
Heather E. Bullock , University of California, Santa Cruz
Charlie McDowell , University of California, Santa Cruz
pp. 602

Positive Experiences with an Open Project Assignment in an Introductory Programming Course (Abstract)

Steinar Line , Norwegian University of Science and Technology (NTNU)
Guttorm Sindre , Norwegian University of Science and Technology (NTNU); U. Auckland
Ottar V. Valv? , Norwegian University of Science and Technology (NTNU)
pp. 608

Problems and Programmers: An Educational Software Engineering Card Game (Abstract)

Alex Baker , University of California, Irvine
Emily Oh Navarro , University of California, Irvine
Andr? van der Hoek , University of California, Irvine
pp. 614
Course Delivery and Evaluation

Evaluating Individual Contribution Toward Group Software Engineering Projects (Abstract)

Timothy C. Lethbridge , University of Ottawa
Daniel Port , University of Southern California
Jane Huffman Hayes , University of Kentucky
pp. 622

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects (Abstract)

Andrew Martin , Software Engineering Programme
Andrew Simpson , Software Engineering Programme
Steve McKeever , Software Engineering Programme
Jim Davies , Software Engineering Programme
Jeremy Gibbons , Software Engineering Programme
pp. 628

Using a Web-Based Project Process Throughout the Software Engineering Curriculum (Abstract)

Donald J. Bagert , Rose-Hulman Institute of Technology
Susan A. Mengel , Texas Tech University
pp. 634
Process and Methodology

Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined (Abstract)

Shenyan Zhen , University of Hawai?i
Christopher Chan , University of Hawai?i
William E.J. Doane , University of Hawai?i
Philip M. Johnson , University of Hawai?i
Hongbing Kou , University of Hawai?i
Carleton Moore , University of Hawai?i
Joy Agustin , University of Hawai?i
Jitender Miglani , University of Hawai?i
pp. 641

Empowering Software Engineers in Human-Centered Design (Abstract)

Alina Andreevskaia , Concordia University
Ahmed Seffah , Concordia University
pp. 653
Invited Keynote Papers

Must There Be So Few? Including Women in CS (Abstract)

J. McGrath Cohoon , University of Virginia
pp. 668
Invited Paper from the Awardees of the Most Influential Paper from ICSE'15

ViewPoints: meaningful relationships are difficult! (Abstract)

Bashar Nuseibeh , The Open University
Jeff Kramer , Imperial College
Anthony Finkelstein , University College London
pp. 676
Invited Papers on the Frontiers of Software Practice

Component Technology - What, Where, and How? (Abstract)

Clemens Szyperski , Microsoft Corporation
pp. 684

Cybersecurity (Abstract)

Richard A. Kemmerer , University of California Santa Barbara
pp. 705
Panel Overviews

Automotive Software Engineering (PDF)

Manfred Broy , Technische Universit?t M?nchen
pp. 719

Panel: Empirical Validation-What, Why, When, and How (PDF)

Robert J. Walker , University of Calgary
Carolyn B. Seaman , University of Maryland
Lionel C. Briand , Carleton University
David Notkin , University of Washington
Walter F. Tichy , Universit?t Karlsruhe
pp. 721
Mini-Tutorial

Writing Good Software Engineering Research Papers (Abstract)

Mary Shaw , Carnegie Mellon University
pp. 726
One and Two-day Tutorials

Practical Software Measurement (PDF)

David N. Card , Software Productivity Consortium
pp. 738

Documenting Software Architectures: Views and Beyond (PDF)

Reed Little , Carnegie Mellon University
Robert Nord , Carnegie Mellon University
Judith Stafford , Carnegie Mellon University
David Garlan , Carnegie Mellon University
Paul Clements , Carnegie Mellon University
pp. 740

Computing Systems Dependability (PDF)

John C. Knight , University of Virginia
pp. 742

Tutorial H2: An Overview of UML 2.0 (PDF)

Bran Selic , Rational Software Canada
pp. 755

Designing Software Architectures for Usability (PDF)

Jan Bosch , University of Groningen
Natalia Juristo , Technical University of Madrid
pp. 757
Workshop Overviews

Report on the ICSE 2003 Doctoral Symposium (Abstract)

Mary Lou Soffa , Univ of Pittsburgh
Dick Hamlet , Portland State
pp. 762

New Software Engineering Faculty Symposium (NSEFS 03) (PDF)

Leon J. Osterweil , University of Massachusetts, Amherst
pp. 767

SE Pioneers Symposium (PDF)

Stuart R. Faulk , University of Oregon
Lawrence G. Votta , Sun Microsystems
pp. 769

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS?2003 (PDF)

Donald Cowan , University of Waterloo - Canada
Jaelson Castro , Universidade Federal de Pernambuco - Brazil
Alexander Romanovsky , University of Newcastle upon Tyne - UK
Alessandro Garcia , Pontif?cia Universidade Cat?lica do Rio de Janeiro - Brazil
Carlos Lucena , Pontif?cia Universidade Cat?lica do Rio de Janeiro - Brazil
Jos? Alberto Sardinha , Pontif?cia Universidade Cat?lica do Rio de Janeiro - Brazil
Paulo Alencar , University of Waterloo - Canada
pp. 771

6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction (PDF)

Kurt Wallnau , Carnegie Mellon University
Judith Stafford , Tufts University
Ivica Crnkovic , M?lardalen University
Heinz Schmidt , Monash University
pp. 775

Bridging the Gaps Between Software Engineering and Human-Computer Interaction (PDF)

Rick Kazman , University of Hawaii; Software Engineering Institute
Jan Bosch , University of Groningen
Len Bass , Software Engineering Institute
pp. 777

ICSE Workshop on Software Variability Management (PDF)

Peter Knauber , University of Applied Sciences Mannheim
Jan Bosch , University of Groningen
pp. 779

ICSE 2003 Workshop on Software Architectures for Dependable Systems (Abstract)

Rog?rio de Lemos , University of Kent at Canterbury
Cristina Gacek , University of Newcastle upon Tyne
Alexander Romanovsky , University of Newcastle upon Tyne
pp. 781

Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (PDF)

Ingolf Kr? , UC San Diego
Sebastian Uchitel , Imperial College London
Albert Z?ndorf , University of Braunschweig
Alexander Egyed , Teknowledge Corporation
Tarja Syst? , Tampere University of Technology
Martin Glinz , University of Zurich
pp. 783

The 3rd Workshop on Open Source Software Engineering (PDF)

Scott Hissam , Software Engineering Institute
Karim Lakhani , Boston Consulting Group
Joseph Feller , University College Cork
Brian Fitzgerald , University of Limerick
pp. 785

ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003) (PDF)

N. R. Mead , Carnegie Mellon Univ.
C. L. Heitmeyer , Naval Research Laboratory
A. P. Nikora , California Inst. of Technology
M. S. Feather , California Inst. of Technology
pp. 787

3<sup>rd</sup> International Workshop on Adoption-centric Software Engineering ACSE 2003 (PDF)

Robert Balzer , Teknowledge Corporation
Margaret-Anne Storey , University of Victoria
Marin Litoiu , IBM Canada Ltd.
Hausi A. M? , University of Victoria
Ken Wong , University of Alberta
Jens Jahnke , University of Victoria
Dennis B. Smith , Carnegie Mellon
Scott R. Tilley , Florida Institute of Technology
pp. 789

ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS) (Abstract)

Adam Porter , University of Maryland
Alessandro Orso , Georgia Institute of Technology
pp. 791

ICSE Workshop on Dynamic Analysis (WODA 2003) (PDF)

Jonathan E. Cook , New Mexico State University
Michael D. Ernst , Massachusetts Institute of Technology
pp. 795

Second International Workshop on From SofTware Requirements to Architectures (STRAW?03) (PDF)

Rick Kazman , Carnegie Mellon University
Daniel M. Berry , University of Waterloo
Roel Wieringa , University of Twente
pp. 797
Research Demonstration Summaries

Research Demonstrations and Posters (PDF)

Mauro Pezz? , Universit? degli Studi di Milano Bicocca
Bruce Schafer , Oregon University System
pp. 800

\chiChek: A Model Checker for Multi-Valued Reasoning (PDF)

Victor Petrovykh , University of Toronto
Steve Easterbrook , University of Toronto
Marsha Chechik , University of Toronto
Anya Tafliovich , University of Toronto
Benet Devereux , University of Toronto
Albert Lai , University of Toronto
Christopher Thompson-Walsh , University of Toronto
Arie Gurfinkel , University of Toronto
pp. 804

Trustworthy and sustainable operations in marine environments (PDF)

Rune Gustavsson , Blekinge Institute of Technology
Martin Fredriksson , Blekinge Institute of Technology
pp. 806

Architectural Level Risk Assessment Tool Based on UML Specifications (PDF)

H. Ammar , West Virginia University
K. Goseva-Popstojanova , West Virginia University
W. Abdelmoez , West Virginia University
A. Hassan , West Virginia University
T. Wang , West Virginia University
A. Guedem , West Virginia University
pp. 808

XVCL: XML-based Variant Configuration Language (PDF)

Paul Bassett , Canadian Information Processing Society
Stan Jarzabek , National University of Singapore
Weishan Zhang , National University of Singapore
Hongyu Zhang , National University of Singapore
pp. 810

Source Viewer 3D (sv3D) - A Framework for Software Visualization (PDF)

Louis Feng , Kent State University
Jonathan I. Maletic , Kent State University
Andrian Marcus , Kent State University
pp. 812

DRT: A Tool for Design Recovery of Interactive Graphical Applications (PDF)

Keith Chan , University of New South Wales
Minh Hoai Nguyen , University of New South Wales
Amir Michail , University of New South Wales
Nicholas Seow , University of New South Wales
Annie Chen , University of New South Wales
Zhi Cong Leo Liang , University of New South Wales
pp. 814

A Software Process Scheduling Simulator (PDF)

Frank Padberg , Universit?t Karlsruhe
pp. 816

FEAT A Tool for Locating, Describing, and Analyzing Concerns in Source Code (PDF)

Martin P. Robillard , University of British Columbia
Gail C. Murphy , University of British Columbia
pp. 822

Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software (PDF)

Margarida F Jacome , University of Texas at Austin
Jeffry T Russell , University of Texas at Austin
pp. 824

Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (PDF)

Makoto Matsushita , Osaka University
Tetsuo Yamamoto , Japan Science and Technology Corporation
Reishi Yokomori , Osaka University
Takashi Ishio , Osaka University
Katsuro Inoue , Osaka University
Shinji Kusumoto , Osaka University
pp. 828

Author's Index (PDF)

pp. 830
86 ms
(Ver 3.3 (11022016))