Analyzing APIs Documentation and Code to Detect Directive Defects by Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella and Harald Gall [preprint]
An Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs by He Jiang, Jingxuan Zhang, Zhilei Ren and Tao Zhang [preprint]
Detecting User Story Information in Developer-Client Conversations to Generate Extractive Summaries by Paige Rodeghero, Siyuan Jiang, Ameer Armaly and Collin McMillan
Keyword Search for Building Service-Based Systems by Qiang He and Rui Zhou and Xuyun Zhang and Yanchun Wang and Dayong Ye and Feifei Chen and John Grundy and Yun Yang (Journal-First Paper)
Program Analysis I (Libertador B)
Session Chair: Antonio Filieri
Glacier: Transitive Class Immutability for Java by Michael Coblenz, Whitney Nelson, Jonathan Aldrich, Brad Myers and Joshua Sunshine [preprint]
TRAVIOLI: A Dynamic Analysis for Detecting Data-Structure Traversals by Rohan Padhye and Koushik Sen [preprint]
ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains by Guoxin Su, Taolue Chen, Yuan Feng and David Rosenblum [preprint]
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-precision Testing by Enyi Tang and Xiangyu Zhang and Norbert Th. Muller and Zhenyu Chen and Xuandong Li (Journal-First Paper)
Concurrency (Retiro A)
Session Chair: Carlo Alberto Furia
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests by Ankit Choudhary, Shan Lu and Michael Pradel [preprint]
RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay by Lu Zhang and Chao Wang [preprint]
Repairing Event Race Errors by Controlling Nondeterminism by Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip and Koushik Sen [preprint]
Hierarchical Program Paths by Chunbai Yang and Shangru Wu and W.K. Chan (Journal-First Paper) [DOI]
Wednesday (14:00 - 15:30)
Refactoring (Libertador A)
Session Chair: Danny Dig
Clone Refactoring with Lambda Expressions by Nikolaos Tsantalis, Davood Mazinanian and Shahriar Rostami Dovom [preprint]
Characterizing and Detecting Anti-patterns in the Logging Code by Boyuan Chen and Zhen Ming Jack Jiang [preprint]
Automated Refactoring of Legacy Java Software to Default Methods by Raffi Khatchadourian and Hidehiko Masuhara [preprint]
Using Cohesion and Coupling for Software Remodularization: Is it Enough? by Ivan Candela and Gabriele Bavota and Barbara Russo and Rocco Oliveto (Journal-First Paper) [DOI]
Dependability, Security, and Privacy (Libertador B)
Session Chair: Michael Pradel
How Good is a Security Policy against Real Breaches? A HIPAA Case Study by Ozgur Kafali, Jasmine Jones, Megan Petruso, Laurie Williams and Munindar P. Singh [preprint]
Adaptive Coverage and Operational Profile-based Testing for Reliability Improvement by Antonia Bertolino, Breno Miranda, Roberto Pietrantuono and Stefano Russo [preprint]
Mining Privacy Goals from Privacy Policies using Hybridized Task Re-composition by Jaspreet Bhatia and Travis Breaux and Florian Schaub (Journal-First Paper) [DOI]
Safety Evidence Change Impact Analysis in Practice by Jose Luis de la Vara and Markus Borg and Krzysztof Wnuk and Leon Moonen (Journal-First Paper) [DOI] [preprint]
Search-Based Software Engineering (Libertador C)
Session Chair: Lars Grunske
Search-driven String Constraint Solving for Vulnerability Detection by Julian Thome, Lwin Khin Shar, Domenico Bianculli and Lionel Briand [preprint]
A Guided Genetic Algorithm for Automated Crash Reproduction by Mozhan Soltani, Annibale Panichella and Arie Van Deursen [preprint]
Stochastic Optimization of Program Obfuscation by Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu and Jiaguang Sun
SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary Optimisation by Rob Mark Hierons and Miqing Li and XiaoHui Liu and Sergio Segura and Wei Zheng (Journal-First Paper) [preprint]
Wednesday (16:00 - 17:30)
Software Process (Libertador A)
Session Chair: Daniela Damian
Software Development Waste by Todd Sedano, Paul Ralph and Cécile Péraire [preprint]
Becoming Agile: A Grounded Theory of Agile Transitions in Practice by Rashina Hoda and James Noble [preprint]
From Diversity by Numbers to Diversity as Process: Supporting Inclusiveness in Software Teams with Brainstorming by Anna Filippova, Erik Trainer and James Herbsleb [preprint]
Process Aspects and Social Dynamics of Contemporary Code Review: Insghts from Open Source Development and Industrial Practice at Microsoft by A. Bosu and J. Carver and C. Bird and J. Orbeck and C. Chockley (Journal-First Paper)
Testing I (Libertador B)
Session Chair: Lionel Briand
Syntactic and Semantic Differencing for Combinatorial Models of Test Designs by Rachel Tzoref-Brill and Shahar Maoz [preprint]
Balancing Soundness and Efficiency for Practical Testing of Configurable Systems by Sabrina Souto, Marcelo d'Amorim and Rohit Gheyi [preprint]
Automatic Input Generation for Mobile Testing by Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques and Lingfei Zeng
A Test-Suite Diagnosability Metric for Spectrum-based Fault Localization Approaches by Alexandre Perez, Rui Abreu and Arie van Deursen [preprint]
Mobile Application Security (Libertador C)
Session Chair: Eric Bodden
Making Malory Behave Maliciously: Targeted Fuzzing of Android Execution Environments by Siegfried Rasthofer, Steven Arzt, Stefan Triller and Michael Pradel [preprint]
A SEALANT for Inter-App Security Holes in Android by Youn Kyu Lee, Jae Young Bang, Gholamreza Safi, Arman Shahbazian, Yixue Zhao and Nenad Medvidovic [preprint]
An Efficient, Robust, and Scalable Approach for Analyzing Interacting Android Apps by Yutaka Tsutano, Shakthi Bachala, Witawas Srisa-An, Gregg Rothermel and Jackson Dinh [preprint]
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Apps by Alireza Sadeghi and Hamid Bagheri and Joshua Garcia and sam Malek (Journal-First Paper)
Thursday (11:00 - 12:30)
Web Applications (Libertador A)
Session Chair: William Halfond
ZenIDS: Introspective Intrusion Detection for PHP Applications by Byron Hawkins and Brian Demsky [preprint]
Statically Checking Web API Requests in JavaScript by Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby and Jim A. Laredo [preprint]
On Cross-stack Configuration Errors by Mohammed Sayagh, Noureddine Kerzazi and Bram Adams [preprint]
Finding and Evaluating the Performance Impact of Redundant Data Access for Applications Using ORM by Tse-Hsun Chen and Weiyi Shang and Zhen Ming Jiang and Ahmed E. Hassan and Mohamed Nasser and Parminder Flora (Journal-First Paper) [preprint]
Recommendation Systems (Libertador B)
Session Chair: Christian Bird
Supporting Software Developers with a Holistic Recommender System by Luca Ponzanelli, Simone Scalabrino, Gabriele Bavota, Andrea Mocci, Rocco Oliveto, Massimiliano Di Penta and Michele Lanza [preprint]
Recommending and Localizing Change Requests for Mobile Apps based on User Reviews by Fabio Palomba, Pasquale Salza, Adelina Ciurumelea, Sebastiano Panichella, Harald Gall, Filomena Ferrucci and Andrea De Lucia [preprint]
Machine Learning-Based Detection of Open Source License Exceptions by Christopher Vendome, Mario Linares-Vásquez, Gabriele Bavota, Massimiliano Di Penta, Daniel German and Denys Poshyvanyk [preprint]
Supporting Change Impact Analysis Using a Recommendation System: An Industrial Case Study in a Safety-Critical Context by Markus Borg and Krzysztof Wnuk and Bjorn Regnell and Per Runeson (Journal-First Paper) [preprint]
Debugging (Libertador C)
Session Chair: Andreas Zeller
Performance Diagnosis for Inefficient Loops by Linhai Song and Shan Lu [preprint]
How do Developers Fix Cross-project Correlated Bugs? A case study on the GitHub scientific Python ecosystem by Wanwangying Ma, Lin Chen, Xiangyu Zhang, Yuming Zhou and Baowen Xu [preprint]
Feedback-Based Debugging by Yun Lin, Jun Sun, Yinxing Xue, Yang Liu and Jinsong Dong
A Framework for Evaluating the Results of the SZZ Approach For Identifying Bug-Introducing Changes by Daniel Alencar da Costa and Shane McIntosh and Weiyi Shang and Uira Kulesza and Roberta Coelho and Ahmed Hassan (Journal-First Paper)
Thursday (14:00 - 15:30)
Studies of Software Developers (Libertador A)
Session Chair: Christian Kästner
Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics by Mitchell Joblin, Sven Apel, Claus Hunsen and Wolfgang Mauerer [preprint]
Decoding the representation of code in the brain: An fMRI study of code review and expertise by Benjamin Floyd, Tyler Santander and Westley Weimer [preprint]
Understanding the Impressions, Motivations, and Barriers of One Time Code Contributors to FLOSS Projects: A Survey by Amanda Lee, Jeffrey Carver and Amiangshu Bosu [preprint]
The Role of Ethnographic studies in Empirical Software Engineering by Helen Sharp and Yvonne Dittrich and Cleidson R. B. de Souza (Journal-First Paper)
Program Synthesis and Repair (Libertador B)
Session Chair: Abhik Roychoudhury
Learning Syntactic Program Transformations from Examples by Reudismam Rolim, Gustavo Soares, Loris D'antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki and Bjorn Hartmann [preprint]
Precise Condition Synthesis for Program Repair by Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang and Lu Zhang [preprint]
Heuristically Matching Formula Solution Spaces to Efficiently Reuse Solutions by Andrea Aquino, Giovanni Denaro and Mauro Pezze' [preprint]
Multi-step learning and adaptive search for learning complex model transformations from examples by Islem Baki and Houari Sahraoui (Journal-First Paper) [DOI]
Testing II (Libertador C)
Session Chair: Antonia Bertolino
Automated Transplantation and Differential Testing for Clones by Tianyi Zhang and Miryung Kim [preprint]
Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation Testing Game by José Miguel Rojas, Thomas White, Benjamin Clegg and Gordon Fraser [preprint]
Optimizing Test Placement for Module-Level Regression Testing by August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjorner and Jacek Czerwonka [preprint]
Learning to Prioritize Test Programs for Compiler Testing by Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang and Bing Xie [preprint]
Thursday (16:00 - 17:30)
Development Tools and Frameworks (Libertador A)
Session Chair: Ciera Jaspan
RADAR: A Lightweight Tool for Requirements and Architecture Decision Analysis by Saheed Busari and Emmanuel Letier [preprint]
PEoPL: Projectional Editing of Product Lines by Benjamin Behringer, Jochen Palz and Thorsten Berger [preprint]
Do Developers Read Compiler Error Messages? by Titus Barik, Justin Smith, Kevin Lubick, Elisabeth Holmes, Jing Feng, Emerson Murphy-Hill and Chris Parnin [preprint]
A General Framework for Dynamic Stub Injection by Maria Christakis, Patrick Emmisberger, Patrice Godefroid and Peter Müller [preprint]
Testing and Debugging (Libertador B)
Session Chair: Martin Monperrus
An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption by Titcheu Chekam Thierry, Mike Papadakis, Yves Le Traon and Mark Harman [preprint]
Evaluating and Improving Fault Localization by Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang and Benjamin Keller [preprint]
A Survey on Metamorphic Testing by Sergio Segura and Gordon Fraser and Ana B. Sanchez and Antonio Ruiz-Cortés (Journal-First Paper) [preprint]
A Dissection of Test-Driven Development: Does It Really Matter to Test-First or to Test-Last by Davide Fucci and Hakan Erdogmus and Burak Turhan and Markku Oivo and Natalia Juristo (Journal-First Paper)
Traceability (Libertador C)
Session Chair: Laura Dillon
Semantically Enhanced Software Traceability Using Deep Learning Techniques by Jin Guo, Jinghui Cheng and Jane Cleland-Huang [preprint]
Can Latent Topics in Source Code Predict Missing Architectural Tactics? by Raghuram Gopalakrishnan, Palak Sharma, Mehdi Mirakhorli and Matthias Galster
Preventing Defects: The Impact of Traceability Completeness on Software Quality by Patrick Rempel and Patrick Mader (Journal-First Paper)
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic by Marie C. Platenius and Wilhelm Schäfer and Ammar Shaker and Eyke Hüllermeier and Matthias Becker (Journal-First Paper) [preprint]
Friday (11:00 - 12:30)
Formal Methods (Libertador A)
Session Chair: Domenico Bianculli
Symbolic Model Extraction for Web Application Verification by Ivan Bocic and Tevfik Bultan
UML Diagram Refinement by Shmuel Tyszberowicz and David Faitelson [preprint]
Impact-Driven Process Model Repair by Artem Polyvyanyy and Wil van der Aalst and Arthur ter Hofstede and Moe Wynn (Journal-First Paper) [preprint] [DOI]
GK-Tail+ An Efficient Approach to Learn Precise Software Models by Leonardo Mariani and Mauro Pezze and Mauro Santoro (Journal-First Paper)
Mining Software Repositories (Libertador B)
Session Chair: Massimiliano Di Penta
Exploring API Embedding for API Usages and Applications by Trong Nguyen, Anh Nguyen, Hung Phan and Tien Nguyen
Unsupervised Software-Specific Morphological Forms Inference from Informal Discussions by Chunyang Chen, Zhenchang Xing and Ximing Wang [preprint]
Generating API Call Rules from Version History and StackOverflow Posts by Shams Azad and Peter Christopher Rigby, Latifa Gerrouj (Journal-First Paper) [DOI]
Mining Sequences of Developer Interactions in Visual Studio for Usage Smells by Kostadin Damevski and David Shepherd and Johannes Schneider and Lori Pollock (Journal-First Paper)
Software Evolution (Libertador C)
Session Chair: Alberto Bacchelli
Fuzzy Fine-grained Code-history Analysis by Francisco Servant and James Jones
To Type or Not to Type: Quantifying Preventable Bugs in JavaScript by Zheng Gao, Christian Bird and Earl Barr [preprint]
The Evolution of Continuous Experimentation in Software Product Development by Aleksander Fabijan, Pavel Dmitriev, Helena Holmström Olsson and Jan Bosch [preprint]
Approaches to Co-Evolution of Metamodels and Models: A Survey by Regina Hebig and Djamel Khelladi and Reda Bendraou (Journal-First Paper)
Friday (14:00 - 15:30)
Defect Prediction (Libertador A)
Session Chair: Marcelo d'Amorim
What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing by Jiang He, Li Xiaochen, Yang Zijiang and Xuan Jifeng [preprint]
An Improved SDA based Defect Prediction Framework for both Within-project and Cross-project Class-imbalance Problems by Xiao-Yuan Jing and Fei Wu and Xiwei Dong and Baowen Xu (Journal-First Paper)
An Empirical Comparison of Model Validation Techniques for Defect Prediction Models by Chakkrit Tantithamthavorn and Shane McIntosh and Ahmed Hassan and Kenichi Matsumoto (Journal-First Paper) [preprint]
The Use of Summation to Aggregate Software Metrics Hinders the Performance of Defect Prediction Models by Feng Zhang and Ahmed E. Hassan and Shane McIntosh and Ying Zou (Journal-First Paper)
Program Analysis II (Libertador B)
Session Chair: Frank Tip
The Value of Exact Analysis in Requirements Selection by Lingbo Li and Mark Harman and Fan Wu and Yuanyuan Zhang (Journal-First Paper)
Challenges for Static Analysis of Java Reflection -- Literature Review and Empirical Study by Davy Landman, Alexander Serebrenik and Jurgen Vinju [preprint]
Machine-Learning-Guided Selectively Unsound Static Analysis by Kihong Heo, Hakjoo Oh and Kwangkeun Yi [preprint]
SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills by Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu and Fu Song
Mobile Application Developement (Libertador C)
Session Chair: Sam Malek
LibD: Scalable and Precise Third-party Library Detection in Android Markets by Menghao Li, Wei Wang, Pei Wang, Shuai Wang, Dinghao Wu, Jian Liu, Rui Xue and Wei Huo [preprint]
Analysis and Testing of Notifications in Android Wear Applications by Hailong Zhang and Atanas Rountev [preprint]
Adaptive Unpacking of Android Apps by Lei Xue, Xiapu Luo, Le Yu, Shuai Wang and Dinghao Wu
A Survey of App Store Analysis for Software Engineering by Martin, William and Sarro, Federica and Jia, Yue and Zhang, Yuanyuan and Harman, Mark (Journal-First Paper)