Preface

Invited Papers

BOOM: Experiences in Language and Tool Design for Distributed Systems (Keynote)
Joseph M. Hellerstein 
(University of California at Berkeley, USA)

The Challenges of Verification and Validation of Automated Planning Systems (Keynote)
Jeremy Frank 
(NASA Ames Research Center, USA)

Big Problems in Industry (Panel)
John Penix 
(Google, USA)

Technical Research Track

Concurrency

Constraint-Based Automatic Symmetry Detection
Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu , Junwei Ma, and Jin Song Dong
(Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore)

Dynamic Analysis

PIEtrace: Platform Independent Executable Trace
Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu
(Purdue University, USA)

Info ACM SIGSOFT Distinguished Paper Award

Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries
Vijay Krishna Palepu, Guoqing Xu, and James A. Jones 
(University of California at Irvine, USA)

Efficient Parametric Runtime Verification with Deterministic String Rewriting
Patrick Meredith and Grigore Roşu 
(University of Illinois at Urbana-Champaign, USA)

Info

Identifying Execution Points for Dynamic Analyses
William N. Sumner and Xiangyu Zhang 
(Simon Fraser University, Canada; Purdue University, USA)

Testing

Operator-Based and Random Mutant Selection: Better Together
Lingming Zhang, Milos Gligoric, Darko Marinov , and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)

Info

Bita: Coverage-Guided, Automatic Testing of Actor Programs
Samira Tasharofi, Michael Pradel , Yu Lin, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland)

SABRINE: State-Based Robustness Testing of Operating Systems
Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, and Roberto Natella 
(Università degli Studi di Napoli Federico II, Italy; Critiware, Italy)

Verification

Ranger: Parallel Analysis of Alloy Models by Range Partitioning
Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre , Sarfraz Khurshid, and Marcelo F. Frias 
(Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina)

Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto
(AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan)

Info

Evolution

A Study of Repetitiveness of Code Changes in Software Evolution
Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan 
(Iowa State University, USA)

Automated Planning for Software Architecture Evolution
Jeffrey M. Barnes, Ashutosh Pandey, and David Garlan
(Carnegie Mellon University, USA)

Info

Generation and Synthesis

SEDGE: Symbolic Example Data Generation for Dataflow Programs
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis , Yanlei Diao, and Christoph Csallner 
(University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA)

Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution
Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann
(North Carolina State University, USA; University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA)

Info

Entropy-Based Test Generation for Improved Fault Localization
José Campos, Rui Abreu , Gordon Fraser, and Marcelo d'Amorim
(University of Porto, Portugal; University of Sheffield, UK; Federal University of Pernambuco, Brazil)

Recommendations

Detecting Bad Smells in Source Code using Change History Information
Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia , and Denys Poshyvanyk
(University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA)

ACM SIGSOFT Distinguished Paper Award

Automatic Recommendation of API Methods from Feature Requests
Ferdian Thung , Shaowei Wang, David Lo , and Julia Lawall
(Singapore Management University, Singapore; Inria, France; Lip6, France)

Variability-Aware Performance Prediction: A Statistical Learning Approach
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski 
(University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark)

Info

Security

A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling
Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand , Lwin Khin Shar, and Bindu Madhavi Padmanabhuni
(Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg)

Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis
Yongzheng Wu, Jun Sun, Yang Liu , and Jin Song Dong
(Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore)

Debugging

Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging
Peter Ohmann and Ben Liblit
(University of Wisconsin-Madison, USA)

Info ACM SIGSOFT Distinguished Paper Award

Resources

Characterizing and Detecting Resource Leaks in Android Applications
Chaorong Guo, Jian Zhang , Jun Yan, Zhiqiang Zhang, and Yanli Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Towards Precise Metrics for Predicting Graph Query Performance
Benedek Izsó, Zoltán Szatmári, Gábor Bergmann , Ákos Horváth, and István Ráth
(Budapest University of Technology and Economics, Hungary)

Specification Mining

TzuYu: Learning Stateful Typestates
Hao Xiao, Jun Sun, Yang Liu , Shang-Wei Lin, and Chengnian Sun
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore)

Mining Branching-Time Scenarios
Dirk Fahland, David Lo , and Shahar Maoz 
(Eindhoven University of Technology, Netherlands; Singapore Management University, Singapore; Tel Aviv University, Israel)

Models and Complexity

Measuring the Structural Complexity of Feature Models
Richard Pohl, Vanessa Stricker, and Klaus Pohl
(University of Duisburg-Essen, Germany)

Info

Experience Track

Experience: Software Analysis

Software Analytics for Incident Management of Online Services: An Experience Report
Jian-Guang Lou, Qingwei Lin , Rui Ding, Qiang Fu, Dongmei Zhang , and Tao Xie
(Microsoft Research, China; University of Illinois at Urbana-Champaign, USA)

A Comparative Analysis of Software Architecture Recovery Techniques
Joshua Garcia, Igor Ivkovic, and Nenad Medvidovic 
(University of Southern California, USA; Wilfrid Laurier University, Canada)

Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring
Gang Zhang, Xin Peng , Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)

The Potential of Polyhedral Optimization: An Empirical Study
Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer
(University of Passau, Germany)

Info

Experience: Testing and Verification

Minimizing CPU Time Shortage Risks in Integrated Embedded Software
Shiva Nejati, Morayo Adedjouma, Lionel C. Briand , Jonathan Hellebaut, Julien Begey, and Yves Clement
(University of Luxembourg, Luxembourg; Delphi, Luxembourg)

Model Based Test Validation and Oracles for Data Acquisition Systems
Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand , Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier
(University of Luxembourg, Luxembourg; SES, Luxembourg)

New Ideas Track

New Ideas: Adaptation and Transformation

Multi-user Variability Configuration: A Game Theoretic Approach
Jesús García-Galán, Pablo Trinidad, and Antonio Ruiz-Cortés 
(University of Seville, Spain)

Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications
Chang Xu , Wenhua Yang, Xiaoxing Ma , Chun Cao, and Jian Lü
(Nanjing University, China)

SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input
Fitsum Meshesha Kifetew , Wei Jin, Roberto Tiella, Alessandro Orso , and Paolo Tonella
(Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA)

New Ideas: Testing and Debugging

Pythia: Generating Test Cases with Oracles for JavaScript Applications
Shabnam Mirshokraie, Ali Mesbah, and Karthik Pattabiraman 
(University of British Columbia, Canada)

Randomizing Regression Tests using Game Theory
Nupul Kukreja, William G. J. Halfond , and Milind Tambe
(University of Southern California, USA)

Class Level Fault Prediction using Software Clustering
Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, and Tim Menzies
(University of Basilicata, Italy; University of Salerno, Italy; Wayne State University, USA; West Virginia University, USA)

Info

ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories
Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk , Mark Grechanik, Collin McMillan , and Malcom Gethers
(College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA)

Info

Flow Permissions for Android
Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek 
(SUNY Buffalo, USA)

New Ideas: Models and Requirements

Natural Language Requirements Quality Analysis Based on Business Domain Models
Annervaz K.M., Vikrant Kaulgud , Shubhashis Sengupta, and Milind Savagaonkar
(Accenture Technology Labs, India)

Model/Code Co-Refactoring: An MDE Approach
Jens von Pilgrim, Bastian Ulke, Andreas Thies, and Friedrich Steimann 
(Fernuniversität in Hagen, Germany)

Recovering Model Transformation Traces using Multi-Objective Optimization
Hajer Saada, Marianne Huchard, Clémentine Nebut, and Houari Sahraoui 
(Université Montpellier 2, France; CNRS, France; Université de Montréal, Canada)

Tool Demonstrations

Model Repair and Transformation with Echo
Nuno Macedo, Tiago Guimarães, and Alcino Cunha 
(HASLab at INESC TEC, Portugal; Universidade do Minho, Portugal)

Video Info

The Bounded Model Checker LLBMC
Stephan Falke, Florian Merz, and Carsten Sinz
(KIT, Germany)

Video Info

CSeq: A Concurrency Pre-processor for Sequential C Verification Tools
Bernd Fischer , Omar Inverso, and Gennaro Parlato
(Stellenbosch University, South Africa; University of Southampton, UK)

Info

Tool Support for Automatic Model Transformation Specification using Concrete Visualisations
Iman Avazpour, John Grundy, and Lars Grunske
(Swinburne University of Technology, Australia; University of Stuttgart, Germany)

Video Info

CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications
Markus Kusano and Chao Wang
(Virginia Tech, USA)

Video Info

Developing Self-Verifying Service-Based Systems
Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq
(University of York, UK)

Info

iProbe: A Lightweight User-Level Dynamic Instrumentation Tool
Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang
(NEC Labs, USA)

Video

Doctoral Symposium

proc time: 0.13