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)

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

Sequential Circuits for Relational Analysis (Abstract)

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

Behaviour Model Synthesis from Properties and Scenarios (Abstract)

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

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

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

Matching and Merging of Statecharts Specifications (Abstract)

Shiva Nejati , University of Toronto, Canada
Mehrdad Sabetzadeh , University of Toronto, Canada
Marsha Chechik , University of Toronto, Canada
Steve Easterbrook , University of Toronto, Canada
Pamela Zave , AT&T Laboratories--Research, USA
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)

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

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

Leonardo Mariani , Universita degli studi di Milano Bicocca, Italy
Sofia Papagiannakis , Universita degli studi di Milano Bicocca, Italy
Mauro Pezze , 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)

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

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

Simone Livieri , Osaka University, Japan
Yoshiki Higo , Osaka University, Japan
Makoto Matushita , 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)

Damith C. Rajapakse , National University of Singapore, Singapore
Stan Jarzabek , 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)

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

Do Maintainers Utilize Deployed Design Patterns Effectively? (Abstract)

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

OPIUM: Optimal Package Install/Uninstall Manager (Abstract)

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

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

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

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

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

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (Abstract)

Matthieu Leclercq , STMicroelectronics, France
Ali Erdem Ozcan , STMicroelectronics, France
Vivien Quema , CNRS, France
Jean-Bernard Stefani , INRIA, 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)

Murali Krishna Ramanathan , Purdue University
Ananth Grama , Purdue University
Suresh Jagannathan , 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)

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

POLUS: A POwerful Live Updating System (Abstract)

Haibo Chen , Fudan University, China
Jie Yu , Fudan University, China
Rong Chen , Fudan University, China
Binyu Zang , Fudan University, China
Pen-Chung Yew , University of Minnesota at Twin-Cities, USA
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)

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

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

Lorenz Froihofer , Vienna University of Technology, Austria
Gerhard Glos , 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)

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

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

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

Information Needs in Collocated Software Development Teams (Abstract)

Andrew J. Ko , Carnegie Mellon University, USA
Robert DeLine , Microsoft Research, USA
Gina Venolia , Microsoft Research, 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)

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

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

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

Information Hiding and Visibility in Interface Specifications (Abstract)

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

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

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

Automated Generation of Context-Aware Tests (Abstract)

Zhimin Wang , University of Nebraska-Lincoln, USA
Sebastian Elbaum , University of Nebraska-Lincoln, USA
David S. Rosenblum , University College London, UK
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)

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

Refactoring for Parameterizing Java Classes (Abstract)

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

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

Reid Holmes , University of Calgary, Canada
Robert J. Walker , 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
David King , Pennsylvania State University, USA
Trent Jaeger , Pennsylvania State University, USA
Somesh Jha , University of Wisconsin, USA
pp. 458-467

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

Halvard Skogsrud , ThoughtWorks Australia
Boualem Benatallah , University of New South Wales, 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)

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

Predicting Faults from Cached History (Abstract)

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

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

Per Runeson , Lund University, Sweden
Magnus Alexandersson , 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)

A. Capiluppi , University of Lincoln, UK
J. Fernandez-Ramil , The Open University,UK
J. Higman , Independent Agile Coach, UK
H.C. Sharp , The Open University,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
Rick Kazman , Namzak Labs, Canada
Chris Walmsley , Namzak Labs, Canada
pp. 519-528
Performance and Metrics

Performance Evaluation and Prediction for Legacy Information Systems (Abstract)

Yan Jin , Swinburne University of Technology, Australia
Antony Tang , 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)

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

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

Lars-Ola Damm , Blekinge Institute of Technology, Sweden
Lars Lundberg , 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)

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

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

Sam Malek , Univ of Southern California, Los Angeles, USA
Chiyoung Seo , Univ of Southern California, Los Angeles, USA
Sharmila Ravula , Bosch Rsrch & Tech. Center, USA
Brad Petrus , Bosch Rsrch & Tech. Center, 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
Mark Rouncefield , Lancaster University, UK
Ian Sommerville , University of St Andrews, UK
pp. 602-611

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

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

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

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

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

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

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

Analia Irigoyen Ferreiro Ferreira , Federal University of Rio de Janeiro, Brazil; BL Informatica Ltda., Brazil
Gleison Santos , Federal University of Rio de Janeiro, Brazil
Roberta Cerqueira , BL Informatica Ltda., Brazil
Mariano Montoni , Federal University of Rio de Janeiro, Brazil
Ahilton Barreto , Federal University of Rio de Janeiro, Brazil
Andrea O. Soares Barreto , Federal University of Rio de Janeiro, Brazil
Ana Regina Rocha , Federal University of Rio de Janeiro, 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)

Laurie Williams , North Carolina State University, USA
Lucas Layman , North Carolina State University, USA
Kelli M. Slaten , North Carolina State University, USA
Sarah B. Berenson , 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)

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

Good Practices for Educational Software Engineering Projects (Abstract)

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

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

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

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

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

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

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

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

Bradley S. Rubin , University of St. Thomas
Bhabani S. Misra , 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)

Marius Marin , Delft University of Technology, The Netherlands
Leon Moonen , 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)

Eytan Adar , University of Washington, USA
Miryung Kim , 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)

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

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

Ophelia C. Chesley , Rutgers University
Xiaoxia Ren , 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)

Marco Autili , University of L'Aquila, Italy
Paola Inverardi , University of L'Aquila, Italy
Alfredo Navarra , University of L'Aquila, Italy
Massimo Tivoli , 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)

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

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

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

Author Index (PDF)

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