ESEC/FSE 2017
2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)

2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), September 4–8, 2017, Paderborn, Germany

Phone Layout
No Pictures
Monday, September 4, 2017
8th ACM SIGSOFT International Workshop on Automated Software Testing (A-TEST 2017) (Workshop A-TEST)
09:00 – 17:00, F1.110
1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics (SERF 2017) (Workshop SERF)
09:00 – 17:00, F0.231
3rd ACM SIGSOFT International Workshop on Software Analytics (SWAN 2017) (Workshop SWAN)
09:00 – 17:00, F0.530
Dynamic Mutant Subsumption Analysis using LittleDarwin
(University of Antwerp, Belgium)
Publisher's Version Preprint
Building Forensics In: Supporting the Investigation of Digital Criminal Activities (Invited Talk)
(North Carolina State University, USA)
Publisher's Version
Find, Understand, and Extend Development Screencasts on YouTube
(University of Hamburg, Germany; HITeC, Germany)
Publisher's Version Preprint
Hybrid Monkey Testing: Enhancing Automated GUI Tests with Random Test Generation
Thomas Wetzlmaier and Rudolf Ramler
(Software Competence Center Hagenberg, Austria)
Publisher's Version
Use of Organisational Topologies for Forensic Investigations
George Grispos, Sorren Hanvey, and Bashar Nuseibeh
(Lero, Ireland; Open University, UK)
Publisher's Version
Analyzing Source Code for Automated Design Pattern Recommendation
Oliver Hummel and Stefan Burger
(Mannheim University of Applied Sciences, Germany; Siemens, Germany)
Publisher's Version Preprint
Collaborative Economy for Testing Cost Reduction on Android Ecosystem
Kenyo Abadio Crosara Faria, Eduardo Noronha de Andrade Freitas, and Auri Marcelo Rizzo Vincenzi
(Federal Institute of Goias, Brazil; Federal University of Sao Carlos, Brazil)
Publisher's Version
Sustainable Automated Data Recovery: A Research Roadmap
Jeroen van den Bos
(Netherlands Forensic Institute, Netherlands; Zuyd University of Applied Sciences, Netherlands)
Publisher's Version Preprint
Metadata-Based Code Example Embedding
Philippe Tamla, Sven Feja, and Christian R. Prause
(NTT DATA, Germany; adesso, Germany; German Aerospace Center, Germany)
Publisher's Version
Evaluating Quality of Security Testing of the JDK
Padmanabhan Krishnan, Jerome Loh, Rebecca O'Donoghue, and Larissa Meinicke
(Oracle, Australia; University of Queensland, Australia)
Publisher's Version
Snap Forensics: A Tradeoff between Ephemeral Intelligence and Persistent Evidence Collection
Yijun Yu and Thein Than Tun
(Open University, UK)
Publisher's Version
Timezone and Time-of-Day Variance in GitHub Teams: An Empirical Method and Study
Premkumar Devanbu, Pallavi Kudigrama, Cindy Rubio-González, and Bogdan Vasilescu
(University of California at Davis, USA; Carnegie Mellon University, USA)
Publisher's Version
Comparing Automated Visual GUI Testing Tools: An Industrial Case Study
Vahid Garousi, Wasif Afzal, Adem Çağlar, İhsan Berk Işık, Berker Baydan, Seçkin Çaylak, Ahmet Zeki Boyraz, Burak Yolaçan, and Kadir Herkiloğlu
(University of Luxembourg, Luxembourg; Wageningen University, Netherlands; Mälardalen University, Sweden; Havelsan, Turkey)
Publisher's Version
Predicting Rankings of Software Verification Tools
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim
(University of Paderborn, Germany)
Publisher's Version
Tuesday, September 5, 2017
8th ACM SIGSOFT International Workshop on Automated Software Testing (A-TEST 2017) (Workshop A-TEST)
09:00 – 17:00, F1.110
2nd ACM SIGSOFT International Workshop on App Market Analytics (WAMA 2017) (Workshop WAMA)
09:00 – 17:00, F0.530
Doctoral Symposium
09:00 – 17:00, F0.225
Mining Mobile App Markets for Prioritization of Security Assessment Effort
Alireza Sadeghi, Naeem Esfahani, and Sam Malek
(University of California at Irvine, USA; Google, USA)
Publisher's Version
Using Search-Based Software Engineering to Handle the Changes with Uncertainties for Self-Adaptive Systems
Lu Wang
(Xidian University, China)
Publisher's Version
Android Apps and User Feedback: A Dataset for Software Evolution and Quality Improvement
Giovanni Grano, Andrea Di Sorbo, Francesco Mercaldo, Corrado A. Visaggio, Gerardo Canfora, and Sebastiano Panichella
(University of Zurich, Switzerland; University of Sannio, Italy; IIT-CNR, Italy)
Publisher's Version
DRACO: Discovering Refactorings That Improve Architecture using Fine-Grained Co-change Dependencies
Marcos César de Oliveira
(University of Brasília, Brazil)
Publisher's Version
Understanding the Security Management of Global Third-Party Android Marketplaces
Yuta Ishii, Takuya Watanabe, Fumihiro Kanei, Yuta Takata, Eitaro Shioji, Mitsuaki Akiyama, Takeshi Yagi, Bo Sun, and Tatsuya Mori
(Waseda University, Japan; NTT, Japan)
Publisher's Version
User- and Analysis-Driven Context Aware Software Development in Mobile Computing
Mai Abusair
(University of L'Aquila, Italy)
Publisher's Version
Studying Software Descriptions in SourceForge and App Stores for a Better Understanding of Real-Life Requirements
Frederik Simon Bäumer, Markus Dollmann, and Michaela Geierhos
(University of Paderborn, Germany)
Publisher's Version
Recommender System for Model Driven Software Development
(University of Ulm, Germany)
Publisher's Version
On the Similarity of Software Development Documentation
(University of Hamburg, Germany)
Publisher's Version Preprint
Application of Search-Based Software Engineering Methodologies for Test Suite Optimization and Evolution in Mission Critical Mobile Application Development
Andreas Schuler
(University of Applied Sciences Upper Austria, Austria)
Publisher's Version
Summarizing Software Engineering Communication Artifacts from Different Sources
(University of Stuttgart, Germany)
Publisher's Version
Model-Based Dynamic Software Project Scheduling
Natasha Nigar
(University of Birmingham, UK)
Publisher's Version
System Performance Optimization via Design and Configuration Space Exploration
(University of Virginia, USA)
Publisher's Version Preprint
ICSE SC Meeting (Business)
18:00 – 20:30, F0.225
Wednesday, September 6, 2017
Message from the Chairs
09:00 – 09:30, Auditorium
Message from the Chairs
Eric Bodden, Wilhelm Schäfer, Arie van Deursen, and Andrea Zisman
(Paderborn University, Germany; Fraunhofer IEM, Germany; Delft University of Technology, Netherlands; Open University, UK)
The Rising Tide Lifts All Boats: The Advancement of Science in Cyber Security (Invited Talk)
09:30 – 10:30, Auditorium, Chair: Eric Bodden
The Rising Tide Lifts All Boats: The Advancement of Science in Cyber Security (Invited Talk)
(North Carolina State University, USA)
Publisher's Version
Evolution and Maintenance (Research Papers)
11:00 – 12:30, Auditorium, Chair: Ivica Crnkovic
Program Analysis I (Research Papers)
11:00 – 12:30, S1+2, Chair: Sebastian Elbaum
Machine Learning (Research Papers)
11:00 – 12:30, S3, Chairs: Arosha Bandara
Towards Prioritizing Documentation Effort
Paul W. McBurney, Siyuan Jiang, Marouane Kessentini, Nicholas A. Kraft, Ameer Armaly, Wiem Mkaouer, and Collin McMillan
(University of Pennsylvania, USA; University of Notre Dame, USA; University of Michigan, USA; ABB Corporate Research, USA)
Publisher's Version Preprint
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
Publisher's Version
Easy over Hard: A Case Study on Deep Learning
(North Carolina State University, USA)
Publisher's Version Preprint
A Fast Causal Profiler for Task Parallel Programs
Adarsh Yoga and Santosh Nagarakatte
(Rutgers University, USA)
Publisher's Version Preprint Artifacts Functional
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version
Finding Near-Optimal Configurations in Product Lines by Random Sampling
Jeho Oh, Don Batory, Margaret Myers, and Norbert Siegmund
(University of Texas at Austin, USA; Bauhaus-University Weimar, Germany)
Publisher's Version Preprint
On the Scalability of Linux Kernel Maintainers' Work
Minghui Zhou, Qingying Chen, Audris Mockus, and Fengguang Wu
(Peking University, China; University of Tennessee, USA; Intel, China)
Publisher's Version Preprint Info
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, and Ansuman Banerjee
(NIT Meghalaya, India; Jadavpur University, India; Indian Statistical Institute, India)
Publisher's Version Preprint
Automatic Software Refactoring via Weighted Clustering in Method-level Networks
Ying Wang, Hai Yu, Zhi-Liang Zhu, Wei Zhang, and Yu-Li Zhao
(Northeastern University, China)
Publisher's Version Preprint Video
Modeling and Verification of Evolving Cyber-Physical Spaces
(Politecnico di Milano, Italy)
Publisher's Version
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance
Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi
(Brown University, USA; Worcester Polytechnic Institute, USA)
Best-Paper Award
Publisher's Version Info Artifacts Reusable
Revisiting Unsupervised Learning for Defect Prediction
(North Carolina State University, USA)
Publisher's Version Preprint
Guided tour
12:50 – 13:50, Museum
Human Aspects (Research Papers)
14:00 – 15:30, Auditorium, Chair: Jo Attle
Process (Research Papers)
14:00 – 15:30, S1+2, Chair: Martina Maggio
Handling Failures (Research Papers)
14:00 – 15:30, S3, Chair: Fabrizio Pastore
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
Publisher's Version Preprint Info Artifacts Reusable
Why Modern Open Source Projects Fail
(Federal University of Minas Gerais, Brazil)
Publisher's Version Preprint
Bayesian Specification Learning for Finding API Usage Errors
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine
(Rice University, USA)
Publisher's Version
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
Best-Paper Award
Publisher's Version Preprint Info
Predicting Delivery Capability in Iterative Software Development
Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Aditya Ghose, and John Grundy
(University of Wollongong, Australia; Deakin University, Australia)
Publisher's Version Preprint
Are delayed issues harder to resolve? Revisiting cost-to-fix of defects throughout the lifecycle
Tim Menzies, William Nichols, Forrest Shull, and Lucas Layman
(North Carolina State University, USA; Software Engineering Institute, USA; Fraunhofer CESE, USA)
Publisher's Version Preprint
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Publisher's Version Preprint Info
Identifying self-admitted technical debt in open source projects using texting mining
Qiao Huang, Emad Shihab, Xin Xia, David Lo, and Shanping Li
(Zhejiang University, China; Concordia University, Canada; University of British Columbia, Canada; Singapore Management University, Singapore)
Publisher's Version Preprint
Synergistic Debug-Repair of Heap Manipulations
Sahil Verma and Subhajit Roy
(IIT Kanpur, India)
Publisher's Version
The Work Life of Developers: Activities, Switches and Perceived Productivity
(University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA)
Publisher's Version Preprint
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
Best-Paper Award
Publisher's Version Preprint Info
Failure-Directed Program Trimming
Kostas Ferles, Valentin Wüstholz, Maria Christakis, and Isil Dillig
(University of Texas at Austin, USA; University of Kent, UK)
Publisher's Version Preprint
Testing Mobile Apps (Research Papers)
16:00 – 17:30, Auditorium, Chair: Cor-Paul Bezemer
Variability Analysis (Research Papers)
16:00 – 17:30, S1+2, Chair: Andreas Zeller
Concurrency (Research Papers)
16:00 – 17:30, S3, Chair: Dalal Alrajeh
Guided tour
16:00 – 17:00, Museum
µDroid: An Energy-Aware Mutation Testing Framework for Android
(University of California at Irvine, USA)
Publisher's Version Preprint
Using Bad Learners to Find Good Configurations
Vivek Nair, Tim Menzies, Norbert Siegmund, and Sven Apel
(North Carolina State University, USA; Bauhaus-University Weimar, Germany; University of Passau, Germany)
Publisher's Version Preprint
Adaptively Generating High Quality Fixes for Atomicity Violations
Yan Cai, Lingwei Cao, and Jing Zhao
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Harbin Engineering University, China)
Publisher's Version
PATDroid: Permission-Aware GUI Testing of Android
(University of California at Irvine, USA)
Publisher's Version Preprint Info Artifacts Functional
Attributed Variability Models: Outside the Comfort Zone
Norbert Siegmund, Stefan Sobernig, and Sven Apel
(Bauhaus-University Weimar, Germany; WU Vienna, Austria; University of Passau, Germany)
Publisher's Version Preprint Info
AtexRace: Across Thread and Execution Sampling for In-House Race Detection
(Western Michigan University, USA; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
Enabling Mutation Testing for Android Apps
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
Publisher's Version Preprint Info
Kmax: Finding All Configurations of Kbuild Makefiles Statically
(Yale University, USA)
Publisher's Version Preprint Info
Symbolic Execution of Programmable Logic Controller Code
Shengjian Guo, Meng Wu, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version Preprint
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
Publisher's Version Preprint
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
Publisher's Version Preprint Info Artifacts Reusable
Thread-Modular Static Analysis for Relaxed Memory Models
Markus Kusano and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version Preprint
Guided city tours
18:30 – 19:30, City
Welcome reception
19:30 – 21:30, City
Dinner, if wanted (on your own)
21:30 – 22:00, City
Thursday, September 7, 2017
Verifying the Forecast: How Climate Models Are Developed and Tested (Invited Talk)
09:00 – 10:00, Auditorium, Chair: Andrea Zisman
Verifying the Forecast: How Climate Models Are Developed and Tested (Invited Talk)
Steve Easterbrook
(University of Toronto, Canada)
Publisher's Version
Reactive Systems and Control Theory (Research Papers)
10:30 – 12:00, Auditorium, Chair: Luciano Baresi
Empirical Studies (Research Papers)
10:30 – 12:00, S1+2, Chair: David Rosenblum
Modeling (Research Papers)
10:30 – 12:00, S3, Chair: Tim Menzies
Testing and Security in the Real World (Industrial Papers)
10:30 – 12:00, S4, Chair: Per Runeson
Dynamic Analysis (Tool Demonstrations)
10:30 – 12:00, S5
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Ajith Kamath, Julien Gascon-Samson, and Karthik Pattabiraman
(University of British Columbia, Canada; National Institute of Technology Karnataka, India)
Publisher's Version Preprint
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
(Concordia University, Canada)
Publisher's Version Preprint
Continuous Variable-Specific Resolutions of Feature Interactions
M. Hadi Zibaeenejad, Chi Zhang, and Joanne M. Atlee
(University of Waterloo, Canada)
Publisher's Version Info
When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; Pwnzen Infotech, China; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint
QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection
Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, and Vladimir Makarov
(Novgorod State University, Russia)
Publisher's Version Info
A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
(Tel Aviv University, Israel)
Publisher's Version Preprint Info
On the pragmatic design of literature studies in software engineering: an experience-based guideline
Marco Kuhrmann, Daniel Méndez Fernández, and Maya Daneva
(University of Southern Denmark, Denmark; TU Munich, Germany; University of Twente, Netherlands)
Publisher's Version Preprint
Model Transformation Modularization as a Many-Objective Optimization Problem
Martin Fleck, Javier Troya, Marouane Kessentini, Manuel Wimmer, and Bader Alkhazi
(Vienna University of Technology, Austria; University of Seville, Spain; University of Michigan, USA)
Publisher's Version Preprint
File-Level vs. Module-Level Regression Test Selection for .NET
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)
Publisher's Version
RunDroid: Recovering Execution Call Graphs for Android Applications
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, and Huibiao Zhu
(East China Normal University, China; Case Western Reserve University, USA)
Publisher's Version Preprint Video Info
Control-Theoretical Software Adaptation: A Systematic Literature Review
Stepan Shevtsov, Mihaly Berekmeri, Danny Weyns, and Martina Maggio
(Linnaeus University, Sweden; Grenoble INP, France; KU Leuven, Belgium; Lund University, Sweden)
Publisher's Version Preprint
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
Publisher's Version Preprint
A Templating System to Generate Provenance
Luc Moreau, Belfrit Victor Batlajery, Trung Dong Huynh, Danius Michaelides, and Heather Packer
(University of Southampton, UK)
Publisher's Version Preprint Info
Record and Replay for Android: Are We There Yet in Industrial Cases?
Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tencent, China)
Publisher's Version Preprint
RGSE: A Regular Property Guided Symbolic Executor for Java
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, and Wei Dong
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
Publisher's Version Preprint Video Info
Automated Control of Multiple Software Goals using Multiple Actuators
(Lund University, Sweden; Mälardalen University, Sweden; Imperial College London, UK; University of Chicago, USA)
Publisher's Version Preprint Info
An empirical study of unspecified dependencies in make-based build systems
Cor-Paul Bezemer, Shane McIntosh, Bram Adams, Daniel M. German, and Ahmed E. Hassan
(Queen's University, Canada; McGill University, Canada; Polytechnique Montréal, Canada; University of Victoria, Canada)
Publisher's Version Preprint
Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems
(Queen's University, Canada)
Publisher's Version Preprint Video Info Artifacts Functional
Model-Driven Software Engineering in Practice: Privacy-Enhanced Filtering of Network Traffic
Roel van Dijk, Christophe Creeten, Jeroen van der Ham, and Jeroen van den Bos
(Netherlands Forensic Institute, Netherlands; Delft University of Technology, Netherlands; National Cyber Security Centre, Netherlands; Zuyd University of Applied Sciences, Netherlands)
Publisher's Version Preprint
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, and Geylani Kardas
(Wageningen University, Netherlands; University of Luxembourg, Luxembourg; Ege University, Turkey)
Publisher's Version Preprint Video Info
VART: A Tool for the Automatic Detection of Regression Faults
(University of Milano-Bicocca, Italy)
Publisher's Version Preprint Video Info
Student Research Competition
12:00 – 14:00
Suggesting Meaningful Variable Names for Decompiled Code: A Machine Translation Approach
(Carnegie Mellon University, USA)
Publisher's Version Preprint
Practical Symbolic Verification of Regular Properties
Hengbiao Yu
(National University of Defense Technology, China)
Publisher's Version Preprint
FOSS Version Differentiation as a Benchmark for Static Analysis Security Testing Tools
(University of Trento, Italy)
Publisher's Version Preprint
DecisionDroid: A Supervised Learning-Based System to Identify Cloned Android Applications
(Southern Illinois University at Carbondale, USA)
Publisher's Version
Reasons and Drawbacks of using Trivial npm Packages: The Developers' Perspective
(Concordia University, Canada)
Publisher's Version Preprint
Detecting Wearable App Permission Mismatches: A Case Study on Android Wear
(Concordia University, Canada)
Publisher's Version Preprint
Automating Traceability Link Recovery through Classification
Chris Mills
(Florida State University, USA)
Publisher's Version
Improving Performance of Automatic Program Repair using Learned Heuristics
Liam Schramm
(Bard College, USA)
Publisher's Version
Guided tour
13:00 – 14:00, Museum
Distributed Systems (Research Papers)
14:00 – 15:30, Auditorium, Chair: Stelios Sidirogiou-Doukos
Testing I (Research Papers)
14:00 – 15:30, S1+2, Chair: Gregg Rothermel
Refactoring (Research Papers)
14:00 – 15:30, S3, Chair: Premkumar Devambu
The State of the Practice (Industrial Papers)
14:00 – 15:30, S4, Chair: Natalia Juristo
Models (Tool Demonstrations)
14:00 – 15:30, S5
Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson
(Imperial College London, UK)
Best-Paper Award
Publisher's Version Preprint
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
Publisher's Version
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
Publisher's Version Info
Strong Agile Metrics: Mining Log Data to Determine Predictive Power of Software Metrics for Continuous Delivery Teams
Hennie Huijgens, Robert Lamping, Dick Stevens, Hartger Rothengatter, Georgios Gousios, and Daniele Romano
(Delft University of Technology, Netherlands; ING Bank, Netherlands; CGI, Netherlands)
Publisher's Version Preprint
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, , Juan Pablo Galeotti, and Marcelo Frias
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
Publisher's Version Preprint Video Info
A Qualitative Study of Application-level Caching
(Federal University of Rio Grande do Sul, Brazil; TU Dortmund, Germany)
Publisher's Version Preprint Info
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
Best-Paper Award
Publisher's Version Preprint Info
Detecting overly strong preconditions in refactoring engines
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, and Leopoldo Teixeira
(Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil; Federal University of Pernambuco, Brazil)
Publisher's Version
Screening Heuristics for Project Gating Systems
Zahy Volf and Edi Shmueli
(Bar-Ilan University, Israel)
Publisher's Version
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, and Eric Wete
(Leibniz Universität Hannover, Germany)
Publisher's Version Preprint Video Info
Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis
(University of Buenos Aires, Argentina; Imperial College London, UK)
Publisher's Version Preprint
The Care and Feeding of Wild-Caught Mutants
(University of Wisconsin-Madison, USA)
Publisher's Version Preprint Video Info Artifacts Reusable
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
Publisher's Version Preprint
Natural Language Querying in SAP-ERP Platform
Diptikalyan Saha, Neelamadhav Gantayat, Senthil Mani, and Barry Mitchell
(IBM Research, India; IBM, USA)
Publisher's Version Preprint
CLTSA: Labelled Transition System Analyser with Counting Fluent Support
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; University of Buenos Aires, Argentina)
Publisher's Version Preprint Video Info
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
(National University of Singapore, Singapore; University of Wollongong, Australia)
Publisher's Version
QTEP: Quality-Aware Test Case Prioritization
(University of Waterloo, Canada)
Publisher's Version Preprint Info
Identifying Extract Method Refactoring Opportunities based on Functional Relevance
Sofia Charalampidou, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Antonios Gkortzis, and Paris Avgeriou
(University of Groningen, Netherlands; University of Macedonia, Greece)
Publisher's Version Preprint
Serverless Computing: Economic and Architectural Impact
(Neuri Consulting, UK; Imperial College London, UK)
Publisher's Version Preprint
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
Csaba Debreceni, Gábor Bergmann, Márton Búr, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
Publisher's Version Preprint
Model-Based Privacy and Security Analysis with CARiSMA
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, and Jan Jürjens
(University of Koblenz-Landau, Germany; Fraunhofer ISST, Germany)
Publisher's Version Preprint Video Info
Program Analysis II (Research Papers)
16:00 – 17:30, Auditorium, Chair: Mary Lou Soffa
Specification Mining and Synthesis (Research Papers)
16:00 – 17:30, S1+2, Chair: Sven Apel
Requirements (Research Papers)
16:00 – 17:30, S3, Chair: Natalia Juristo
Understanding Software Developers (Industrial Papers)
16:00 – 17:30, S4, Chair: Stefan Sauer
Misc (Tool Demonstrations)
16:00 – 17:30, S5
Guided tour
16:00 – 17:00, Museum
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version Preprint Info Artifacts Reusable
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, and Michael Vaughn
(University of Wisconsin-Madison, USA; Microsoft Research, USA)
Publisher's Version Preprint
On Evidence Preservation Requirements for Forensic-Ready Systems
Dalal Alrajeh, Liliana Pasquale, and Bashar Nuseibeh
(Imperial College London, UK; University College Dublin, Ireland; Open University, UK; Lero, Ireland)
Publisher's Version Preprint
What Do Software Engineers Care About? Gaps between Research and Practice
Vladimir Ivanov, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
Publisher's Version Preprint
Cherry-Picking of Code Commits in Long-Running, Multi-release Software
Panuchart Bunyakiati and Chadarat Phipathananunth
(University of the Thai Chamber of Commerce, Thailand)
Publisher's Version Preprint Info
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
Publisher's Version Preprint
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
Publisher's Version
BDCI: Behavioral Driven Conflict Identification
(University of Milano-Bicocca, Italy)
Publisher's Version Preprint Info Artifacts Functional
Reference Architectures and Scrum: Friends or Foes?
Matthias Galster, Samuil Angelov, Silverio Martínez-Fernández, and Dan Tofan
(University of Canterbury, New Zealand; Fontys University of Applied Sciences, Netherlands; Fraunhofer IESE, Germany)
Publisher's Version Preprint
ARCC: Assistant for Repetitive Code Comprehension
Wilberto Z. Nunez, Victor J. Marin, and Carlos R. Rivero
(Rochester Institute of Technology, USA)
Publisher's Version Info
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, and Jeroen Ketema
(Imperial College London, UK)
Publisher's Version Preprint
Counterexample-Guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, and Michael Hicks
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
Publisher's Version Preprint
Complete and Interpretable Conformance Checking of Business Processes
Luciano García-Bañuelos, Nick R. T. P. van Beest, Marlon Dumas, Marcello La Rosa, and Willem Mertens
(University of Tartu, Estonia; Data61 at CSIRO, Australia; Queensland University of Technology, Australia)
Publisher's Version Preprint Info
Guidelines for Adopting Frontend Architectures and Patterns in Microservices-Based Systems
Holger Harms, Collin Rogowski, and Luigi Lo Iacono
(Funke Digital, Germany; inovex, Germany; Cologne University of Applied Sciences, Germany)
Publisher's Version
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Publisher's Version Preprint Video Info
Discovering Relational Specifications
Calvin Smith, Gabriel Ferns, and Aws Albarghouthi
(University of Wisconsin-Madison, USA)
Best-Paper Award
Publisher's Version
Improving Understanding of Dynamically Typed Software Developed by Agile Practitioners
(Grupo Saberes, Colombia; Universidad de los Andes, Colombia)
Publisher's Version
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, and Xuan-Bach D. Le
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
Publisher's Version Video
SIGSOFT Town Hall (Business)
17:30 – 18:30, Auditorium
Busses to Dinner
18:30 – 19:30
Dinner
19:00 – 22:00
Busses to Paderborn
22:00 – 23:00
Friday, September 8, 2017
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
09:00 – 09:45, Auditorium, Chair: Arie van Deursen
Reflections on the REST Architectural Style and "Principled Design of the Modern Web Architecture" (Impact Paper Award)
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael M. Gorlick, Jim Whitehead, Rohit Khare, and Peyman Oreizy
(Adobe, USA; University of California at Irvine, USA; Bloomberg, USA; University of California at Santa Cruz, USA; Google, USA; Dynamic Variable, USA)
Publisher's Version
Software Engineering Research Results in Industrial Practice: A Tale of Two Projects (Invited Talk)
09:45 – 10:30, Auditorium, Chair: Gregor Engels
Software Engineering Research Results in Industrial Practice: A Tale of Two Projects (Invited Talk)
Wolfgang Emmerich
(Zuhlke, UK)
Publisher's Version
Software Security (Research Papers)
11:00 – 12:30, Auditorium, Chair: Liliana Pasquale
Mobile Applications (Research Papers)
11:00 – 12:30, S1+2, Chair: Lars Grunske
Crash Analysis (Research Papers)
11:00 – 12:30, S3, Chair: Dirk Beyer
Data-Driven Improvement (Industrial Papers)
11:00 – 12:30, S4, Chair: David Shepherd
SRC Presentations (Student Research Competition)
11:00 – 12:30, S5
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
Publisher's Version
Open innovation using open source tools: a case study at Sony Mobile
Hussan Munir, Johan Linåker, Krzysztof Wnuk, Per Runeson, and Björn Regnell
(Lund University, Sweden; Blekinge Institute of Technology, Sweden)
Publisher's Version Preprint
DESCRY: Reproducing System-Level Concurrency Failures
Tingting Yu, Tarannum S. Zaman, and Chao Wang
(University of Kentucky, USA; University of Southern California, USA)
Publisher's Version
Automated Identification of Security Issues from Commit Messages and Bug Reports
Yaqin Zhou and Asankhaya Sharma
(SourceClear, Singapore)
Publisher's Version Preprint
Do developers update their library dependencies? An empirical study on the impact of security advisories on library migration
Raula Gaikovina Kula, Daniel M. German, Ali Ouni, Takashi Ishio, and Katsuro Inoue
(Nara Institute of Science and Technology, Japan; Osaka University, Japan; University of Victoria, Canada; UAE University, United Arab Emirates)
Publisher's Version Preprint
Automatic Generation of Inter-Component Communication Exploits for Android Applications
(University of California at Irvine, USA)
Publisher's Version Preprint Info
Reproducing Concurrency Failures from Crash Stacks
(University of Lugano, Switzerland)
Publisher's Version Preprint
LaChouTi: Kernel Vulnerability Responding Framework for the Fragmented Android Devices
Jingzheng Wu and Mutian Yang
(Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Preprint Info
OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
(Hong Kong University of Science and Technology, China)
Publisher's Version Preprint
Automatically Analyzing Groups of Crashes for Finding Correlations
Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, and Giovanni Poggi
(Federico II University of Naples, Italy; Mozilla, UK)
Publisher's Version
Applying Deep Learning Based Automatic Bug Triager to Industrial Projects
Sun-Ro Lee, Min-Jae Heo, Chan-Gun Lee, Milhan Kim, and Gaeul Jeong
(Chung-Ang University, South Korea; LG Electronics, South Korea)
Publisher's Version
A Compiler and Verifier for Page Access Oblivious Computation
Rohit Sinha, Sriram Rajamani, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, India)
Publisher's Version
Recovering Clear, Natural Identifiers from Obfuscated JS Names
Bogdan Vasilescu, Casey Casalnuovo, and Premkumar Devanbu
(Carnegie Mellon University, USA; University of California at Davis, USA)
Publisher's Version Preprint
What do developers search for on the web?
Xin Xia, Lingfeng Bao, David Lo, Pavneet Singh Kochhar, Ahmed E. Hassan, and Zhenchang Xing
(Zhejiang University, China; University of British Columbia, Canada; Singapore Management University, Singapore; Queen's University, Canada; Australian National University, Australia)
Publisher's Version Preprint
Static Analysis for Optimizing Big Data Queries
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi
(University of Buenos Aires, Argentina; New York University, USA; Microsoft Research, USA)
Publisher's Version Preprint
Program Repair (Research Papers)
14:00 – 15:30, Auditorium, Chairs: Alessandro Garcia
Program Comprehension (Research Papers)
14:00 – 15:30, S1+2, Chair: Sam Malek
Testing II (Research Papers)
14:00 – 15:30, S3, Chairs: Satish Chandra
Joint Industry and Research (Industrial Papers)
14:00 – 15:30, S4, Chair: Steffen Becker
Automatic Inference of Code Transforms for Patch Generation
Fan Long, Peter Amidon, and Martin Rinard
(Massachusetts Institute of Technology, USA; University of California at San Diego, USA)
Publisher's Version Info Artifacts Functional
Are Deep Neural Networks the Best Choice for Modeling Source Code?
(University of California at Davis, USA)
Publisher's Version Preprint Info
Regression Test Selection Across JVM Boundaries
(University of Texas at Austin, USA; Microsoft, USA)
Publisher's Version
Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Reza Matinnejad, Shiva Nejati, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Publisher's Version
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
Publisher's Version Preprint Info Artifacts Functional
Understanding the Impact of Support for Iteration on Code Search
(University of California at Irvine, USA)
Publisher's Version Preprint
Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration
Adriaan Labuschagne, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada; University of British Columbia, Canada)
Publisher's Version Preprint Info
Choosing Component Origins for Software Intensive Systems: In-house, COTS, OSS or Outsourcing? – A Case Survey
Kai Petersen, Deepika Badampudi, Syed Muhammad Ali Shah, Krzysztof Wnuk, Tony Gorschek, Efi Papatheocharous, Jakob Axelsson, Séverine Sentilles, Ivica Crnkovic, and Antonio Cicchetti
(Blekinge Institute of Technology, Sweden; SICS, Sweden; Mälardalen University, Sweden; Chalmers University of Technology, Sweden)
Publisher's Version
Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset
Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, and Martin Monperrus
(University of Valenciennes, Fance; University of Lille, France; Inria, France; Wuhan University, China)
Publisher's Version
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
Publisher's Version Preprint
A Survey of Recent Trends in Testing Concurrent Software Systems
Francesco A. Bianchi, Alessandro Margara, and Mauro Pezzè
(University of Lugano, Switzerland)
Publisher's Version Preprint
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes
Daniel Di Nardo, Fabrizio Pastore, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Publisher's Version Preprint
Automatically Diagnosing and Repairing Error Handling Bugs in C
(University of Virginia, USA)
Best-Paper Award
Publisher's Version Preprint
More Accurate Recommendations for Method-Level Changes
Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
Publisher's Version Preprint Info
Better Test Cases for Better Automated Program Repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan
(University of Waterloo, Canada)
Publisher's Version Preprint
Closing and SRC Awards
15:30 – 16:00, Auditorium
Ice Cream
16:00 – 16:30, Auditorium

Time stamp: 2019-09-16T00:17:26+02:00