English

第29届国际软件工程大会® 2007年5月20日-26日

Research Papers

Co-Chairs

Wolfgang Emmerich, University College London, UK,
Gregg Rothermel, University of Nebraska at Lincoln,

Wednesday May 23

11:00AM

Program Analysis I
Room:
Salon F
Session Chair:
Atanas Rountev

Models
Room:
Salon E
Session Chair:
Tetsuo Tamai

 

Parallel Randomized State-space Search
M. Dwyer, S. Elbaum, S. Person, R. Purandare

Behaviour Model Synthesis from Properties and Scenarios
S. Uchitel, G. Brunet, M. Chechik

Sequential Circuits for Relational Analysis
F. Zaraket, A. Aziz, S. Khurshid

Feature Oriented Model Driven Development: A Case Study for Portlets
S. Trujillo, D. Batory, O. Diaz

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
P. Chalin

Matching and Merging of Statecharts Specifications
S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, P. Zave

02:30PM

Testing I
Room: Salon F

Session Chair: Giovanni Denaro

Clone Detection and Removal
Room: Salon E
Session Chair:
Harald Gall

  Regression Test Selection for AspectJ Software
G. Xu, A. Rountev
DECKARD: Scalable and Accurate Tree-based Detection of Code Clones
L. Jiang, G. Misherghi, Z. Su, S. Glondu
Feedback-directed Random Test Generation
C. Pacheco, S. Lahiri, M. Ernst, T. Ball
Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder
S. Livieri, Y. Higo, M. Matushita, K. Inoue
Compatibility and Regression Testing of COTS Component-based Software
L. Mariani, S. Papagiannakis, M. Pezzè
Using Server Pages to Unify Clones in Web Applications: A Trade-off Analysis
D. Rajapakse, S. Jarzabek
04:30PM Aspect Oriented Software Engineering
Room: Salon F
Session Chair:
Harold Ossher
Maintenance
Room: Salon E
Session Chair:
Walter Tichy
  Automated Inference of Pointcuts in Aspect-Oriented Refactoring
P. Anbalagan, T. Xie
Tracking Code Clones in Evolving Software
E. Duala-Ekoko, M. Robillard
A Formal Framework for Automated Round-trip Software Engineering in Static Aspect Weaving and Transformations
M. Chalabine, C. Kessler
Do Maintainers Utilize Deployed Design Patterns Effectively?
T. Ng, S. Cheung, W. Chan and Y. Yu
Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks
S. Kojarski, D. Lorenz
OPIUM: Optimal Package Install/Uninstall Manager
C. Tucker, D. Shuffelton, R. Jhala, S. Lerner


Thursday May 24

11:00AM

Software Architecture
Room:
Salon F
Session Chair:
S.C. Cheung

Program Analysis II
Room:
Salon E
Session Chair:
Jo Atlee

 

Modeling Product Line Architectures through Change Sets and Relationships
S. Hendrickson, A. van der Hoek

Adaptive Online Program Analysis
M. Dwyer, A. Kineer, S. Elbaum

On Accurate Automatic Verification of Publish-Subscribe Architectures
L. Baresi, C. Ghezzi, L. Mottola

Exception Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
C. Fu, B. Ryder

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
M. Leclercq, A. Erdem Özcan, V. Quéma, J.-B. Stefani

Path-Sensitive Inference of Function Precedence Protocols
M. Ramanathan, A. Grama, S. Jagannathan

02:00PM

Debugging and Fault Correction
Room: Salon F
Session Chair:
Margaret Burnett

Design I
Room: Salon E
Session Chair:
Anthony Finkelstein

  GoalDebug: A Spreadsheet Debugger for End Users
R. Abraham, M. Erwig
Supporting Generic Sketching Based Input of Diagrams in a Domain-specific Visual Language Meta-tool
J. Grundy, J. Hosking
A Technique for Enabling and Supporting Debugging of Field Failures
J. Clause, A. Orso
Fixing Inconsistencies in UML Design Models
A. Egyed
POLUS: A POwerful Live Updating System
H. Chen, J. Yu, R. Chen, B. Zang, P.C. Yew
The Factory Pattern in API Design: A Usability Evaluation
B. Ellis, J. Stylos, B. Myers


Friday May 25

11:00AM

Program Analysis III
Room:
Salon F
Session Chair:
Matt Dwyer

Human Aspects in Software Development
Room:
Salon E
Session Chair:
Kumiyo Nakakoji

 

Overview and Evaluation of Constraint Validation Approaches in Java
L. Froihofer, G. Glos, J. Osrael, K. Goeschka

Information Needs in Collocated Software Development Teams
A. Ko, R. DeLine, G. Venolia

Ownership and Immutability Inference for UML-Based Object Access Control
Y. Liu, A. Milanova

The Social Dynamics of Pair Programming
J. Chong, T. Hurlbutt

Automatic Inference of Structural Changes for Matching Across Program Versions
M. Kim, D. Notkin, D. Grossman

Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study
C. Jensen, W. Scacchi

11:00AM

Design II
Room:
Salon G

Session Chair: Pankaj Jalote

 

 

 [FoSE Track Paper] Software Design and Architecture: The Once and Future Focus of Software Engineering
R. Taylor, A. van der Hoek

The Role of Experience and Ability in Comprehension Tasks supported by UML Stereotypes
F. Ricca, M. Di Penta, M. Torchiano, P. Tonella, M. Ceccato

Information Hiding and Visibility in Interface

Specifications
G. T. Leavens, P. Müller

02:00PM

Testing II
Room: Salon F

Session Chair: Alex Orso

Refactoring & Reuse
Room: Salon E
Session Chair:
John Grundy

  Using GUI Run-Time State as Feedback to Generate Test Cases
X. Yuan, A. Memon
Refactoring-aware Configuration Management for Object-Oriented Programs
D. Dig, K. Manzoor, R. Johnson, T. Nguyen
Automated Generation of Context-Aware Tests
Z. Wang, S. Elbaum, D. Rosenblum
Refactoring for Parameterizing Java Classes
A. Kieżun, M. Ernst, F. Tip, R. Fuhrer
Hybrid Concolic Testing
R. Majumdar, K. Sen
Supporting the Investigation and Planning of Pragmatic Reuse Tasks
R. Holmes, R. Walker
04:00PM Security
Room: Salon F
Session Chair:
Jens Jahnke
Software Defects
Room: Salon E
Session Chair:
Victor Braberman
  Mining Security-Sensitive Operations in Legacy Code using Concept Analysis
V. Ganapathy, D. King, T. Jaeger, S. Jha
Predicting Faults from Cached History
S. Kim, T. Zimmermann, E. J. Whitehead Jr., A. Zeller
Managing Impacts of Security Protocol Changes in Service-Oriented Applications
H. Skogsrud, B. Benatallah, F. Casati, F. Toumani
Detection of Duplicate Defect Reports Using Natural Language Processing
P. Runeson, M. Alexandersson, O. Nyholm
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
M. Pistoia, S. Fink, R. Flynn, E. Yahav