Conference Program

Click the image for the complete program in tabular form

Click here for the standard daily schedule.

> Technical Program
        > Research Papers
        > Experience Reports
        > Education & Training Reports
        > Research Demonstrations
> Keynote Speakers
> Panels
> InvitedTalks
        > State of the Art
        > Extending the Discipline
        > State of the Practice
        > Most Influential Paper of ICSE-17
> Plenary Sessions
> Doctoral Symposium
> New Software Engineering Faculty Symposium
> Special Events
        > Foundations of Empirical Software Engineering - The Legacy of
           Victor R. Basili

        > Midwest Software Engineering Consortium
        > Information Technology Summit
> Meetings
> Meals
> Social Events



Aspect-Oriented Software Development
18 May @ 11:00 AM

St. Louis Ballroom D [Floor Plan]
Session Chair: Harold Ossher

> Aspect-Oriented Programming and Modular Reasoning
Gregor Kiczales and Mira Mezini
> Classpects: Unifying Aspect- and Object-Oriented Language Design
Hridesh Rajan and Kevin Sullivan
> Towards Aspect Weaving Applications
Carine Courbis and Anthony Finkelstein


18 May @ 11:00 AM

St. Louis Ballroom E [Floor Plan]
Session Chair: Mary Lou Soffa

> Testing Database Transactions with AGENDA
Yuetang Deng, Phyllis Frankl, and David Chays
> SQL DOM: Compile Time Checking of Dynamic SQL Statements
Russell McClure and Ingolf Krüger
> Safe Query Objects: Statically Typed Objects as Remotely Executable Queries
William Cook and Siddhartha Rai


Tools & Environments
18 May @ 2:00 PM

St. Louis Ballroom D [Floor Plan]
Session Chair: Leon Osterweil

> Helping Users Avoid Bugs in GUI Applications
Amir Michail and Tao Xie
> Using Structural Context to Recommend Source Code Examples
Reid Holmes and Gail Murphy
> Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perfective Maintenance Tasks
Andrew Ko, Htet Htet Aung, and Brad Myers


Testing & Analysis
18 May @ 2:00 PM

St. Louis Ballroom E [Floor Plan]
Session Chair: Sebastian Uchitel

> Automatic Generation and Maintenance of Correct Spreadsheets
Martin Erwig, Robin Abraham, Irene Cooperstein, and Steve Kollmansberger
> A Framework of Greedy Methods for Constructing Interaction Test Suites
Renee Turban, Charles Colbourn, and Myra Cohen
> Demand-Driven Structural Testing with Dynamic Instrumentation
Jonathan Misurda, James Clause, Juliya Reed, Bruce Childers, and Mary Lou Soffa


Programming Languages
18 May @ 4:00 PM

St. Louis Ballroom D [Floor Plan]
Session Chair: Carlo Ghezzi

> An Adaptive Object Model with Dynamic Role Binding
Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama
> Data Structure Repair Using Goal-Directed Reasoning
Brian Demsky and Martin Rinard
> Verifying Safety Policies with Size Properties and Alias Controls
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, and Huu Hai Nguyen


Change Management
18 May @ 4:00 PM

St. Louis Ballroom E [Floor Plan]
Session Chair: Amy Murphy

> Verification and Change Impact Analysis of Access-Control Policies
Kathi Fisler, Shriram Krishnamurthi, Leo Meyerovich, and Michael Tschantz
> Explicit Assumptions enrich Architectural Models
Patricia Lago and Hans van Vliet
> An Infrastructure for Development of Object-Oriented, Multi-level Configuration Management Services
Tien Nguyen, Ethan Munson, John Boyland, and Cheng Thao


Software Quality and Process
19 May @ 11:00 AM

St. Louis Ballroom D [Floor Plan]
Session Chair: George Heineman

> Predictors of Customer Perceived Software Quality
Audris Mockus, Ping Zhang, and Paul Li
> Automated Support for Process-aware Definition and Execution of Measurement Plans
Luigi Lavazza and Giancarlo Barresi
> A Quality-Driven Systematic Approach for Architecting Distributed Software Applications
Tariq Al-Naeem, Ian Gorton, Muhammed Ali Babar, Fethi Rabhi, and Boualem Benatallah


Software Evolution
19 May @ 11:00 AM

St. Louis Ballroom E [Floor Plan]
Session Chair: André van der Hoek

> Object Naming Analysis for Reverse-Engineered Sequence Diagrams
Atanas Rountev and Harkness Connell
> Binary Refactoring: Improving Code Behind the Scenes
Eli Tilevich and Yannis Smaragdakis
> CATCHUP! Capturing and Replaying Refactorings to Support API Evolution
Johannes Henkel and Amer Diwan


Empirical Software Engineering
19 May @ 2:00 PM

St. Louis Ballroom D [Floor Plan]
Session Chair: Alistair Sutcliffe

> Use of Relative Code Churn Measures to Predict System Defect Density
Nachiappan Nagappan and Thomas Ball
> Main Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems
Cemal Yilmaz, Arvind Krishna, Atif Memon, Adam Porter, Douglas Schmidt, and Aniruddha Gokhale
> Effort Estimation of Use Cases for Incremental Large-Scale Software Development
Parastoo Mohagheghi, Bente Anda, and Reidar Conradi


19 May @ 2:00 PM

St. Louis Ballroom E [Floor Plan]
Session Chair: Constance Heitmeyer

> Automatic Discovery of API-Level Exploits
Vinod Ganapathy, Sanjit Seshia, Somesh Jha, Thomas Reps, and Randal Bryant
> Sound Methods and Effective Tools for Model-based Security Engineering with UML
Jan Jürjens
> Improving Software Security with a C Pointer Analysis
Dzintars Avots, Michael Dalton, V. Benjamin Livshits, and Monica Lam


Fault Localization
19 May @ 4:00 PM

St. Louis Ballroom D [Floor Plan]
Session Chair: George Avrunin

> Locating Causes of Program Failures
Holger Cleve and Andreas Zeller
> An Empirical Study of Fault Localization for End-User Programmers
Joseph Ruthruff, Margaret Burnett, and Gregg Rothermel


Requirements and Specifications
20 May @ 11:00 AM

St. Louis Ballroom D [Floor Plan]
Session Chair: Anthony Finkelstein

> Goal Centric Traceability for Managing Non-Functional Requirements
Jane Cleland-Huang, Raffaella Settimi, Oussama BenKhadra, Eugenia Berezhanskaya, and Selvia Christina
> Real-time Specification Patterns
Sascha Konrad and Betty Cheng
> Monitoring and Control in Scenario-Based Requirements Analysis
Emmanuel Letier, Jeff Kramer, Jeff Magee, and Sebastian Uchitel


Empirical Evaluation of Testing
20 May @ 11:00 AM

St. Louis Ballroom E [Floor Plan]
Session Chair: S. C. Cheung

> One Evaluation of Model-Based Testing and its Automation
Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kuehnel, Martin Baumgartner, and Bernd Sostawa
> Is Mutation an Appropriate Tool for Testing Experiments?
James Andrews, Lionel Briand, and Yvan Labiche
> An Empirical Evaluation of Test Case Filtering Techniques Based On Exercising Complex Information Flows
David Leon, Wes Masri, and Andy Podgurski


Static and Dynamic Analysis
20 May @ 2:00 PM

St. Louis Ballroom D [Floor Plan]
Session Chair: Mats Heimdahl

> Check 'n Crash: Combining Static Checking and Testing
Christoph Csallner and Yannis Smaragdakis
> Efficient and Precise Dynamic Impact Analysis Using Execute-After Sequences
Taweesup Apiwattanapong, Alessandro Orso, and Mary Jean Harrold
> DynAlloy: Upgrading Alloy with Actions
Marcelo Frias, Juan Galeotti, Carlos Lopez Pombo, and Nazareno Aguirre


Empirical Studies
20 May @ 2:00 PM

St. Louis Ballroom E [Floor Plan]
Session Chair: Juan Fernandez Ramil

> Beyond Templates: a Study of Clones in the STL and Some General Implications
Hamid Abdul Basit, Damith Chatura Rajapakse, and Stan Jarzabek
> The Value of a Usability-Supporting Architectural Pattern in Software Architecture Design: A Controlled Experiment
Elspeth Golden, Bonnie John, and Len Bass
> Experimental Context Classification: Incentives and Experience of Subjects
Martin Host, Claes Wohlin, and Thomas Thelin

St. Louis Ballroom E [Floor Plan]