Technical Papers * ICSE 2018 *

The Program Board meeting in London Dec 6-7, discussing the incoming papers and their reviews

Congratulation to the authors of the accepted papers. In total 105 papers have been accepted of 502 submitted, or 21%. 297 papers have been invited to submit a poster and an extended abstract of their work.

You can find the list of accepted papers at the following location.

Technical track submissions

Goals and Scope

ICSE is the premier forum for researchers and practitioners to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering. We invite submissions of high quality research papers that describe original and unpublished results on any topic of empirical or theoretical software engineering research.We welcome submissions addressing topics across the full spectrum of software engineering, broadly construed. In addressing the question of scope, we seek to be inclusive, provided that your submission addresses issues of concern to software engineering researchers or practitioners (or both).

Topics of interest to ICSE 2018 include (but are certainly not limited to):

And, any paper about “software engineering for X” needs to clarify its contributions to software engineering, and needs to cover X in a manner that makes it sufficient for the SE readership to understand these contributions.

Evaluation

All research track submissions will be reviewed using a double-blind review process, in compliance with the submission policy and the scope of the conference. Eligible submissions will be reviewed by at least three members of the Program Committee (PC). Authors will have the opportunity to see their reviews and provide a short clarification, during the clarification period. The final decisions will be made by the Program Board, at the Program Board meeting, based on the reviews from the PC members and the discussions on the meeting.

Research track submissions will be evaluated based on the following criteria:

• Soundness: Are all claimed contributions supported by the rigorous application of appropriate research methods? The claims should be scoped to what can be supported, and limitations should be discussed.
• Significance: Are contributions evaluated for their importance and impact with respect to the existing body of knowledge? The authors are expected to explicitly argue for the relevance and usefulness of theresearch and discuss the novelty of the claimed contributions through a comparison with pertinent related work.
• Novelty: Is there sufficient originality in the contribution, and is it clearly and correctly explained with respect to the state of the art?
• Replicability: Is there sufficient information in the paper for the results tobe independently replicated? The evaluation of submissions will take into account the extent to which sufficient information is available to support the full or partial independent replication of the claimed findings.
• Presentation Quality: Are results clearly presented? Submissions are expected to meet high standards of presentation, including adequate use of the English language, absence of major ambiguity, clearly readable figures and tables, and respect of the formatting instructions provided below.

Double Blind Review Process

ICSE 2018 will use double blind reviewing. Referees will not know the identity of authors when writing their reviews. In order to comply with ICSE 2018’s double blind review process, authors should ensure that their identities cannot be easily determined. Submissions from which at least one author can be easily determined and, in the view of the Program Board, for which insufficient care and attention has been paid to ensuring compliance with double blind reviewing may be rejected without review.

You can find further advice, guidance and explanation in the ICSE 2018 double blind review process description.

Submission

• All submissions must conform to the ICSE 2018 formatting and submission instructions and must not exceed 10 pages for the main text, inclusive of figures, tables, appendices, etc. Two more pages containing only references are permitted. All submissions must be in PDF. The page limit is strict, and it will not be possible to purchase additional pages at any point in the process (including after the paper is accepted).
• Use ACM_SigConf.docx example file as a template. Additional instructions about formatting, if you need, you can find at NEW ACM formatting guidelines. For LaTex users: Use NEW ACM formatting guidelines. Upon unzipping the zip file, run ‘make all’. This will produce the acmart.cls file. You should use the conference format described in sample-sigconf.tex to format your paper. You are recommended to use the ‘review’ option (\documentclass[sigconf,review]{acmart}) which will add line numbers, thereby allowing referees to refer to specific lines in their comments, but we do not enforce the use of the ‘review’ option (that is, we will not desk reject papers for failing to use this option).
• There is no limit on the number of submissions an author may submit, but authors are advised, as always, to focus on quality and not quantity.
• By submitting to the ICSE Research Track, authors acknowledge that they are aware of and agree to be bound by the ACM plagiarism policy and procedures. In particular, papers submitted to ICSE 2018 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for ICSE2018. Contravention of this concurrent submission policy will be deemed a serious breech of scientific ethics, and appropriate action will be taken in all such cases.
• Submissions must comply with the IEEE Policy on Authorship.
• Please take a particular care to blind your submission.  You can submit, optionally, a zip file containing additional data (tool, experiments, etc.), which should also be blinded.
• Papers must be submitted electronically via EasyChair by the stated deadline. The deadline is firm and not negotiable.

Important Dates:

• Submission Deadline: 25th August 2017 at 11.59 p.m. AoE (Anywhere on Earth)
• Author response: 12th November 2017 to 15th November 2017.
• Notification: 15th December 2017.
• Camera Ready Due: 12th February 2018.

Organization:

Program Committee Chairs

• Marsha Chechik, University of Toronto, Canada
• Mark Harman, Facebook and University College London, United Kingdom

Accepted Papers

	Title
	"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews Daniel M. German, Gregorio Robles, Germán Poo-Caamaño, Xin Yang, Hajimu Iida, Katsuro Inoue Pre-print File Attached
	A Combinatorial Approach for Exposing Off-Nominal Behaviors Kaushik Madala, Hyunsook Do, Daniel Aceituna
	A Graph Solver for the Automated Generation of Consistent Domain-Specific Models Oszkár Semeráth, András Szabolcs Nagy, Daniel Varro
	A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products Mahmoud Hammad, Joshua Garcia, Sam Malek DOI Pre-print Media Attached File Attached
	A Static Verification Framework for Message Passing in Go using Behavioural Types Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida DOI Pre-print Media Attached
	A Temporal Permission Analysis and Enforcement Framework for Android Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek
	Accurate and Efficient Refactoring Detection in Commit History Nikolaos Tsantalis, Matin Mansouri, Laleh M-Eshkevari, Davood Mazinanian, Danny Dig Pre-print Media Attached
	Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem Asher Trockman, Shurui Zhou, Christian Kästner, Bogdan Vasilescu Pre-print Media Attached
	Almost There: A Study on Quasi-Contributors in Open-Source Software Projects Igor Steinmacher, Gustavo Pinto, Igor Wiese, Marco Gerosa Pre-print
	Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim Pre-print File Attached
	Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae Pre-print
	Assessing the Threat of Untracked Changes in Software Evolution Andre Hora, Danilo Silva, Marco Tulio Valente, Romain Robbes Pre-print
	Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles Leonardo Mariani, Mauro Pezzè, Daniele Zuddas Pre-print
	Automated Localization for Unreproducible Builds Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang
	Automated Repair of Mobile Friendly Problems in Web Pages Sonal Mahajan, Negarsadat Abolhassani, Phil McMinn, William G.J. Halfond
	Automated Reporting of GUI Design Violations for Mobile Apps Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk Pre-print Media Attached
	Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T Johnson, Christoph Csallner Pre-print
	Automatically Generating Search Heuristics for Concolic Testing Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh Pre-print
	CCAligner: a token based large-gap clone detector Pengcheng Wang, Jeffrey Svajlenko, Yanzhao Wu, Yun Xu, Chanchal K. Roy
	Chopped Symbolic Execution David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar Link to publication File Attached
	Collective Program Analysis Ganesha Upadhyaya, Hridesh Rajan Pre-print
	ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries Jibesh Patra, Pooja N. Dixit, Michael Pradel Pre-print File Attached
	Context-Aware Conversational Developer Assistants Nicholas Bradley, Thomas Fritz, Reid Holmes Pre-print Media Attached
	Context-Aware Patch Generation for Better Automated Program Repair Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung Pre-print
	Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications Xiao Yu, Guoliang Jin Pre-print File Attached
	DeFlaker: Automatically Detecting Flaky Tests Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov Pre-print Media Attached
	Debugging Data Flows in Reactive Programs Herman Banken, Georgios Gousios, Erik Meijer Pre-print
	Debugging with Intelligence via Probabilistic Inference Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu
	Deep Code Search Xiaodong Gu, Hongyu Zhang, Sunghun Kim Pre-print
	DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
	DetReduce: Minimizing Android GUI Test Suites for Regression Testing Wontae Choi, Koushik Sen, George Necula, Wenyu Wang
	Deuce: A Lightweight User Interface for Structured Editing Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh Pre-print Media Attached
	Do You Remember This Source Code? Jacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich
	Do programmers work at night or during weekend? Maëlick Claes, Mika Mäntylä, Miikka Kuutila, Bram Adams Pre-print
	Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies? Christoph Mayr-Dorn, Alexander Egyed DOI Pre-print
	DroidStar: Callback Typestates for Android Classes Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
	Efficient Sampling of SAT Solutions for Testing Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen Link to publication DOI Media Attached File Attached
	EnMobile: Entity-based Characterization and Analysis of Mobile Malware Wei Yang, Mukul Prasad, Tao Xie
	Enlightened Debugging Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso Pre-print File Attached
	FAST Approaches to Scalable Similarity-based Test Case Prioritization Breno Miranda, Emilio Cruciani, Roberto Verdecchia, Antonia Bertolino DOI Pre-print File Attached
	FaCoY – A Code-to-Code Search Engine Kisub Kim, Dongsun Kim, Tegawendé F. Bissyandé, Eunjong Choi, Li Li, Jacques Klein, Yves Le Traon Link to publication DOI Pre-print Media Attached
	Fine-Grained Test Minimization Arash Vahabzadeh, Andrea Stocco, Ali Mesbah Pre-print
	From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu Pre-print
	GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications Xiaoyin Wang, Xue Qin, Mitra Bokaei Hosseini, Rocky Slavin, Travis Breaux, Jianwei Niu
	Generalized Data Structure Synthesis Calvin Loncaric, Michael D. Ernst, Emina Torlak DOI Pre-print Media Attached
	Goal-Conflict Likelihood Assessment based on Model Counting Renzo Degiovanni, Pablo Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias Pre-print File Attached
	HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts Foyzul Hassan, Xiaoyin Wang Pre-print
	How Modern News Aggregators Help Development Communities Shape and Share Knowledge Mauricio Aniche, Christoph Treude, Igor Steinmacher, Igor Wiese, Gustavo Pinto, Margaret-Anne Storey, Marco Gerosa Pre-print
	How not to structure your database-backed web applications: a study of performance bugs in the wild Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung Pre-print
	Hybrid Regression Test Selection Lingming Zhang
	Identifying Design Problems in the Source Code: A Grounded Theory Leonardo Da Silva Sousa, Anderson Oliveira, Willian Oizumi, Simone Diniz Junqueira Barbosa, Alessandro Garcia, Jaejoon Lee, Marcos Kalinowski, Rafael de Mello, Baldoino Neto, Roberto Oliveira, Carlos Lucena, Rodrigo Paes File Attached
	Identifying Features in Forks Shurui Zhou, Ştefan Stănciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wąsowski, Christian Kästner Pre-print File Attached
	Identifying Patch Correctness in Test-Based Program Repair Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang Pre-print
	Inferring Hierarchical Motifs from Execution Traces Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
	Inferring and Asserting Distributed System Invariants Stewart Grant, Hendrik Cech, Ivan Beschastnikh Link to publication Media Attached
	Inheritance Usage Patterns in Open-Source Systems Jamie Stevenson, Murray Wood Pre-print File Attached
	Is "Better Data" Better Than "Better Data Miners"? Amritanshu Agrawal, Tim Menzies Link to publication DOI Pre-print File Attached
	Large-Scale Analysis of Framework-Specific Exceptions in Android Apps Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su DOI Pre-print File Attached
	Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps Yifei Zhang, Yulei Sui, Jingling Xue DOI Pre-print File Attached
	Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications Yixue Zhao, Marcelo Laser, Yingjun Lyu, Nenad Medvidović DOI Pre-print Media Attached
	Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert DOI Pre-print File Attached
	Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem Yinxing Xue, Yan-Fu Li DOI Pre-print Media Attached
	Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming Jun-Wei Lin, Reyhaneh Jabbarvand, Joshua Garcia, Sam Malek Pre-print File Attached
	Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
	On The Dichotomy of Debugging Behavior Among Programmers Moritz Beller, Niels Spruit, Diomidis Spinellis, Andy Zaidman Pre-print
	Online App Review Analysis for Identifying Emerging Issues Cuiyun Gao, Jichuan Zeng, Michael Lyu, Irwin King Pre-print
	Open Source barriers to entry, revisited: A tools perspective Christopher Mendez, Hema Susmita Padala, Zoe Steine-Hanson, Claudia Hilderbrand, Amber Horvath, Charles Hill, Logan Simpson, Nupoor Patil, Anita Sarma, Margaret Burnett Pre-print
	Perses: Syntax-Guided Program Reduction Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
	Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Yunho Kim, Yunja Choi, Moonzoo Kim
	Prioritizing Browser Environments for Web Application Test Execution Junghyun Kwon, In-Young Ko, Gregg Rothermel
	Program Splicing Yanxin Lu, Swarat Chaudhuri, Christopher Jermaine, David Melski
	Programming Not Only by Example Hila Peleg, Sharon Shoham, Eran Yahav Pre-print Media Attached
	Propagating Configuration Decisions with Modal Implication Graphs Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
	RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao DOI File Attached
	Redefining Prioritization: Continuous Prioritization for Continuous Integration Jingjing Liang, Sebastian Elbaum, Gregg Rothermel
	Reducer-Based Construction of Conditional Verifiers Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim Pre-print File Attached
	Repairing Crashes in Android Apps Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury Pre-print File Attached
	Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies Inayat Rehman, Mehdi Mirakhorli, Mei Nagappan, Azad Aralbay, Matthew Thornton
	Search-Based Test Data Generation for SQL Queries Jeroen Castelein, Mauricio Aniche, Mozhan Soltani, Annibale Panichella, Arie van Deursen DOI Pre-print Media Attached
	Secure Coding Practices in Java: Challenges and Vulnerabilities Na Meng, Stefan Nagy, Daphne Yao, Wenjie Zhuang, Gustavo Arango Argoty
	Self-Hiding Behavior in Android Apps: Detection and Characterization Zhiyong Shan, Iulian Neamtiu, Raina Samuel File Attached
	Semantic Program Repair Using a Reference Implementation Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury File Attached
	Sentiment Analysis for Software Engineering: How Far Can We Go? Bin Lin, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta, Michele Lanza, Rocco Oliveto
	Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation Pei Wang, Qinkun Bao, Li Wang, Shuai Wang, Zhaofeng Chen, Tao Wei, Dinghao Wu Pre-print Media Attached
	Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
	Speedoo: Prioritizing Performance Optimization Opportunities Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu, Baowen Xu
	Static Automated Program Repair for Heap Properties Rijnard van Tonder, Claire Le Goues Pre-print File Attached
	Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review Rolando Reyes, Oscar Dieste, Efraín R. Fonseca C., Natalia Juristo DOI Pre-print Media Attached File Attached
	Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums Hung Phan, Hoan Nguyen, Ngoc Tran, Linh Truong, Anh Nguyen, Tien N. Nguyen
	Symbolic Verification of Regular Properties Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong Pre-print
	Synthesizing Qualitative Research in Software Engineering: A Critical Review Xin Huang, He Zhang, Xin Zhou, Yang Song, Muhammad Ali Babar
	Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms Raja Ben Abdessalem, Shiva Nejati, Lionel Briand, Thomas Stifter Pre-print File Attached
	The Evolution of Requirements Practices in Software Startups Catarina Gralha, Daniela Damian, Anthony I. (Tony) Wasserman, Miguel Goulao, João Araújo Pre-print Media Attached
	The Road to Live Programming: Insights From the Practice Juraj Kubelka, Romain Robbes, Alexandre Bergel
	Time to Clean your Test Objectives Michaël Marcozzi, Sebastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson Link to publication DOI File Attached
	To Distribute or Not to Distribute? Why Licensing Bugs Matter Christopher Vendome, Daniel M. German, Massimiliano Di Penta, Gabriele Bavota, Mario Linares-Vásquez, Denys Poshyvanyk
	To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines Jianmei Guo, Kai Shi
	Towards Optimal Concolic Testing Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin Pre-print
	Towards Practical Program Repair with On-Demand Candidate Generation Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid File Attached
	Towards Refactoring-Aware Regression Test Selection Kaiyuan Wang, Chenguang Zhu, Ahmet Celik, Jongwook Kim, Don Batory, Milos Gligoric File Attached
	Traceability in the Wild: Automatically Augmenting Incomplete Trace links Michael Rath, Jacob Rendall, Jin L.C. Guo, Jane Cleland-Huang, Patrick Mäder Pre-print
	UFO: Predictive Concurrency Use-After-Free Detection Jeff Huang Pre-print
	Understanding Developers’ Needs on Deprecation as a Language Feature Anand Ashok Sawant, Mauricio Aniche, Arie van Deursen, Alberto Bacchelli Pre-print
	When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects Andrew Head, Caitlin Sadowski, Emerson Murphy-Hill, Andrea Knight Pre-print
	When Testing Meets Code Review: Why and How Developers Review Tests Davide Spadini, Mauricio Aniche, Margaret-Anne Storey, Magiel Bruntink, Alberto Bacchelli DOI Pre-print