ICSE 2013
2013 35th International Conference on Software Engineering (ICSE)

Powered by

2013 35th International Conference on Software Engineering (ICSE), May 18–26, 2013, San Francisco, CA, USA

ICSE 2013 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File

Twitter: https://twitter.com/ICSEconf
Facebook: http://www.facebook.com/ICSE2013

Technical Research

Composition
Wed, May 22, 10:30 - 12:00, Grand Ballroom A (Chair: Sebastian Uchitel)

Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns
Paola Inverardi and Massimo Tivoli
(University of L'Aquila, Italy)
Article: icse13main-p222-p doi:

Robust Reconfigurations of Component Assemblies
Fabienne Boyer, Olivier Gruber, and Damien Pous
(Université Joseph Fourier, France; CNRS, France)
Article: icse13main-p211-p doi:

Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation
Yun Young Lee, Nicholas Chen, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)
Article: icse13main-p258-p doi:

Adaptation
Wed, May 22, 13:30 - 15:30, Grand Ballroom A (Chair: Valerie Issarny)

Managing Non-functional Uncertainty via Model-Driven Adaptivity
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, and Giordano Tamburrelli
(Politecnico di Milano, Italy; Università dell'Insubria, Italy)
Article: icse13main-p123-p doi:

GuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty
Naeem Esfahani, Sam Malek, and Kaveh Razavi
(George Mason University, USA)
Article: icse13main-p213-p doi:

Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation
Christoph Dorn and Richard N. Taylor
(TU Vienna, Austria; UC Irvine, USA)
Article: icse13main-p305-p doi:

Learning Revised Models for Planning in Adaptive Systems
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
(Imperial College London, UK; National Institute of Informatics, Japan)
Article: icse13main-p215-p doi:

Apps
Wed, May 22, 16:00 - 17:30, 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
(UC Los Angeles, USA; UC Riverside, USA)
Article: icse13main-p334-p doi:

Inferring Likely Mappings between APIs
Amruta Gokhale, Vinod Ganapathy, and Yogesh Padmanaban
(Rutgers University, USA)
Article: icse13main-p184-p doi:

Estimating Mobile Application Energy Consumption using Program Analysis
Shuai Hao, Ding Li, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
Article: icse13main-p437-p doi:

Testing
Wed, May 22, 10:30 - 12:00, Grand Ballroom B (Chair: Willem Visser)

Observable Modified Condition/Decision Coverage
Michael Whalen, Gregory Gay, Dongjiang You, Mats P. E. Heimdahl, and Matt Staats
(University of Minnesota, USA; KAIST, South Korea)
Article: icse13main-p280-p doi:

Creating a Shared Understanding of Testing Culture on a Social Coding Site
Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho, and Kurt Schneider
(Leibniz Universität Hannover, Germany; UFRN, Brazil)
Article: icse13main-p355-p doi:

Billions and Billions of Constraints: Whitebox Fuzz Testing in Production
Ella Bounimova, Patrice Godefroid, and David Molnar
(Microsoft Research, USA)
Article: icse13main-p136-p doi:

Test-Case Generation
Wed, May 22, 13:30 - 15:30, 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
(University of Illinois at Urbana-Champaign, USA; NEC Labs, USA; NEC, Japan)
Article: icse13main-p303-p doi:

A Learning-Based Method for Combining Testing Techniques
Domenico Cotroneo, Roberto Pietrantuono, and Stefano Russo
(Università di Napoli Federico II, Italy; Lab CINI-ITEM Carlo Savy, Italy)
Article: icse13main-p298-p doi:

Human Performance Regression Testing
Amanda Swearngin, Myra B. Cohen, Bonnie E. John, and Rachel K. E. Bellamy
(University of Nebraska-Lincoln, USA; IBM Research, USA)
Article: icse13main-p287-p doi:

Guided Test Generation for Web Applications
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, and Satish Chandra
(IBM Research, India; Indian Institute of Science, India; IBM Research, USA)
Article: icse13main-p374-p doi:

Test-Case Selection
Wed, May 22, 16:00 - 17:30, Grand Ballroom B (Chair: Mauro Pezzè)

Comparing Multi-point Stride Coverage and Dataflow Coverage
Mohammad Mahdi Hassan and James H. Andrews
(University of Western Ontario, Canada)
Article: icse13main-p256-p doi:

Interaction-Based Test-Suite Minimization
Dale Blue, Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick
(IBM, USA; IBM Research, Israel)
Article: icse13main-p118-p doi:

Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies
Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, and Hong Mei
(Peking University, China; University of Texas at Austin, USA; University of Nebraska-Lincoln, USA)
Article: icse13main-p237-p doi:

Formal Analysis
Wed, May 22, 10:30 - 12:00, Grand Ballroom C (Chair: Robyn Lutz)

Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
Cong Tian and Zhenhua Duan
(Xidian University, China)
Article: icse13main-p103-p doi:

Segmented Symbolic Analysis
Wei Le
(Rochester Institute of Technology, USA)
Article: icse13main-p350-p doi:

Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework
John Hatcliff, Robby, Patrice Chalin, and Jason Belt
(Kansas State University, USA)
Article: icse13main-p328-p doi:

Formal Specification
Wed, May 22, 13:30 - 15:30, Grand Ballroom C (Chair: Matt Dwyer)

Aluminum: Principled Scenario Exploration through Minimality
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi
(Worcester Polytechnic Institute, USA; Brown University, USA)
Article: icse13main-p306-p doi:

Counter Play-Out: Executing Unrealizable Scenario-Based Specifications
Shahar Maoz and Yaniv Sa'ar
(Tel Aviv University, Israel; Weizmann Institute of Science, Israel)
Article: icse13main-p039-p doi:

Unifying FSM-Inference Algorithms through Declarative Specification
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy
(University of Washington, USA; University of Massachusetts, USA)
Article: icse13main-p244-p doi:

What Good Are Strong Specifications?
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer
(ETH Zurich, Switzerland; ITMO National Research University, Russia)
Article: icse13main-p257-p doi:

Analysis
Wed, May 22, 16:00 - 17:30, Grand Ballroom C (Chair: Frank Tip)

Comparative Causality: Explaining the Differences between Executions
William N. Sumner and Xiangyu Zhang
(Purdue University, USA)
Article: icse13main-p353-p doi:

Automatic Testing of Sequential and Concurrent Substitutability
Michael Pradel and Thomas R. Gross
(ETH Zurich, Switzerland)
Article: icse13main-p101-p doi:

Data Clone Detection and Visualization in Spreadsheets
Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen
(TU Delft, Netherlands)
Article: icse13main-p102-p doi:

Code Analysis
Thu, May 23, 10:30 - 12:00, Grand Ballroom A (Chair: Alessandro Orso)

Partition-Based Regression Verification
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Article: icse13main-p169-p doi:

Automated Diagnosis of Software Configuration Errors
Sai Zhang and Michael D. Ernst
(University of Washington, USA)
Article: icse13main-p022-p doi:

Detecting Deadlock in Programs with Data-Centric Synchronization
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek
(Symantec Research Labs, USA; Saarland University, Germany; IBM Research, USA; University of Waterloo, Canada; Purdue University, USA)
Article: icse13main-p189-p doi:

Debugging
Thu, May 23, 13:30 - 15:30, Grand Ballroom A (Chair: Margaret Burnett)

The Design of Bug Fixes
Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan
(North Carolina State University, USA; Microsoft Research, USA)
Article: icse13main-p319-p doi:

PorchLight: A Tag-Based Approach to Bug Triaging
Gerald Bortis and André van der Hoek
(UC Irvine, USA)
Article: icse13main-p284-p doi:

Expositor: Scriptable Time-Travel Debugging with First-Class Traces
Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
(University of Maryland, USA)
Article: icse13main-p326-p doi:

Chronicler: Lightweight Recording to Reproduce Field Failures
Jonathan Bell, Nikhil Sarda, and Gail Kaiser
(Columbia University, USA)
Article: icse13main-p220-p doi:

Bug Prediction
Thu, May 23, 16:00 - 17:30, 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.
(UC Santa Cruz, USA; Google, USA; Xi'an Jiaotong University, China)
Article: icse13main-p054-p doi:

Transfer Defect Learning
Jaechang Nam, Sinno Jialin Pan, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Institute for Infocomm Research, Singapore)
Article: icse13main-p386-p doi:

It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction
Kim Herzig, Sascha Just, and Andreas Zeller
(Saarland University, Germany)
Article: icse13main-p180-p doi:

Big Data
Thu, May 23, 10:30 - 12:00, Grand Ballroom B (Chair: Prem Devanbu)

Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds
Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, and Patrick Martin
(Queen's University, Canada; Polytechnique Montréal, Canada)
Article: icse13main-p205-p doi:

Broken Sets in Software Repository Evolution
Jérôme Vouillon and Roberto Di Cosmo
(University of Paris Diderot, France; CNRS, France; INRIA, France)
Article: icse13main-p030-p doi:

Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories
Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen
(Iowa State University, USA)
Article: icse13main-p388-p doi:

Process
Thu, May 23, 13:30 - 15:30, Grand Ballroom B (Chair: Paul Grünbacher)

How, and Why, Process Metrics Are Better
Foyzur Rahman and Premkumar Devanbu
(UC Davis, USA)
Article: icse13main-p146-p doi:

The Role of Domain Knowledge and Cross-Functional Communication in Socio-Technical Coordination
Daniela Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, and Benjamin Koelewijn
(University of Victoria, Canada; Utrecht University, Netherlands; Oregon State University, USA; PUCRS, Brazil)
Article: icse13main-p038-p doi:

Dual Ecological Measures of Focus in Software Development
Daryl Posnett, Raissa D'Souza, Premkumar Devanbu, and Vladimir Filkov
(UC Davis, USA)
Article: icse13main-p363-p doi:

Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects
Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro
(University of Salerno, Italy; University College London, UK)
Article: icse13main-p061-p doi:

Product Lines
Thu, May 23, 16:00 - 17:30, 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
(University of Namur, Belgium; IRISA, France; INRIA, France; University of Liège, Belgium)
Article: icse13main-p447-p doi:

Strategies for Product-Line Verification: Case Studies and Experiments
Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer
(University of Passau, Germany)
Article: icse13main-p086-p doi:

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
(West Virginia University, USA)
Article: icse13main-p152-p doi:

Search-Based SE
Thu, May 23, 10:30 - 12:00, Grand Ballroom C (Chair: Mark Harman)

LASE: Locating and Applying Systematic Edits by Learning from Examples
Na Meng, Miryung Kim, and Kathryn S. McKinley
(University of Texas at Austin, USA; Microsoft Research, USA)
Article: icse13main-p255-p doi:

Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud
Sören Frey, Florian Fittkau, and Wilhelm Hasselbring
(Kiel University, Germany)
Article: icse13main-p232-p doi:

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
(University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)
Article: icse13main-p234-p doi:

Performance
Thu, May 23, 13:30 - 15:30, Grand Ballroom C (Chair: Wilhelm Hasselbring)

Green Streams for Data-Intensive Software
Thomas W. Bartenstein and Yu David Liu
(SUNY Binghamton, USA)
Article: icse13main-p372-p doi:

Dynamic Synthesis of Local Time Requirement for Service Composition
Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, and Manman Chen
(National University of Singapore, Singapore; Université Paris 13, France; CNRS, France; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Article: icse13main-p267-p doi:

Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments
Alexander Wert, Jens Happe, and Lucia Happe
(KIT, Germany; SAP Research, Germany)
Article: icse13main-p105-p doi:

Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
Adrian Nistor, Linhai Song, Darko Marinov, and Shan Lu
(University of Illinois at Urbana-Champaign, USA; University of Wisconsin-Madison, USA)
Article: icse13main-p425-p doi:

Requirements Engineering
Thu, May 23, 16:00 - 17:30, 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
(Mississippi State University, USA)
Article: icse13main-p285-p doi:

Analysis of User Comments: An Approach for Software Requirements Evolution
Laura V. Galvis Carreño and Kristina Winbladh
(University of Delaware, USA)
Article: icse13main-p344-p doi:

Requirements Modelling by Synthesis of Deontic Input-Output Automata
Emmanuel Letier and William Heaven
(University College London, UK)
Article: icse13main-p012-p doi:

Reliability
Fri, May 24, 10:30 - 12:00, Grand Ballroom A (Chair: John C. Knight)

Automated Reliability Estimation over Partial Systematic Explorations
Esteban Pavese, Víctor Braberman, and Sebastian Uchitel
(Universidad de Buenos Aires, Argentina; Imperial College London, UK)
Article: icse13main-p275-p doi:

Safe Software Updates via Multi-version Execution
Petr Hosek and Cristian Cadar
(Imperial College London, UK)
Article: icse13main-p218-p doi:

Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina S. Păsăreanu, and Willem Visser
(University of Stuttgart, Germany; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)
Article: icse13main-p376-p doi:

Security and Privacy
Fri, May 24, 13:30 - 15:30, 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
(University of Glasgow, UK; Lero, Ireland; University of Limerick, Ireland; Open University, UK)
Article: icse13main-p399-p doi:

Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis
Lwin Khin Shar, Hee Beng Kuan Tan, and Lionel C. Briand
(Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg)
Article: icse13main-p055-p doi:

Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection
Yunhui Zheng and Xiangyu Zhang
(Purdue University, USA)
Article: icse13main-p402-p doi:

Automated Software Architecture Security Risk Analysis using Formalized Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)
Article: icse13main-p364-p doi:

Analysis Studies
Fri, May 24, 10:30 - 12:00, 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
(North Carolina State University, USA; Google, USA)
Article: icse13main-p132-p doi:

Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study
Aiko Yamashita and Leon Moonen
(Simula Research Laboratory, Norway)
Article: icse13main-p106-p doi:

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
(University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)
Article: icse13main-p231-p doi:

Empirical Studies
Fri, May 24, 13:30 - 15:30, 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
(Georgia Tech, USA; Fujitsu Labs, USA)
Article: icse13main-p426-p doi:

Expectations, Outcomes, and Challenges of Modern Code Review
Alberto Bacchelli and Christian Bird
(University of Lugano, Switzerland; Microsoft Research, USA)
Article: icse13main-p145-p doi:

UML in Practice
Marian Petre
(Open University, UK)
Article: icse13main-p254-p doi:

Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling
Bakhtiar Khan Kasi and Anita Sarma
(University of Nebraska-Lincoln, USA)
Article: icse13main-p435-p doi:

Programming Support
Fri, May 24, 10:30 - 12:00, 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
(Victoria University of Wellington, New Zealand)
Article: icse13main-p129-p doi:

Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip
(Aarhus University, Denmark; Nanyang Technological University, Singapore; IBM Research, USA; University of Waterloo, Canada)
Article: icse13main-p125-p doi:

Improving Feature Location Practice with Multi-faceted Interactive Exploration
Jinshui Wang, Xin Peng, Zhenchang Xing, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)
Article: icse13main-p312-p doi:

Program Repair
Fri, May 24, 13:30 - 15:30, Grand Ballroom C (Chair: David Garlan)

SemFix: Program Repair via Semantic Analysis
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra
(National University of Singapore, Singapore; IBM Research, USA)
Article: icse13main-p191-p doi:

Automatic Recovery from Runtime Failures
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, and Mauro Pezzè
(University of Lugano, Switzerland; Saarland University, Germany)
Article: icse13main-p307-p doi:

Program Transformations to Fix C Integers
Zack Coker and Munawar Hafiz
(Auburn University, USA)
Article: icse13main-p352-p doi:

Automatic Patch Generation Learned from Human-Written Patches
Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Article: icse13main-p413-p doi:

Tools
Fri, May 24, 13:30 - 15:30, Seacliff A/B (Chair: Wilhelm Schäfer)

Reverb: Recommending Code-Related Web Pages
Nicholas Sawadsky, Gail C. Murphy, and Rahul Jiresal
(University of British Columbia, Canada)
Article: icse13main-p209-p doi:

Dynamic Injection of Sketching Features into GEF Based Diagram Editors
Andreas Scharf and Till Amma
(University of Kassel, Germany)
Article: icse13main-p121-p doi:

Discovering Essential Code Elements in Informal Documentation
Peter C. Rigby and Martin P. Robillard
(Concordia University, Canada; McGill University, Canada)
Article: icse13main-p049-p doi:

Automatic Query Reformulations for Text Retrieval in Software Engineering
Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, and Tim Menzies
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy; University of West Virginia, USA)
Article: icse13main-p433-p doi:

proc time: 0.14

ICSE 2013 – Proceedings

Technical Research

Composition Wed, May 22, 10:30 - 12:00, Grand Ballroom A (Chair: Sebastian Uchitel)

Adaptation Wed, May 22, 13:30 - 15:30, Grand Ballroom A (Chair: Valerie Issarny)

Apps Wed, May 22, 16:00 - 17:30, Grand Ballroom A (Chair: Schahram Dustdar)

Testing Wed, May 22, 10:30 - 12:00, Grand Ballroom B (Chair: Willem Visser)

Test-Case Generation Wed, May 22, 13:30 - 15:30, Grand Ballroom B (Chair: Lionel Briand)

Test-Case Selection Wed, May 22, 16:00 - 17:30, Grand Ballroom B (Chair: Mauro Pezzè)

Formal Analysis Wed, May 22, 10:30 - 12:00, Grand Ballroom C (Chair: Robyn Lutz)

Formal Specification Wed, May 22, 13:30 - 15:30, Grand Ballroom C (Chair: Matt Dwyer)

Analysis Wed, May 22, 16:00 - 17:30, Grand Ballroom C (Chair: Frank Tip)

Code Analysis Thu, May 23, 10:30 - 12:00, Grand Ballroom A (Chair: Alessandro Orso)

Debugging Thu, May 23, 13:30 - 15:30, Grand Ballroom A (Chair: Margaret Burnett)

Bug Prediction Thu, May 23, 16:00 - 17:30, Grand Ballroom A (Chair: Jane Hayes)

Big Data Thu, May 23, 10:30 - 12:00, Grand Ballroom B (Chair: Prem Devanbu)

Process Thu, May 23, 13:30 - 15:30, Grand Ballroom B (Chair: Paul Grünbacher)

Product Lines Thu, May 23, 16:00 - 17:30, Grand Ballroom B (Chair: Jean-Marc Jézéquel)

Search-Based SE Thu, May 23, 10:30 - 12:00, Grand Ballroom C (Chair: Mark Harman)

Performance Thu, May 23, 13:30 - 15:30, Grand Ballroom C (Chair: Wilhelm Hasselbring)

Requirements Engineering Thu, May 23, 16:00 - 17:30, Grand Ballroom C (Chair: Jon Whittle)

Reliability Fri, May 24, 10:30 - 12:00, Grand Ballroom A (Chair: John C. Knight)

Security and Privacy Fri, May 24, 13:30 - 15:30, Grand Ballroom A (Chair: Robert B. France)

Analysis Studies Fri, May 24, 10:30 - 12:00, Grand Ballroom B (Chair: Jim Herbsleb)

Empirical Studies Fri, May 24, 13:30 - 15:30, Grand Ballroom B (Chair: Nachiappan Nagappan)

Programming Support Fri, May 24, 10:30 - 12:00, Grand Ballroom C (Chair: Mehdi Jazayeri)

Program Repair Fri, May 24, 13:30 - 15:30, Grand Ballroom C (Chair: David Garlan)

Tools Fri, May 24, 13:30 - 15:30, Seacliff A/B (Chair: Wilhelm Schäfer)