The Community for Technology Leaders
Software Engineering, International Conference on (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISSN: 0270-5257
ISBN: 0-7695-2828-7
TABLE OF CONTENTS
Introduction

Conference Organization (PDF)

pp. xvii-xxii
Program Analysis I

Parallel Randomized State-Space Search (Abstract)

Suzette Person , University of Nebraska-Lincoln, USA
Rahul Purandare , University of Nebraska-Lincoln, USA
Matthew B. Dwyer , University of Nebraska-Lincoln, USA
Sebastian Elbaum , University of Nebraska-Lincoln, USA
pp. 3-12

Sequential Circuits for Relational Analysis (Abstract)

Adnan Aziz , The University of Texas at Austin, USA
Fadi Zaraket , IBM Systems & Technology Group
Sarfraz Khurshid , The University of Texas at Austin, USA
pp. 13-22
Models

Behaviour Model Synthesis from Properties and Scenarios (Abstract)

Greg Brunet , Imperial College London, UK; University of Toronto, Canada
Marsha Chechik , University of Toronto, Canada
Sebastian Uchitel , University of Buenos Aires and CONICET, Argentina; Imperial College London, UK
pp. 34-43

Feature Oriented Model Driven Development: A Case Study for Portlets (Abstract)

Oscar Diaz , University of the Basque Country, Spain
Salvador Trujillo , University of the Basque Country, Spain
Don Batory , University of Texas at Austin, USA
pp. 44-53

Matching and Merging of Statecharts Specifications (Abstract)

Marsha Chechik , University of Toronto, Canada
Mehrdad Sabetzadeh , University of Toronto, Canada
Steve Easterbrook , University of Toronto, Canada
Pamela Zave , AT&T Laboratories--Research, USA
Shiva Nejati , University of Toronto, Canada
pp. 54-64
Testing I

Regression Test Selection for AspectJ Software (Abstract)

Guoqing Xu , Ohio State University, USA
Atanas Rountev , Ohio State University, USA
pp. 65-74

Feedback-Directed Random Test Generation (Abstract)

Shuvendu K. Lahiri , Microsoft Research
Thomas Ball , Microsoft Research
Michael D. Ernst , MIT CSAIL
Carlos Pacheco , MIT CSAIL
pp. 75-84

Compatibility and Regression Testing of COTS-Component-Based Software (Abstract)

Leonardo Mariani , Universita degli studi di Milano Bicocca, Italy
Mauro Pezze , Universita degli studi di Milano Bicocca, Italy
Sofia Papagiannakis , Universita degli studi di Milano Bicocca, Italy
pp. 85-95
Clone Detection and Removal

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones (Abstract)

Zhendong Su , University of California, Davis, USA
Stephane Glondu , ENS de Cachan, France
Ghassan Misherghi , University of California, Davis, USA
Lingxiao Jiang , University of California, Davis, USA
pp. 96-105

Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder (Abstract)

Makoto Matushita , Osaka University, Japan
Yoshiki Higo , Osaka University, Japan
Simone Livieri , Osaka University, Japan
Katsuro Inoue , Osaka University, Japan
pp. 106-115

Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis (Abstract)

Stan Jarzabek , National University of Singapore, Singapore
Damith C. Rajapakse , National University of Singapore, Singapore
pp. 116-126
Aspect Oriented Software Engineering

Automated Inference of Pointcuts in Aspect-Oriented Refactoring (Abstract)

Prasanth Anbalagan , North Carolina State University, USA
Tao Xie , North Carolina State University, USA
pp. 127-136

Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks (Abstract)

Sergei Kojarski , University of Virginia, USA
David H. Lorenz , University of Virginia, USA
pp. 147-157
Maintenance

Tracking Code Clones in Evolving Software (Abstract)

Martin P. Robillard , McGill University, Canada
Ekwa Duala-Ekoko , McGill University, Canada
pp. 158-167

Do Maintainers Utilize Deployed Design Patterns Effectively? (Abstract)

W.K. Chan , City University of Hong Kong, Hong Kong
S.C. Cheung , Hong Kong University of Science and Technology, Hong Kong
Y.T. Yu , City University of Hong Kong, Hong Kong
T.H. Ng , City University of Hong Kong, Hong Kong
pp. 168-177

OPIUM: Optimal Package Install/Uninstall Manager (Abstract)

Chris Tucker , UC San Diego, USA
Ranjit Jhala , UC San Diego, USA
Sorin Lerner , UC San Diego, USA
David Shuffelton , UC San Diego, USA
pp. 178-188
Software Architecture

Modeling Product Line Architectures through Change Sets and Relationships (Abstract)

Andre van der Hoek , University of California, Irvine, USA
Scott A. Hendrickson , University of California, Irvine, USA
pp. 189-198

On Accurate Automatic Verification of Publish-Subscribe Architectures (Abstract)

Luca Mottola , Politecnico di Milano, Italy
Luciano Baresi , Politecnico di Milano, Italy
Carlo Ghezzi , Politecnico di Milano, Italy
pp. 199-208

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (Abstract)

Ali Erdem Ozcan , STMicroelectronics, France
Matthieu Leclercq , STMicroelectronics, France
Jean-Bernard Stefani , INRIA, France
Vivien Quema , CNRS, France
pp. 209-219
Program Analysis II

Adaptive Online Program Analysis (Abstract)

Matthew B. Dwyer , University of Nebraska-Lincoln, USA
Alex Kinneer , University of Nebraska-Lincoln, USA
Sebastian Elbaum , University of Nebraska-Lincoln, USA
pp. 220-229

Path-Sensitive Inference of Function Precedence Protocols (Abstract)

Suresh Jagannathan , Purdue University
Murali Krishna Ramanathan , Purdue University
Ananth Grama , Purdue University
pp. 240-250
Debugging and Fault Correction

GoalDebug: A Spreadsheet Debugger for End Users (Abstract)

Robin Abraham , Oregon State University, USA
Martin Erwig , Oregon State University, USA
pp. 251-260

A Technique for Enabling and Supporting Debugging of Field Failures (Abstract)

Alessandro Orso , Georgia Institute of Technology, USA
James Clause , Georgia Institute of Technology, USA
pp. 261-270

POLUS: A POwerful Live Updating System (Abstract)

Rong Chen , Fudan University, China
Haibo Chen , Fudan University, China
Binyu Zang , Fudan University, China
Pen-Chung Yew , University of Minnesota at Twin-Cities, USA
Jie Yu , Fudan University, China
pp. 271-281
Design I

Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (Abstract)

John Grundy , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
pp. 282-291

Fixing Inconsistencies in UML Design Models (Abstract)

Alexander Egyed , Teknowledge Corp., USA
pp. 292-301

The Factory Pattern in API Design: A Usability Evaluation (Abstract)

Jeffrey Stylos , Carnegie Mellon University
Brian Ellis , Carnegie Mellon University
Brad Myers , Carnegie Mellon University
pp. 302-312
Program Analysis III

Overview and Evaluation of Constraint Validation Approaches in Java (Abstract)

Gerhard Glos , Vienna University of Technology, Austria
Lorenz Froihofer , Vienna University of Technology, Austria
Johannes Osrael , Vienna University of Technology, Austria
Karl M. Goeschka , Vienna University of Technology, Austria
pp. 313-322

Ownership and Immutability Inference for UML-Based Object Access Control (Abstract)

Ana Milanova , Rensselaer Polytechnic Institute
Yin Liu , Rensselaer Polytechnic Institute
pp. 323-332

Automatic Inference of Structural Changes for Matching across Program Versions (Abstract)

Dan Grossman , University of Washington, USA
Miryung Kim , University of Washington, USA
David Notkin , University of Washington, USA
pp. 333-343
Human Aspects in Software Development

Information Needs in Collocated Software Development Teams (Abstract)

Gina Venolia , Microsoft Research, USA
Robert DeLine , Microsoft Research, USA
Andrew J. Ko , Carnegie Mellon University, USA
pp. 344-353

The Social Dynamics of Pair Programming (Abstract)

Jan Chong , Stanford University
Tom Hurlbutt , Stanford University
pp. 354-363

Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study (Abstract)

Walt Scacchi , University of California, Irvine, USA
Chris Jensen , University of California, Irvine, USA
pp. 364-374
Design II

The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes (Abstract)

Marco Torchiano , Politecnico di Torino, Italy
Massimiliano Di Penta , University of Sannio, Italy
Paolo Tonella , ITC-irst, Italy
Mariano Ceccato , ITC-irst, Italy
Filippo Ricca , ITC-irst, Italy
pp. 375-384

Information Hiding and Visibility in Interface Specifications (Abstract)

Peter Muller , ETH Zurich, Switzerland
Gary T. Leavens , Iowa State University, USA
pp. 385-395
Testing II

Using GUI Run-Time State as Feedback to Generate Test Cases (Abstract)

Atif M. Memon , University of Maryland, USA
Xun Yuan , University of Maryland, USA
pp. 396-405

Automated Generation of Context-Aware Tests (Abstract)

Zhimin Wang , University of Nebraska-Lincoln, USA
David S. Rosenblum , University College London, UK
Sebastian Elbaum , University of Nebraska-Lincoln, USA
pp. 406-415

Hybrid Concolic Testing (Abstract)

Rupak Majumdar , UC Los Angeles, USA
Koushik Sen , UC Berkeley, USA
pp. 416-426
Refactoring and Reuse

Refactoring-Aware Configuration Management for Object-Oriented Programs (Abstract)

Kashif Manzoor , University of Illinois at Urbana-Champaign, USA
Ralph Johnson , University of Illinois at Urbana-Champaign, USA
Danny Dig , University of Illinois at Urbana-Champaign, USA
Tien N. Nguyen , Iowa State University, USA
pp. 427-436

Refactoring for Parameterizing Java Classes (Abstract)

Frank Tip , IBM T.J. Watson Research Center, USA
Adam Kiezun , MIT CS&AI Lab, USA
Robert M. Fuhrer , IBM T.J. Watson Research Center, USA
Michael D. Ernst , MIT CS&AI Lab, USA
pp. 437-446

Supporting the Investigation and Planning of Pragmatic Reuse Tasks (Abstract)

Robert J. Walker , University of Calgary, Canada
Reid Holmes , University of Calgary, Canada
pp. 447-457
Security

Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis (Abstract)

Vinod Ganapathy , University of Wisconsin, USA
Trent Jaeger , Pennsylvania State University, USA
Somesh Jha , University of Wisconsin, USA
David King , Pennsylvania State University, USA
pp. 458-467

Managing Impacts of Security Protocol Changes in Service-Oriented Applications (Abstract)

Boualem Benatallah , University of New South Wales, Australia
Halvard Skogsrud , ThoughtWorks Australia
Fabio Casati , University of Trento, Italy
Farouk Toumani , LIMOS, ISIMA, France
pp. 468-477

When Role Models Have Flaws: Static Validation of Enterprise Security Policies (Abstract)

Stephen J. Fink , IBM Watson Research Center, USA
Eran Yahav , IBM Watson Research Center, USA
Robert J. Flynn , Polytechnic University, USA
Marco Pistoia , IBM Watson Research Center, USA
pp. 478-488
Software Defects

Predicting Faults from Cached History (Abstract)

Andreas Zeller , Saarland University, Germany
E. James Whitehead Jr. , University of California, Santa Cruz, USA
Thomas Zimmermann , Saarland University, Germany
Sunghun Kim , Massachusetts Institute of Technology, USA
pp. 489-498

Detection of Duplicate Defect Reports Using Natural Language Processing (Abstract)

Magnus Alexandersson , Lund University, Sweden
Per Runeson , Lund University, Sweden
Oskar Nyholm , Lund University, Sweden
pp. 499-510
Agile Methods and Software Design

An Empirical Study of the Evolution of an Agile-Developed Software System (Abstract)

J. Higman , Independent Agile Coach, UK
H.C. Sharp , The Open University,UK
J. Fernandez-Ramil , The Open University,UK
A. Capiluppi , University of Lincoln, UK
N. Smith , The Open University,UK
pp. 511-518

Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs (Abstract)

T.C. Nicholas Graham , Namzak Labs, Canada
Chris Walmsley , Namzak Labs, Canada
Rick Kazman , Namzak Labs, Canada
pp. 519-528
Performance and Metrics

Performance Evaluation and Prediction for Legacy Information Systems (Abstract)

Antony Tang , Swinburne University of Technology, Australia
Yan Jin , Swinburne University of Technology, Australia
Jun Han , Swinburne University of Technology, Australia
Yan Liu , National ICT Australia
pp. 540-549

Software Development Environments for Scientific and Engineering Software: A Series of Case Studies (Abstract)

Richard P. Kendall , Carnegie Mellon University, USA
Douglass E. Post , Computing Modernization Office
Susan E. Squires , Sun Microsystems
Jeffrey C. Carver , Mississippi State University, USA
pp. 550-559

Company-Wide Implementation of Metrics for Early Software Fault Detection (Abstract)

Lars Lundberg , Blekinge Institute of Technology, Sweden
Lars-Ola Damm , Blekinge Institute of Technology, Sweden
pp. 560-570
Modeling

Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language--An Industrial Experience Report (Abstract)

Mika Karaila , Metso Automation Inc., Finland
Tarja Systa , Tampere University of Technology, Finland
pp. 571-580

Model-Based Security Engineering of Distributed Information Systems Using UMLsec (Abstract)

Bashar Nuseibeh , The Open University, UK
Jan Jurjens , The Open University, UK
Bastian Best , BMW Group, Germany
pp. 581-590

Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support (Abstract)

Chiyoung Seo , Univ of Southern California, Los Angeles, USA
Sharmila Ravula , Bosch Rsrch & Tech. Center, USA
Brad Petrus , Bosch Rsrch & Tech. Center, USA
Sam Malek , Univ of Southern California, Los Angeles, USA
Nenad Medvidovic , Univ of Southern California, Los Angeles, USA
pp. 591-601
Testing

'Good' Organisational Reasons for 'Bad' Software Testing: An Ethnographic Study of Testing in a Small Software Company (Abstract)

David Martin , XRCE, Grenoble
John Rooksby , Lancaster University, UK
Ian Sommerville , University of St Andrews, UK
Mark Rouncefield , Lancaster University, UK
pp. 602-611

Enhancing Software Testing by Judicious Use of Code Coverage Information (Abstract)

Rudolf K. Keller , Zuhlke Engineering AG, Switzerland
Stefan Berner , Swiss National Bank, Switzerland
Roland Weber , Zuhlke Engineering AG, Switzerland
pp. 612-620

Randomized Differential Testing as a Prelude to Formal Verification (Abstract)

Rajeev Joshi , California Institute of Technology, USA
Gerard Holzmann , California Institute of Technology, USA
Alex Groce , California Institute of Technology, USA
pp. 621-631
Software Development Processes

Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System (Abstract)

Suzanne Robertson , Atlantic Systems Guild, UK
Neil Maiden , City University, UK
Cornelius Ncube , City University, UK
pp. 632-641

Applying ISO 9001:2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica's Pathway (Abstract)

Ahilton Barreto , Federal University of Rio de Janeiro, Brazil
Ana Regina Rocha , Federal University of Rio de Janeiro, Brazil
Gleison Santos , Federal University of Rio de Janeiro, Brazil
Roberta Cerqueira , BL Informatica Ltda., Brazil
Andrea O. Soares Barreto , Federal University of Rio de Janeiro, Brazil
Mariano Montoni , Federal University of Rio de Janeiro, Brazil
Analia Irigoyen Ferreiro Ferreira , Federal University of Rio de Janeiro, Brazil; BL Informatica Ltda., Brazil
pp. 642-651

Maturity Status within Front-End Support Organisations (Abstract)

Mira Kajko-Mattsson , Stockholm University and Royal Institute of Technology, Sweden
pp. 652-663
Pedagogy

A Constructivist Approach to Teaching Software Processes (Abstract)

Jayakanth Srinivasan , Massachusetts Institute of Technology, USA
Kristina Lundqvist , Massachusetts Institute of Technology, USA
pp. 664-672

On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software Engineering (Abstract)

Lucas Layman , North Carolina State University, USA
Laurie Williams , North Carolina State University, USA
Sarah B. Berenson , North Carolina State University, USA
Kelli M. Slaten , North Carolina State University, USA
Carolyn Seaman , University of Maryland, USA
pp. 677-687
Curricula and Course Design I

Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable (Abstract)

Jon Dokulil , University of Nebraska-Lincoln, USA
Sebastian Elbaum , University of Nebraska-Lincoln, USA
Suzette Person , University of Nebraska-Lincoln, USA
Matt Jorde , University of Nebraska-Lincoln, USA
pp. 688-697

Good Practices for Educational Software Engineering Projects (Abstract)

Marco Sinnema , University of Groningen, Netherlands
Jesper Andersson , Vaxjo University, Sweden
Louwarnoud van der Duim , University of Groningen, Netherlands
pp. 698-707

Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan (Abstract)

Kenji Taguchi , National Institute of Informatics, Japan
Yasuyuki Tahara , National Institute of Informatics, Japan
Hironori Washizaki , National Institute of Informatics, Japan
Nobukazu Yoshioka , National Institute of Informatics, Japan
Shinichi Honiden , National Institute of Informatics/The University of Tokyo, Japan
pp. 708-718
Evaluation

A Leveled Examination of Test-Driven Development Acceptance (Abstract)

Hossein Saiedian , University of Kansas, USA
David S. Janzen , Cal Poly at San Luis Obispo
pp. 719-722

Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts (Abstract)

Eileen Kraemer , The University of Georgia, USA
R.E.K. Stirewalt , Michigan State University, USA
Shaohua Xie , The University of Georgia, USA
pp. 727-731
Curricula and Course Design II

Creating a Computer Security Curriculum in a Software Engineering Program (Abstract)

Bhabani S. Misra , University of St. Thomas
Bradley S. Rubin , University of St. Thomas
pp. 732-735

A Template for Real World Team Projects for Highly Populated Software Engineering Classes (Abstract)

Burak Turhan , Bogazici University, Turkey
Ayse Bener , Bogazici University, Turkey
pp. 748-753
Software Evolution

Spotlight: A Prototype Tool for Software Plans (Abstract)

David Coppit , The College of William and Mary, USA
Robert R. Painter , The College of William and Mary, USA
Meghan Revelle , The College of William and Mary, USA
pp. 754-757

SoQueT: Query-Based Documentation of Crosscutting Concerns (Abstract)

Leon Moonen , Delft University of Technology, The Netherlands
Marius Marin , Delft University of Technology, The Netherlands
Arie van Deursen , Delft University of Technology & CWI, The Netherlands
pp. 758-761

SoftGUESS: Visualization and Exploration of Code Clones in Context (Abstract)

Miryung Kim , University of Washington, USA
Eytan Adar , University of Washington, USA
pp. 762-766
Testing and Analysis

Kato: A Program Slicing Tool for Declarative Specifications (Abstract)

Engin Uzuncaova , The University of Texas at Austin, USA
Sarfraz Khurshid , The University of Texas at Austin, USA
pp. 767-770

Korat: A Tool for Generating Structurally Complex Test Inputs (Abstract)

Sarfraz Khurshid , University of Texas, USA
Sasa Misailovic , University of Belgrade, Serbia
Aleksandar Milicevic , University of Belgrade, Serbia
Darko Marinov , University of Illinois Urbana-Champaign, USA
pp. 771-774

Crisp--A Fault Localization Tool for Java Programs (Abstract)

Xiaoxia Ren , Rutgers University
Ophelia C. Chesley , Rutgers University
Barbara G. Ryder , Rutgers University
Frank Tip , IBM T.J. Watson Research Center
pp. 775-779
Development, Integration, and Maintenance

Suade: Topology-Based Searches for Software Investigation (Abstract)

Frederic Weigand Warr , McGill University, Canada
Martin P. Robillard , McGill University, Canada
pp. 780-783

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (Abstract)

Paola Inverardi , University of L'Aquila, Italy
Massimo Tivoli , University of L'Aquila, Italy
Alfredo Navarra , University of L'Aquila, Italy
Marco Autili , University of L'Aquila, Italy
pp. 784-787

Presentations by Programmers for Programmers (Abstract)

Li-Te Cheng , IBM Research
Michael Desmond , University of Victoria, Canada
Margaret-Anne Storey , University of Victoria, Canada
pp. 788-792
Modeling

Revel8or: Model Driven Capacity Planning Tool Suite (Abstract)

Ian Gorton , Pacific Northwest National Laboratory
Yan Liu , National ICT Australia Ltd.; University of New South Wales, Australia
Liming Zhu , National ICT Australia Ltd.; University of New South Wales, Australia
Ngoc Bao Bui , National ICT Australia Ltd.; University of New South Wales, Australia
pp. 797-800

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (Abstract)

Holger Giese , University of Paderborn, Germany
Stefan Henkler , University of Paderborn, Germany
Sven Burmester , University of Paderborn, Germany
Martin Hirsch , University of Paderborn, Germany
Alfonso Gambuzza , University of Paderborn, Germany
Eckehard Munch , University of Paderborn, Germany
Matthias Tichy , University of Paderborn, Germany
Henner Vocking , University of Paderborn, Germany
pp. 801-804
Author Index

Author Index (PDF)

pp. 805
95 ms
(Ver 3.3 (11022016))