Technical Research Track

May 22, 2013

10:30 - 12:00


Location: Grand Ballroom A
Chair: Sebastian Uchitel

Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns
Paola Inverardi and Massimo Tivoli
Preprint Available

Robust Reconfigurations of Component Assemblies
Fabienne Boyer, Olivier Gruber, and Damien Pous

Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation
Yun Young Lee, Nicholas Chen, and Ralph E. Johnson


Location: Grand Ballroom B
Chair: Willem Visser

Observable Modified Condition/Decision Coverage
Michael Whalen, Gregory Gay, Dongjiang You, Mats P. E. Heimdahl, and Matt Staats

Creating a Shared Understanding of Testing Culture on a Social Coding Site
Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho, and Kurt Schneider
Preprint Available

Billions and Billions of Constraints: Whitebox Fuzz Testing in Production
Ella Bounimova, Patrice Godefroid, and David Molnar

Formal Analysis

Location: Grand Ballroom C
Chair: Robyn Lutz

Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
Cong Tian and Zhenhua Duan

Segmented Symbolic Analysis
Wei Le

Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework
John Hatcliff, Robby, Patrice Chalin, and Jason Belt
Preprint Available  

13:30 - 15:30


Location: Grand Ballroom A
Chair: Valerie Issarny

Managing Non-functional Uncertainty via Model-Driven Adaptivity
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, and Giordano Tamburrelli

GuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty
Naeem Esfahani, Sam Malek, and Kaveh Razavi
Preprint Available

Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation
Christoph Dorn and Richard N. Taylor
Preprint Available

Learning Revised Models for Planning in Adaptive Systems
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue

Test-Case Generation

Location: Grand Ballroom B
Chair: Lionel Briand

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta

A Learning-Based Method for Combining Testing Techniques
Domenico Cotroneo, Roberto Pietrantuono, and Stefano Russo
Preprint Available

Human Performance Regression Testing
Amanda Swearngin, Myra B. Cohen, Bonnie E. John, and Rachel K. E. Bellamy
Preprint Available

Guided Test Generation for Web Applications
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, and Satish Chandra

Formal Specification

Location: Grand Ballroom C
Chair: Matt Dwyer

Aluminum: Principled Scenario Exploration through Minimality
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi
Preprint Available

Counter Play-Out: Executing Unrealizable Scenario-Based Specifications
Shahar Maoz and Yaniv Sa'ar

Unifying FSM-Inference Algorithms through Declarative Specification
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy
Preprint Available

What Good Are Strong Specifications?
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer
Preprint Available  

16:00 - 17:30


Location: Grand Ballroom A
Chair: Schahram Dustdar

RERAN: Timing- and Touch-Sensitive Record and Replay for Android
Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, and Todd Millstein

Inferring Likely Mappings between APIs
Amruta Gokhale, Vinod Ganapathy, and Yogesh Padmanaban
Preprint Available

Estimating Mobile Application Energy Consumption using Program Analysis
Shuai Hao, Ding Li, William G. J. Halfond, and Ramesh Govindan

Test-Case Selection

Location: Grand Ballroom B
Chair: Mauro Pezze

Comparing Multi-point Stride Coverage and Dataflow Coverage
Mohammad Mahdi Hassan and James H. Andrews

Interaction-Based Test-Suite Minimization Distinguished Paper Award
Dale Blue, Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick

Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies
Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, and Hong Mei


Location: Grand Ballroom C
Chair: Frank Tip

Comparative Causality: Explaining the Differences between Executions
William N. Sumner and Xiangyu Zhang

Automatic Testing of Sequential and Concurrent Substitutability
Michael Pradel and Thomas R. Gross
Preprint Available

Data Clone Detection and Visualization in Spreadsheets Distinguished Paper Award
Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen
Preprint Available  

May 23, 2013

10:30 - 12:00

Code Analysis

Location: Grand Ballroom A
Chair: Alessandro Orso

Partition-Based Regression Verification
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury
Preprint Available

Automated Diagnosis of Software Configuration Errors
Sai Zhang and Michael D. Ernst
Preprint Available

Detecting Deadlock in Programs with Data-Centric Synchronization
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek

Big Data

Location: Grand Ballroom B
Chair: Prem Devanbu

Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds Distinguished Paper Award
Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, and Patrick Martin
Preprint Available

Broken Sets in Software Repository Evolution
Jérôme Vouillon and Roberto Di Cosmo
Preprint Available

Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories
Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen
Preprint Available  

Search-Based SE

Location: Grand Ballroom C
Chair: Mark Harman

LASE: Locating and Applying Systematic Edits by Learning from Examples
Na Meng, Miryung Kim, and Kathryn S. McKinley
Preprint Available

Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud
Sören Frey, Florian Fittkau, and Wilhelm Hasselbring
Preprint Available

How to Effectively Use Topic Models for Software Engineering Tasks? An Approach Based on Genetic Algorithms
Annibale Panichella, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia

13:30 - 15:30


Location: Grand Ballroom A
Chair: Margaret Burnett

The Design of Bug Fixes
Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan
Preprint Available

PorchLight: A Tag-Based Approach to Bug Triaging
Gerald Bortis and André van der Hoek

Expositor: Scriptable Time-Travel Debugging with First-Class Traces
Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
Preprint Available

Chronicler: Lightweight Recording to Reproduce Field Failures
Jonathan Bell, Nikhil Sarda, and Gail Kaiser
Preprint Available  


Location: Grand Ballroom B
Chair: Paul Grünbacher

How, and Why, Process Metrics Are Better
Foyzur Rahman and Premkumar Devanbu
Preprint Available

The Role of Domain Knowledge and Cross-Functional Communication in Socio-Technical Coordination
Daniela Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, and Benjamin Koelewijn
Preprint Available

Dual Ecological Measures of Focus in Software Development Distinguished Paper Award
Daryl Posnett, Raissa D'Souza, Premkumar Devanbu, and Vladimir Filkov
Preprint Available

Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects
Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro


Location: Grand Ballroom C
Chair: Wilhelm Hasselbring

Green Streams for Data-Intensive Software
Thomas W. Bartenstein and Yu David Liu

Dynamic Synthesis of Local Time Requirement for Service Composition
Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, and Manman Chen

Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments
Alexander Wert, Jens Happe, and Lucia Happe

Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
Adrian Nistor, Linhai Song, Darko Marinov, and Shan Lu
Preprint Available  

16:00 - 17:30

Bug Prediction

Location: Grand Ballroom A
Chair: Jane Hayes

Does Bug Prediction Support Human Developers? Findings from a Google Case Study
Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, and E. James Whitehead Jr.
Preprint Available

Transfer Defect Learning
Jaechang Nam, Sinno Jialin Pan, and Sunghun Kim
Preprint Available

It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction
Kim Herzig, Sascha Just, and Andreas Zeller
Preprint Available  

Product Lines

Location: Grand Ballroom B
Chair: Jean-Marc Jézéquel

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-features
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay

Strategies for Product-Line Verification: Case Studies and Experiments
Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer
Preprint Available

On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines
Abdel Salam Sayyad, Tim Menzies, and Hany Ammar
Preprint Available  

Requirements Engineering

Location: Grand Ballroom C
Chair: Jon Whittle

Departures from Optimality: Understanding Human Analyst's Information Foraging in Assisted Requirements Tracing
Nan Niu, Anas Mahmoud, Zhangji Chen, and Gary Bradshaw
Preprint Available

Analysis of User Comments: An Approach for Software Requirements Evolution
Laura V. Galvis Carreño and Kristina Winbladh

Requirements Modelling by Synthesis of Deontic Input-Output Automata
Emmanuel Letier and William Heaven
Preprint Available  

May 24, 2013

10:30 - 12:00


Location: Grand Ballroom A
Chair: John C. Knight

Automated Reliability Estimation over Partial Systematic Explorations
Esteban Pavese, Víctor Braberman, and Sebastian Uchitel

Safe Software Updates via Multi-version Execution
Petr Hosek and Cristian Cadar
Preprint Available

Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina S. Păsăreanu, and Willem Visser

Analysis Studies

Location: Grand Ballroom B
Chair: Jim Herbsleb

Why Don't Software Developers Use Static Analysis Tools to Find Bugs?
Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge

Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study
Aiko Yamashita and Leon Moonen
Preprint Available

An Empirical Study on the Developers' Perception of Software Coupling
Gabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia
Preprint Available  

Programming Support

Location: Grand Ballroom C
Chair: Mehdi Jazayeri

Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership
Alex Potanin, Monique Damitio, and James Noble
Preprint Available

Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip

Improving Feature Location Practice with Multi-faceted Interactive Exploration
Jinshui Wang, Xin Peng, Zhenchang Xing, and Wenyun Zhao

13:30 - 15:30

Security and Privacy

Location: Grand Ballroom A
Chair: Robert B. France

Engineering Adaptive Privacy: On the Role of Privacy Awareness Requirements
Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, and Bashar Nuseibeh
Preprint Available

Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis
Lwin Khin Shar, Hee Beng Kuan Tan, and Lionel C. Briand

Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection
Yunhui Zheng and Xiangyu Zhang

Automated Software Architecture Security Risk Analysis using Formalized Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
Preprint Available  

Empirical Studies

Location: Grand Ballroom B
Chair: Nachiappan Nagappan

X-PERT: Accurate Identification of Cross-Browser Issues in Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
Preprint Available

Expectations, Outcomes, and Challenges of Modern Code Review
Alberto Bacchelli and Christian Bird
Preprint Available

UML in Practice Distinguished Paper Award
Marian Petre
Preprint Available

Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling
Bakhtiar Khan Kasi and Anita Sarma
Preprint Available  

Program Repair

Location: Grand Ballroom C
Chair: David Garlan

SemFix: Program Repair via Semantic Analysis
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra

Automatic Recovery from Runtime Failures
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, and Mauro Pezzè

Program Transformations to Fix C Integers
Zack Coker and Munawar Hafiz
Preprint Available

Automatic Patch Generation Learned from Human-Written Patches Distinguished Paper Award
Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim
Preprint Available  


Location: Seacliff A/B
Chair: Wilhelm Schäfer

Reverb: Recommending Code-Related Web Pages
Nicholas Sawadsky, Gail C. Murphy, and Rahul Jiresal
Preprint Available

Dynamic Injection of Sketching Features into GEF Based Diagram Editors
Andreas Scharf and Till Amma

Discovering Essential Code Elements in Informal Documentation
Peter C. Rigby and Martin P. Robillard
Preprint Available

Automatic Query Reformulations for Text Retrieval in Software Engineering
Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, and Tim Menzies
Preprint Available