The Community for Technology Leaders
International Conference on Software Engineering Companion (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISBN: 0-7695-2892-9
TABLE OF CONTENTS

Software Engineering: The Legacy of Barry W. Boehm (Abstract)

Richard W. Selby , University of Southern California, Los Angeles, USA
pp. 37-38
Introduction
Keynotes

Mismar: A New Approach to Developer Documentation (Abstract)

Barthelemy Dagenais , McGill University, Canada
Harold Ossher , IBM T.J. Watson Research Center, USA
pp. 47-48
Most Influential Paper Award-ICSE 1997

Is Code Still Moving Around? Looking Back at a Decade of Code Mobility (Abstract)

Antonio Carzaniga , Univ. of Lugano, Switzerland
Gian Pietro Picco , Univ. of Trento, Italy
Giovanni Vigna , UC Santa Barbara, USA
pp. 9-20
Food for Thought

Retrospectives on Peopleware (Abstract)

Steven Fraser , QUALCOMM
Fred Brooks Jr. , UNC, Chapel Hill
Tom DeMarco , Atlantic Systems Guild
Tim Lister , Atlantic Systems Guild
Linda Rising , Independent Consultant
Ed Yourdon , NODRUOY Inc.
pp. 21-24
Impact Panels

The Impact of Research on Middleware Technology (PDF)

Wolfgang Emmerich , University College London, UK
Mikio Aoyama , Nanzan University, Japan
pp. 30

Trio2Promela: A Model Checker for Temporal Metric Specifications (Abstract)

Domenico Bianculli , University of Lugano, Switzerland
Angelo Morzenti , Politecnico di Milano, Italy
Matteo Pradella , CNR IEIIT-MI, Italy
Pierluigi San Pietro , Politecnico di Milano, Italy
Paola Spoletini , Politecnico di Milano, Italy
pp. 61-62
Co-located Event

Software Engineering: The Legacy of Barry W. Boehm (PDF)

Richard W. Selby , University of Southern California, Los Angeles, USA
pp. 37-38

WebSob: A Tool for Robustness Testing of Web Services (Abstract)

Evan Martin , North Carolina State University, USA
Suranjana Basu , North Carolina State University, USA
Tao Xie , North Carolina State University, USA
pp. 65-66
INFORMAL RESEARCH DEMONSTRATIONS

UCSIM: A Tool for Simulating Use Case Scenarios (PDF)

Praveen K. Jayaraman , George Mason University, USA
Jon Whittle , George Mason University, USA
pp. 43-44

Building Scalable Libraries with cJ (PDF)

Shan Shan Huang , Georgia Institute of Technology, USA
Yannis Smaragdakis , University of Oregon, USA
pp. 45-46

Mismar: A New Approach to Developer Documentation (PDF)

Barthelemy Dagenais , McGill University, Canada
Harold Ossher , IBM T.J. Watson Research Center, USA
pp. 47-48

DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees (PDF)

Josh Dehlinger , Iowa State University, USA
Meredith Humphrey , Iowa State University, USA
Lada Suvorov , Iowa State University, USA
Prasanna Padmanabhan , Citrix Systems Inc.
Robyn Lutz , Iowa State University, USA; Caltech
pp. 49-50

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java (PDF)

Alex Kinneer , University of Nebraska-Lincoln, USA
Matthew B. Dwyer , University of Nebraska-Lincoln, USA
Gregg Rothermel , University of Nebraska-Lincoln, USA
pp. 51-52

TAXI--A Tool for XML-Based Testing (PDF)

Antonia Bertolino , ISTI-CNR, Italy
Jinghua Gao , ISTI-CNR, Italy
Eda Marchetti , ISTI-CNR, Italy
Andrea Polini , ISTI-CNR, Italy
pp. 53-54

SHIWS: A Self-Healing Integrator for Web Services (PDF)

Giovanni Denaro , Universita degli Studi di Milano Bicocca, Italy
Mauro Pezze , Universita degli Studi di Milano Bicocca, Italy
Davide Tosi , Universita degli Studi di Milano Bicocca, Italy
pp. 55-56

ACL2s: "The ACL2 Sedan" (PDF)

Peter C. Dillinger , Georgia Institute of Technology, USA
Panagiotis Manolios , Georgia Institute of Technology, USA
Daron Vroon , Georgia Institute of Technology, USA
J. Strother Moore , University of Texas at Austin, USA
pp. 59-60

Trio2Promela: A Model Checker for Temporal Metric Specifications (PDF)

Domenico Bianculli , University of Lugano, Switzerland
Angelo Morzenti , Politecnico di Milano, Italy
Matteo Pradella , CNR IEIIT-MI, Italy
Pierluigi San Pietro , Politecnico di Milano, Italy
Paola Spoletini , Politecnico di Milano, Italy
pp. 61-62

Reliability Analysis of Concurrent Systems Using LTSA (PDF)

Genaina Nunes Rodrigues , University College London, UK
David Rosenblum , University College London, UK
Jonas Wolf , ETH Zurich, Switzerland
pp. 63-64

WebSob: A Tool for Robustness Testing of Web Services (PDF)

Evan Martin , North Carolina State University, USA
Suranjana Basu , North Carolina State University, USA
Tao Xie , North Carolina State University, USA
pp. 65-66

ArchStudio 4: An Architecture-Based Meta-Modeling Environment (PDF)

Eric Dashofy , University of California, Irvine, USA
Hazel Asuncion , University of California, Irvine, USA
Scott Hendrickson , University of California, Irvine, USA
Girish Suryanarayana , University of California, Irvine, USA
John Georgas , University of California, Irvine, USA
Richard Taylor , University of California, Irvine, USA
pp. 67-68
DOCTORAL SYMPOSIUM

On Sufficiency of Mutants (PDF)

Akbar Siami Namin , The University of Western Ontario, Canada
James H. Andrews , The University of Western Ontario, Canada
pp. 73-74

Testing and Analysis of Access Control Policies (PDF)

Evan Martin , North Carolina State University, USA
pp. 75-76

A Context-Oriented Framework for Software Testing in Pervasive Environment (PDF)

Heng Lu , The University of Hong Kong, Hong Kong
pp. 77-78

Ajaxifying Classic Web Applications (PDF)

Ali Mesbah , Delft University of Technology, The Netherlands
pp. 81-82

Sharing and Reusing Architectural Knowledge--Architecture, Rationale, and Design Intent (Abstract)

Paris Avgeriou , University of Groningen, The Netherlands
Philippe Kruchten , University of British Columbia, Canada
Patricia Lago , Vrije Universiteit Amsterdam, The Netherlands
Paul Grisham , University of Texas at Austin, USA
Dewayne Perry , University of Texas at Austin, USA
pp. 109-110
DOCTORAL SYMPOSIUM

Stakeholder Value Driven Threat Modeling for Off the Shelf Based Systems (PDF)

Yue Chen , University of Southern California, Los Angeles, USA
pp. 91-92

Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Abstract)

Ruzanna Chitchyan , Lancaster University, UK
Awais Rashid , Lancaster University, UK
Ana Moreira , New University of Lisbon, Portugal
Joao Araujo , New University of Lisbon, Portugal
Paul Clements , Software Engineering Institute, USA
Elisa Baniassad , Chinese University of Hong Kong, Hong Kong
Bedir Tekinerdogan , University of Twente, The Netherlands
pp. 127-128
DOCTORAL SYMPOSIUM

First International Workshop on Emerging Trends in FLOSS Research and Development (Abstract)

Andrea Capiluppi , University of Lincoln, UK
Joseph Feller , University College Cork, Ireland
Brian Fitzgerald , Lero-Irish Software Engineering Research Centre, Ireland
Scott Hissam , Carnegie Mellon University, USA
Karim Lakhani , Harvard Business School, USA
Gregorio Robles , Universidad Rey Juan Carlos de Madrid, Spain
Walt Scacchi , University of California-Irvine, USA
pp. 135-136
DOCTORAL SYMPOSIUM

A Quality-Driven Approach to Enable Decision-Making in Self-Adaptive Software (PDF)

Mazeiar Salehie , University of Waterloo, Canada
Ladan Tahvildari , University of Waterloo, Canada
pp. 103-104
WORKSHOPS

4th International Workshop on Mining Software Repositories (MSR 2007) (PDF)

Harald Gall , Univ. Zurich, Switzerland
Michele Lanza , Univ. Lugano, Switzerland
Thomas Zimmermann , Saarland Univ., Germany
pp. 107-108

Sharig and Reusing Architectural Knowledge--Architecture, Rationale, and Design Intent (PDF)

Paris Avgeriou , University of Groningen, The Netherlands
Philippe Kruchten , University of British Columbia, Canada
Patricia Lago , Vrije Universiteit Amsterdam, The Netherlands
Paul Grisham , University of Texas at Austin, USA
Dewayne Perry , University of Texas at Austin, USA
pp. 109-110

The 3rd International Workshop on Software Engineering for Secure Systems SESS07--Dependable and Secure (PDF)

Danilo Bruschi , Universita degli Studi di Milano, Italy
Bart De Win , Katholieke Universiteit Leuven, Belgium
Seok-Won Lee , University of North Carolina at Charlotte, USA
Mattia Monga , Universita degli Studi di Milano, Italy
pp. 111-112

Modeling in Software Engineering (PDF)

Joanne M. Atlee , University of Waterloo, Canada
Robert France , Colorado State University, USA
Geri Georg , Colorado State University, USA
Ana Moreira , Universidade Nova de Lisboa, Portugal
Bernhard Rumpe , Software Systems Engineering, Germany
Steffen Zschaler , Technische Universitat Dresden, Germany
pp. 113-114

Modeling the Effect of Size on Defect Proneness for Open-Source Software (PDF)

A. Gunes Koru , UMBC, USA
Dongsong Zhang , UMBC, USA
Hongfang Liu , Georgetown Medical Center, USA
pp. 115-124

Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (PDF)

Ruzanna Chitchyan , Lancaster University, UK
Awais Rashid , Lancaster University, UK
Ana Moreira , New University of Lisbon, Portugal
Joao Araujo , New University of Lisbon, Portugal
Paul Clements , Software Engineering Institute, USA
Elisa Baniassad , Chinese University of Hong Kong, Hong Kong
Bedir Tekinerdogan , University of Twente, The Netherlands
pp. 127-128

Fifth Workshop on Software Quality (PDF)

Barry Boehm , University of Southern California, United States
Sunita Chulani , IBM Research, USA
June Verner , National ICT Australia
Bernard Wong , University of Technology, Sydney, Australia
pp. 131-132

SDSOA 2007: International Workshop on Systems Development in SOA Environments (PDF)

Kostas Kontogiannis , National Technical University of Athens
Grace A. Lewis , Software Engineering Institute
Dennis B. Smith , Software Engineering Institute
Marin Litoiu , IBM Canada Ltd.
Stefan Schuster , European Software Institute
pp. 133-134

Requirements Engineering so Things Don't Get Ugly (Abstract)

Deb Jacobs , Focal Point Associates
pp. 159-160
WORKSHOPS

2nd International Workshop on Realising Evidence-Based Software Engineering (REBSE-2) (PDF)

David Budgen , Durham University, UK
Barbara Kitchenham , Keele University, UK
Pearl Brereton , Keele University, UK
Mark Turner , Keele University, UK
pp. 137-138

Fifth International Workshop on Dynamic Analysis (WODA 2007) (PDF)

Alessandro Orso , Georgia Institute of Technology, USA
Andreas Zeller , Saarland University, Germany
pp. 139

Workshop on Software Technologies for Ultra-Large Scale Systems (PDF)

Richard Gabriel , IBM Research
Rick Kazman , SEI/CMU; U. of Hawaii, USA
Linda Northrop , SEI/CMU
Douglas Schmidt , Vanderbilt University
Kevin Sullivan , University of Virginia, USA
pp. 140-141

Get Your Experience Factory Ready for the Next Decade--Ten Years after "How to Build and Run One"-- (Abstract)

Victor R. Basili , University of Maryland, USA; Fraunhofer Center, USA
Frank Bomarius , Fraunhofer Institute, Germany
Raimund L. Feldmann , Fraunhofer Center, USA
pp. 167-168
WORKSHOPS

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07) (PDF)

Alessandro Garcia , Lancaster University, UK
Elisa Baniassad , The Chinese University of Hong Kong, China
Cristina Videira Lopes , University of California at Irvine, USA
Christa Schwanninger , Siemens AG, Germany
Jianjun Zhao , Fukuoka Institute of Technology, Japan
pp. 144-145

4th International ICSE Workshop on Software Engineering for Automotive Systems (PDF)

A. Pretschner , ETH Zurich, Switzerland
C. Salzmann , BMW AG, Germany
B. Schatz , TU Munich, Germany
T. Stauner , BMW AG, Germany
pp. 146

Mining Software Engineering Data (Abstract)

Tao Xie , North Carolina State Univ., USA
Jian Pei , Simon Fraser Univ., Canada
Ahmed E. Hassan , Univ. of Victoria, Canada
pp. 172-173
WORKSHOPS

Automation of Software Test--Report on the Second Interional Workshop AST 2007 (PDF)

Hong Zhu , Oxford Brookes University, UK
W. Eric Wong , University of Texas at Dallas, USA
Amit Paradkar , IBM T.J. Watson Research, USA
pp. 150-151

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems (PDF)

Betty H.C. Cheng , Michigan State University, USA
Rogerio de Lemos , University of Kent, UK
Stephen Fickas , University of Oregon, USA
David Garlan , Carnegie Mellon University, USA
Marin Litoiu , IBM Toronto, Canada
Jeff Magee , Imperial College, UK
Hausi A. Muller , University of Victoria, Canada
Richard Taylor , University of California, Irvine, USA
pp. 152-153
TUTORIALS

Evaluating Dependability Attributes of Component-Based Specifications (PDF)

Ivica Crnkovic , Malardalen University, Sweden
Lars Grunske , University of Queensland, Australia
pp. 157-158
TUTORIALS

Testing Concurrent Java Components (PDF)

Paul Strooper , The University of Queensland, Australia
Luke Wildman , The University of Queensland, Australia
pp. 161-162

Empirical Methods in Software Engineering Research (PDF)

Walter F. Tichy , University of Karlsruhe, Germany
Frank Padberg , University of Karlsruhe, Germany
pp. 163-164

Lean Software Development (PDF)

Mary Poppendieck , Poppendieck. LLC
pp. 165-166

Get Your Experience Factory Ready for the Next Decade--Ten Years after "How to Build and Run One"-- (PDF)

Victor R. Basili , University of Maryland, USA; Fraunhofer Center, USA
Frank Bomarius , Fraunhofer Institute, Germany
Raimund L. Feldmann , Fraunhofer Center, USA
pp. 167-168

Architecture Knowledge Management: Challenges, Approaches, and Tools (PDF)

Muhammad Ali Babar , Lero, University of Limerick, Ireland
Ian Gorton , Pacific Northwest National Laboratory
pp. 170-171

Mining Software Engineering Data (PDF)

Tao Xie , North Carolina State Univ., USA
Jian Pei , Simon Fraser Univ., Canada
Ahmed E. Hassan , Univ. of Victoria, Canada
pp. 172-173

Agile Methods: Crossing the Chasm (PDF)

Frank Maurer , University of Calgary, Canada
Grigori Melnik , University of Calgary, Canada
pp. 176-177

Variability Management in Software Product Line Engineering (PDF)

Andreas Metzger , University of Duisburg-Essen, Germany
Klaus Pohl , University of Duisburg-Essen, Germany; Lero, University of Limerick, Ireland
pp. 186-187

Engineering Medical Information Systems: Architecture, Data and Usability & Security (PDF)

Jens H. Weber-Jahnke , University of Victoria, Canada
Morgan Price , University of British Columbia, Canada
pp. 188-189
Author Index

Author Index (PDF)

pp. 191
92 ms
(Ver 3.3 (11022016))