* ICSE 2018 * - Technical Papers

ICSE 2018 OB

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.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	Software Evolution and Maintenance ITechnical Papers / Journal first papers at G1 room Chair(s): Chanchal K. Roy University of Saskatchewan

11:00 20m Talk		Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Technical Papers Sahil Bhatia , Pushmeet Kohli Microsoft Research, Rishabh Singh Google Brain
11:20 20m Talk		Automated Localization for Unreproducible Builds Technical Papers Zhilei Ren , He Jiang , Jifeng Xuan , Zijiang Yang Western Michigan University
11:40 20m Talk		Enlightened Debugging Technical Papers Xiangyu Li Georgia Institute of Technology, Shaowei Zhu Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech Pre-print File Attached
12:00 20m Research paper		Experiences and Challenges in Building a Data Intensive System for Data Migration Journal first papers Marco Scavuzzo Politecnico di Milano, Elisabetta Di Nitto Politecnico di Milano, Danilo Ardagna Link to publication DOI
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Software Repair IJournal first papers / Technical Papers at H1 room Chair(s): Lars Grunske Humboldt-Universität zu Berlin

11:00 20m Talk		Context-Aware Patch Generation for Better Automated Program Repair Technical Papers Ming Wen The Hong Kong University of Science and Technology, Junjie Chen Peking University, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan Hao Peking University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print
11:20 20m Talk		Towards Practical Program Repair with On-Demand Candidate Generation Technical Papers Jinru Hua , Mengshi Zhang University of Texas at Austin, USA, Kaiyuan Wang , Sarfraz Khurshid University of Texas at Austin File Attached
11:40 20m Talk		A Correlation Study between Automated Program Repair and Test-Suite Metrics Journal first papers Jooyong Yi Innopolis University, Shin Hwei Tan , Sergey Mechtaev National University of Singapore, Marcel Böhme Monash University, Abhik Roychoudhury National University of Singapore Pre-print
12:00 20m Talk		Do Automated Program Repair Techniques Repair Hard and Important Bugs? Journal first papers Manish Motwani University of Massachusetts, Amherst, Sandhya Sankaranarayanan , René Just University of Massachusetts, USA, Yuriy Brun University of Massachusetts, Amherst Link to publication DOI Pre-print
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Apps and App Stores ITechnical Papers / Journal first papers at H2 room Chair(s): Jocelyn Simmonds University of Chile

11:00 20m Talk		Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation Technical Papers Pei Wang Pennsylvania State University, Qinkun Bao , Li Wang , Shuai Wang , Zhaofeng Chen , Tao Wei , Dinghao Wu Pre-print Media Attached
11:20 20m Talk		GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications Technical Papers Xiaoyin Wang University of Texas at San Antonio, USA, Xue Qin , Mitra Bokaei Hosseini , Rocky Slavin , Travis Breaux Carnegie Mellon University, Jianwei Niu
11:40 20m Talk		Online App Review Analysis for Identifying Emerging Issues Technical Papers Cuiyun Gao Computer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng , Michael Lyu , Irwin King Pre-print
12:00 20m Talk		EARMO: An Energy-Aware Refactoring Approach for Mobile Apps Journal first papers Rodrigo Morales Concordia University, Rubén Saborido Infantes , Foutse Khomh Polytechnique Montréal, Francisco Chicano , Giuliano Antoniol Polytechnique Montréal Link to publication DOI Pre-print
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Human and Social Aspects of Computing ITechnical Papers / Journal first papers at J1 room Chair(s): Ita Richardson Lero - The Irish Software Research Centre and University of Limerick

11:00 20m Talk		Sentiment Analysis for Software Engineering: How Far Can We Go? Technical Papers Bin Lin , Fiorella Zampetti University of Sannio, Gabriele Bavota Università della Svizzera italiana (USI), Massimiliano Di Penta University of Sannio, Michele Lanza Università della Svizzera italiana (USI), Rocco Oliveto University of Molise
11:20 20m Talk		Identifying Features in Forks Technical Papers Shurui Zhou Carnegie Mellon University, USA, Ştefan Stănciulescu , Olaf Leßenich , Yingfei Xiong Peking University, Andrzej Wąsowski IT University of Copenhagen, Denmark, Christian Kästner Carnegie Mellon University Pre-print File Attached
11:40 20m Talk		Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies Technical Papers Inayat Rehman , Mehdi Mirakhorli Rochester Institute of Technology, Mei Nagappan University of Waterloo, Azad Aralbay , Matthew Thornton
12:00 20m Talk		Sentiment Polarity Detection for Software Development Journal first papers Fabio Calefato University of Bari, Filippo Lanubile University of Bari, Federico Maiorano , Nicole Novielli University of Bari DOI Pre-print
12:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Regression TestingTechnical Papers at G1 room Chair(s): Dan Hao Peking University

14:00 20m Talk		Hybrid Regression Test Selection Technical Papers Lingming Zhang University of Texas at Dallas
14:20 20m Talk		Fine-Grained Test Minimization Technical Papers Arash Vahabzadeh , Andrea Stocco , Ali Mesbah University of British Columbia Pre-print
14:40 20m Talk		FAST Approaches to Scalable Similarity-based Test Case Prioritization Technical Papers Breno Miranda Federal University of Pernambuco, Emilio Cruciani Gran Sasso Science Institute, L'Aquila, Italy, Roberto Verdecchia Gran Sasso Science Institute, Vrije Universiteit Amsterdam, Antonia Bertolino CNR-ISTI DOI Pre-print File Attached
15:00 20m Talk		Towards Refactoring-Aware Regression Test Selection Technical Papers Kaiyuan Wang , Chenguang Zhu University of Texas, Austin, Ahmet Celik University of Texas at Austin, USA, Jongwook Kim , Don Batory University of Texas, Austin, Milos Gligoric University of Texas at Austin File Attached
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Software Repair IITechnical Papers / Journal first papers at H1 room Chair(s): Alessandro Orso Georgia Tech

14:00 20m Talk		Semantic Program Repair Using a Reference Implementation Technical Papers Sergey Mechtaev National University of Singapore, Manh-Dung Nguyen , Yannic Noller Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore File Attached
14:20 20m Talk		Automated Repair of Mobile Friendly Problems in Web Pages Technical Papers Sonal Mahajan University of Southern California, USA, Negarsadat Abolhassani , Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
14:40 20m Talk		Static Automated Program Repair for Heap Properties Technical Papers Rijnard van Tonder Carnegie Mellon University, Claire Le Goues Carnegie Mellon University Pre-print File Attached
15:00 20m Talk		Overfitting in Semantics-based Automated Program Repair Journal first papers Xuan-Bach D. Le Singapore Management University, Singapore, Ferdian Thung , David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Apps and App Stores IITechnical Papers / Journal first papers at H2 room Chair(s): Patrick Maeder

14:00 20m Talk		Studying the Dialogue Between Users and Developers of Free Apps in the Google Play Store Journal first papers Safwat Hassan Queens University, Kingston, Canada, Chakkrit Tantithamthavorn University of Adelaide, Australia, Cor-Paul Bezemer Queen's University, Kingston, Ontario, Ahmed E. Hassan Queen's University
14:20 20m Talk		Automated Reporting of GUI Design Violations for Mobile Apps Technical Papers Kevin Moran College of William & Mary, Boyang Li , Carlos Bernal-Cárdenas , Dan Jelf , Denys Poshyvanyk William and Mary Pre-print Media Attached
14:40 20m Talk		Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications Technical Papers Yixue Zhao University of Southern California, USA, Marcelo Schmitt Laser , Yingjun Lyu University of Southern California, Nenad Medvidović University of Southern California DOI Pre-print Media Attached
15:00 20m Talk		Repairing Crashes in Android Apps Technical Papers Shin Hwei Tan , Zhen Dong National University of Singapore, Singapore, Xiang Gao , Abhik Roychoudhury National University of Singapore Pre-print File Attached
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Open-Source SystemsTechnical Papers / Journal first papers at J1 room Chair(s): Andrzej Wąsowski IT University of Copenhagen, Denmark

14:00 20m Talk		Inheritance Usage Patterns in Open-Source Systems Technical Papers Jamie Stevenson , Murray Wood University of Strathclyde Pre-print File Attached
14:20 20m Talk		Almost There: A Study on Quasi-Contributors in Open-Source Software Projects Technical Papers Igor Steinmacher Federal University of Technology - Paraná / Northern Arizona University, Gustavo Pinto UFPA, Igor Wiese Federal University of Technology - Paraná (UTFPR), Marco Gerosa Northern Arizona University Pre-print
14:40 20m Talk		Analyzing a Decade of Linux System Calls Journal first papers Mojtaba Bagherzadeh Queen's University, Nafiseh Kahani , Cor-Paul Bezemer Queen's University, Kingston, Ontario, Ahmed E. Hassan Queen's University, Juergen Dingel Queen's University, Kingston, Ontario, James R. Cordy Link to publication Pre-print
15:00 20m Talk		To Distribute or Not to Distribute? Why Licensing Bugs Matter Technical Papers Christopher Vendome , Daniel M. German , Massimiliano Di Penta University of Sannio, Gabriele Bavota Università della Svizzera italiana (USI), Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Denys Poshyvanyk William and Mary
15:20 10m Talk		Q&A in groups Technical Papers

16:00 - 17:30	Security, Privacy and Trust ITechnical Papers / Journal first papers at G1 room Chair(s): Antonio Carzaniga Università della Svizzera italiana

16:00 20m Talk		Secure Coding Practices in Java: Challenges and Vulnerabilities Technical Papers Na Meng Virginia Tech, Stefan Nagy , Daphne Yao Virginia Tech, Wenjie Zhuang , Gustavo Arango Argoty
16:20 20m Talk		EnMobile: Entity-based Characterization and Analysis of Mobile Malware Technical Papers Wei Yang University of Illinois at Urbana-Champaign, Mukul Prasad Fujitsu Laboratories of America, Tao Xie University of Illinois at Urbana-Champaign
16:40 20m Talk		Model Comprehension for Security Risk Assessment: An Empirical Comparison of Tabular vs. Graphical Representations Journal first papers Katsiaryna Labunets , Fabio Massacci University of Trento, Federica Paci , Sabrina Marczak , Flávio Moreira de Oliveira Link to publication DOI Pre-print File Attached
17:00 20m Talk		Privacy by Designers: Software Developers’ Privacy Mindset Journal first papers Irit Hadar , Tomer Hasson , Oshrat Ayalon , Eran Toch , Michael Birnhack , Sofia Sherman , Arod Balissa
17:20 10m Talk		Q&A in groups Technical Papers

16:00 - 17:30	Test GenerationTechnical Papers at H1 room Chair(s): Federica Sarro University College London

16:00 20m Talk		Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles Technical Papers Leonardo Mariani University of Milano Bicocca, Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas Pre-print
16:20 20m Talk		Towards Optimal Concolic Testing Technical Papers Xinyu Wang Zhejiang University, Jun Sun Singapore University of Technology and Design, Zhenbang Chen College of Computer, National University of Defense Technology, Peixin Zhang , Jingyi Wang Singapore University of Technology and Design, Yun Lin Pre-print
16:40 20m Talk		DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Technical Papers Yuchi Tian , Kexin Pei , Suman Jana , Baishakhi Ray Columbia University, New York
17:00 20m Talk		Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers Yunho Kim KAIST, Yunja Choi , Moonzoo Kim KAIST
17:20 10m Talk		Q&A in groups Technical Papers

16:00 - 17:30	Program Reduction TechniquesTechnical Papers at H2 room Chair(s): Jianjun Zhao Kyushu University

16:00 20m Talk		Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Hua Yan University of New South Wales, Yulei Sui University of Technology Sydney, Australia, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jingling Xue UNSW Sydney
16:20 20m Talk		Program Splicing Technical Papers Yanxin Lu , Swarat Chaudhuri Rice University, Christopher Jermaine , David Melski
16:40 20m Talk		Chopped Symbolic Execution Technical Papers David Trabish Tel Aviv University, Andrea Mattavelli Imperial College London, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London Link to publication File Attached
17:00 20m Talk		Perses: Syntax-Guided Program Reduction Technical Papers Chengnian Sun University of California, Davis, Yuanbo Li , Qirun Zhang University of California, Davis, Tianxiao Gu , Zhendong Su University of California, Davis
17:20 10m Talk		Q&A in groups Technical Papers

16:00 - 18:00	Empirical Software EngineeringJournal first papers / Technical Papers at J1 room Chair(s): Marija Mikic Google

16:00 20m Full-paper		Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies? Technical Papers Christoph Mayr-Dorn Johannes Kepler University Linz, Alexander Egyed DOI Pre-print
16:20 20m Talk		Large-Scale Analysis of Framework-Specific Exceptions in Android Apps Technical Papers Lingling Fan East China Normal University, China/Nanyang Technological University, Singapore, Ting Su Nanyang Technological University, Singapore, Sen Chen Nanyang Technological University, Guozhu Meng Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University, Singapore, Lihua Xu , Geguang Pu , Zhendong Su University of California, Davis DOI Pre-print File Attached
16:40 20m Talk		Effect Sizes and their Variance for AB/BA Crossover Design Studies Journal first papers Lech Madeyski , Barbara Kitchenham Link to publication DOI
17:00 20m Talk		A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products Technical Papers Mahmoud Hammad University of California, Irvine, Joshua Garcia , Sam Malek University of California, Irvine DOI Pre-print Media Attached File Attached
17:20 20m Talk		An empirical study on the interplay between semantic coupling and co-change of software classes Journal first papers Nemitari Ajienka , Andrea Capiluppi Brunel University, Steve Counsell Brunel University London Link to publication DOI Media Attached
17:40 20m Talk		Q&A in groups Technical Papers

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	Test ImprovementTechnical Papers at Congress Hall Chair(s): Yves Le Traon University of Luxembourg

11:00 20m Talk		DeFlaker: Automatically Detecting Flaky Tests Technical Papers Jonathan Bell George Mason University, Owolabi Legunsen University of Illinois at Urbana-Champaign, Michael Hilton Carnegie Mellon University, USA, Lamyaa Eloussi , Tifany Yung , Darko Marinov University of Illinois at Urbana-Champaign Pre-print Media Attached
11:20 20m Talk		DetReduce: Minimizing Android GUI Test Suites for Regression Testing Technical Papers Wontae Choi , Koushik Sen University of California, Berkeley, George Necula University of California, Berkeley, Wenyu Wang University of Illinois at Urbana-Champaign
11:40 20m Talk		Time to Clean your Test Objectives Technical Papers Michaël Marcozzi Imperial College London, Sébastien Bardin , Nikolai Kosmatov , Mike Papadakis University of Luxembourg, Virgile Prevosto , Loïc Correnson Link to publication DOI File Attached
12:00 20m Talk		Prioritizing Browser Environments for Web Application Test Execution Technical Papers Junghyun Kwon , In-Young Ko Korea Advanced Institute of Science and Technology, Gregg Rothermel University of Nebraska - Lincoln
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Security, Privacy and Trust IITechnical Papers / Journal first papers at G1 room Chair(s): Julia Rubin University of British Columbia

11:00 20m Talk		ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases Journal first papers Radu Calinescu University of York, UK, Danny Weyns KU Leuven, Simos Gerasimou , Muhammad Usman Iftikhar Linnaeus University, Sweden, Ibrahim Habli , Tim Kelly
11:20 20m Talk		The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game Journal first papers Sylvain Frey , Awais Rashid University of Bristol, UK, Pauline Anthonysamy , Maria Pinto-Albuquerque Instituto Universitário de Lisboa (ISCTE-IUL), Syed Asad Naqvi
11:40 20m Talk		Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware Journal first papers Joshua Garcia , Mahmoud Hammad University of California, Irvine, Sam Malek University of California, Irvine Link to publication File Attached
12:00 20m Talk		Are Vulnerabilities Discovered and Resolved like Other Defects? Journal first papers Patrick Morrison , Rahul Pandita Phase Change Software, Xusheng Xiao Case Western Reserve University, Ram Chillarege , Laurie Williams North Carolina State University
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Communities and EcosystemsTechnical Papers / Journal first papers at H1 room Chair(s): Alexander Serebrenik Eindhoven University of Technology

11:00 20m Talk		How Modern News Aggregators Help Development Communities Shape and Share Knowledge Technical Papers Maurício Aniche Delft University of Technology, Netherlands, Christoph Treude The University of Adelaide, Igor Steinmacher Federal University of Technology - Paraná / Northern Arizona University, Igor Wiese Federal University of Technology - Paraná (UTFPR), Gustavo Pinto UFPA, Margaret-Anne Storey University of Victoria, Marco Gerosa Northern Arizona University Pre-print
11:20 20m Talk		Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem Technical Papers Asher Trockman University of Evansville, Shurui Zhou Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print Media Attached
11:40 20m Talk		"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews Technical Papers Daniel M. German , Gregorio Robles Universidad Rey Juan Carlos, Germán Poo-Caamaño , Xin Yang Unionbigdata.com, Hajimu Iida , Katsuro Inoue Osaka University Pre-print File Attached
12:00 20m Talk		Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map Journal first papers Mirco Franzago University of L'Aquila, Italy, Ivano Malavolta Vrije Universiteit Amsterdam, Davide Di Ruscio University of L'Aquila, Henry Muccini University of L'Aquila Link to publication DOI Pre-print
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Empirical Studies of CodeJournal first papers / Technical Papers at H2 room Chair(s): Natalia Juristo Facultad de Informática - UPM

11:00 20m Talk		An empirical study of early access games on the Steam platform Journal first papers Dayi Lin Queen's University, Cor-Paul Bezemer Queen's University, Kingston, Ontario, Ahmed E. Hassan Queen's University Link to publication DOI Pre-print
11:20 20m Talk		Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation Journal first papers Benjamin Danglot University Lille 1 and INRIA, Phlippe Preux , Benoit Baudry KTH Royal Institute of Technology, Sweden, Martin Monperrus KTH Royal Institute of Technology DOI Pre-print
11:40 20m Talk		On the Diffuseness and the Impact on Maintainability of Code Smells: A Large Scale Empirical Investigation Journal first papers Fabio Palomba , Gabriele Bavota Università della Svizzera italiana (USI), Massimiliano Di Penta University of Sannio, Fausto Fasano , Rocco Oliveto University of Molise, Andrea De Lucia University of Salerno
12:00 20m Talk		Accurate and Efficient Refactoring Detection in Commit History Technical Papers Nikolaos Tsantalis Concordia University, Canada, Matin Mansouri , Laleh M-Eshkevari , Davood Mazinanian University of British Columbia, Danny Dig School of EECS at Oregon State University Pre-print Media Attached
12:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Testing IJournal first papers / Technical Papers at Congress Hall Chair(s): Antonia Bertolino CNR-ISTI

14:00 20m Talk		ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports Journal first papers Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Ming Wen The Hong Kong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle
14:20 20m Talk		Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults Technical Papers Mike Papadakis University of Luxembourg, Donghwan Shin KAIST, Shin Yoo Korea Advanced Institute of Science and Technology, Doo-Hwan Bae Korea Advanced Institute of Science and Technology Pre-print
14:40 20m Talk		Efficient Sampling of SAT Solutions for Testing Technical Papers Rafael Dutra UC Berkeley, Kevin Laeufer University of California, Berkeley, Jonathan Bachrach , Koushik Sen University of California, Berkeley Link to publication DOI Media Attached File Attached
15:00 20m Talk		Are Fix-Inducing Changes a Moving Target? A Longitudinal Case Study of Just-In-Time Defect Prediction Journal first papers Shane McIntosh McGill University, Yasutaka Kamei Kyushu University Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Program Analysis ITechnical Papers at G1 room Chair(s): Darko Marinov University of Illinois at Urbana-Champaign

14:00 20m Talk		Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications Technical Papers Xiao Yu North Carolina State University, Guoliang Jin North Carolina State University Pre-print File Attached
14:20 20m Talk		Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps Technical Papers Yifei Zhang UNSW Sydney, Yulei Sui University of Technology Sydney, Australia, Jingling Xue UNSW Sydney DOI Pre-print File Attached
14:40 20m Talk		UFO: Predictive Concurrency Use-After-Free Detection Technical Papers Jeff Huang Texas A&M University Pre-print
15:00 20m Talk		Collective Program Analysis Technical Papers Ganesha Upadhyaya Futurewei Technologies, Hridesh Rajan Iowa State University Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Human and Social Aspects of Computing IITechnical Papers at H1 room Chair(s): Margaret-Anne Storey University of Victoria

14:00 20m Talk		Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums Technical Papers Hung Phan , Hoan Nguyen Iowa State University, Ngoc Tran , Linh Truong , Anh Nguyen , Tien N. Nguyen The University of Texas - Dallas
14:20 20m Talk		When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects Technical Papers Andrew Head UC Berkeley, Caitlin Sadowski Google, Emerson Murphy-Hill North Carolina State University, Andrea Knight Pre-print
14:40 20m Talk		Deuce: A Lightweight User Interface for Structured Editing Technical Papers Brian Hempel University of Chicago, Justin Lubin , Grace Lu , Ravi Chugh University of Chicago Pre-print Media Attached
15:00 20m Talk		From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation Technical Papers Chunyang Chen Nanyang Technological University, Singapore, Ting Su Nanyang Technological University, Singapore, Guozhu Meng Nanyang Technological University, Singapore, Zhenchang Xing Australia National University, Yang Liu Nanyang Technological University, Singapore Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Studying Software Engineers IJournal first papers / Technical Papers at H2 room Chair(s): Amy Ko University of Washington

14:00 20m Talk		Understanding Developers’ Needs on Deprecation as a Language Feature Technical Papers Anand Ashok Sawant , Maurício Aniche Delft University of Technology, Netherlands, Arie van Deursen Delft University of Technology, Alberto Bacchelli University of Zurich Pre-print
14:20 20m Talk		On The Dichotomy of Debugging Behavior Among Programmers Technical Papers Moritz Beller Delft University of Technology, Niels Spruit , Diomidis Spinellis Athens University of Economics and Business, Andy Zaidman TU Delft Pre-print
14:40 20m Talk		Measuring Program Comprehension: A Large-Scale Field Study with Professionals Journal first papers Xin Xia Monash University, Lingfeng Bao , David Lo Singapore Management University, Zhenchang Xing Australia National University, Ahmed E. Hassan Queen's University, Shanping Li
15:00 20m Talk		Data Scientists in Software Teams: State of the Art and Challenges Journal first papers Miryung Kim University of California at Los Angeles, USA, Thomas Zimmermann Microsoft Research, Robert Deline , Andrew Begel Microsoft Research Link to publication DOI Authorizer link Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

Fri 1 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Testing IITechnical Papers / Journal first papers at E4 room Chair(s): Mike Papadakis University of Luxembourg

09:00 20m Talk		When Testing Meets Code Review: Why and How Developers Review Tests Technical Papers Davide Spadini , Maurício Aniche Delft University of Technology, Netherlands, Margaret-Anne Storey University of Victoria, Magiel Bruntink , Alberto Bacchelli University of Zurich DOI Pre-print
09:20 20m Talk		Redefining Prioritization: Continuous Prioritization for Continuous Integration Technical Papers Jingjing Liang , Sebastian Elbaum University of Nebraska-Lincoln, USA, Gregg Rothermel University of Nebraska - Lincoln
09:40 20m Talk		MAHAKIL: Diversity based Oversampling Approach to Alleviate the Class Imbalance Issue in Software Defect Prediction Journal first papers Kwabena E. Bennin , Jacky Keung , Passakorn Phannachitta , Akito Monden , Solomon Mensah
10:00 20m Talk		On the Use of Hidden Markov Model to Predict the Time to Fix Bugs Journal first papers Mayy Habayeb , Syed Shariyar Murtaza , Andriy Miranskyy , Ayşe Başar Ryerson University
10:20 10m Talk		Q&A in groups Technical Papers

09:00 - 10:30	Program Analysis IITechnical Papers / Journal first papers at G1 room Chair(s): Christine Julien The University of Texas at Austin

09:00 20m Talk		Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation Technical Papers Leen Lambers , Daniel Strüber University of Koblenz-Landau, Germany, Gabriele Taentzer Universität Marburg, Kristopher Born , Jevgenij Huebert DOI Pre-print File Attached
09:20 20m Talk		Self-Hiding Behavior in Android Apps: Detection and Characterization Technical Papers Zhiyong Shan Wichita State University, Iulian Neamtiu New Jersey Institute of Technology, Raina Samuel New Jersey Institute of Technology File Attached
09:40 20m Talk		The Scent of a Smell: An Extensive Comparison between Textual and Structural Smells Journal first papers Fabio Palomba , Annibale Panichella Deflt University of Technology, Andy Zaidman TU Delft, Rocco Oliveto University of Molise, Andrea De Lucia University of Salerno Pre-print
10:00 20m Talk		ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries Technical Papers Jibesh Patra Technical University of Darmstadt, Pooja N. Dixit , Michael Pradel TU Darmstadt Pre-print File Attached
10:20 10m Talk		Q&A in groups Technical Papers

09:00 - 10:30	Software ComprehensionJournal first papers / Technical Papers at H1 room Chair(s): Margaret Burnett Oregon State University

09:00 20m Talk		Debugging Data Flows in Reactive Programs Technical Papers Herman Banken , Georgios Gousios TU Delft, Erik Meijer Pre-print
09:20 20m Talk		Do You Remember This Source Code? Technical Papers Jacob Krüger Harz University of Applied Sciences, Germany, Jens Wiemann , Wolfram Fenske University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany
09:40 20m Talk		Inferring Hierarchical Motifs from Execution Traces Technical Papers Saba Alimadadi Northeastern University, Ali Mesbah University of British Columbia, Karthik Pattabiraman University of British Columbia
10:00 20m Talk		A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers Journal first papers Ameer Armaly , Paige Rodeghero University of Notre Dame, Collin McMillan
10:20 10m Talk		Q&A in groups Technical Papers

09:00 - 10:30	Studying Software Engineers IIJournal first papers / Technical Papers at H2 room Chair(s): Minghui Zhou Peking University

09:00 20m Talk		What makes a great manager of software engineers? Journal first papers Eirini Kalliamvakou University of Victoria, Christian Bird Microsoft Research, Thomas Zimmermann Microsoft Research, Andrew Begel Microsoft Research, Robert Deline , Daniel M. German
09:20 20m Talk		Older adults and hackathons: a qualitative study Journal first papers Wiesław Kopeć Polish-Japanese Academy of Information Technology, Bartłomiej Balcerzak , Radosław Nielek , Grzegorz Kowalik , Adam Wierzbicki , Fabio Casati Link to publication DOI
09:40 20m Talk		Does Syntax Highlighting Help Programming Novices? Journal first papers Christoph Hannebauer , Marc Hesenius , Volker Gruhn University Duisburg-Essen
10:00 20m Talk		Do programmers work at night or during weekend? Technical Papers Maëlick Claes , Mika Mäntylä University of Oulu, Miikka Kuutila , Bram Adams MCIS, École Polytechnique de Montréal Pre-print
10:20 10m Talk		Q&A in groups Technical Papers

09:00 - 10:30	Requirements and Recommender SystemsTechnical Papers / Journal first papers at J1 room Chair(s): Joanne M. Atlee University of Waterloo, Canada

09:00 20m Talk		The Evolution of Requirements Practices in Software Startups Technical Papers Catarina Gralha NOVA-LINCS, FCT/UNL, Daniela Damian University of Victoria, Anthony I. (Tony) Wasserman Carnegie Mellon Silicon Valley, Miguel Goulao NOVA-LINCS, FCT/UNL, João Araújo Pre-print Media Attached
09:20 20m Talk		Traceability in the Wild: Automatically Augmenting Incomplete Trace links Technical Papers Michael Rath Technische Universität Ilmenau, Jacob Rendall University of Notre Dame, Jin L.C. Guo McGill University, Jane Cleland-Huang University of Notre Dame, Patrick Mäder Technische Universität Ilmenau Pre-print
09:40 20m Talk		A Temporal Permission Analysis and Enforcement Framework for Android Technical Papers Alireza Sadeghi Google, Inc, Reyhaneh Jabbarvand University of California, Irvine, Negar Ghorbani , Hamid Bagheri University of Nebraska-Lincoln, USA, Sam Malek University of California, Irvine
10:00 20m Talk		Global-Aware Recommendations for Repairing Violations in Exception Handling Journal first papers Eiji Adachi Barbosa , Alessandro Garcia PUC-Rio
10:20 10m Talk		Q&A in groups Technical Papers

09:00 - 10:30	Performance and MaintenanceTechnical Papers / Journal first papers at J2 room Chair(s): Miryung Kim University of California at Los Angeles, USA

09:00 20m Talk		Identifying Patch Correctness in Test-Based Program Repair Technical Papers Yingfei Xiong Peking University, Xinyuan Liu , Muhan Zeng , Lu Zhang Peking University, Gang Huang Pre-print
09:20 20m Research paper		How not to structure your database-backed web applications: a study of performance bugs in the wild Technical Papers Junwen Yang University of Chicago, Cong Yan , Pranav Subramaniam , Shan Lu University of Chicago, Alvin Cheung University of Washington Pre-print
09:40 20m Talk		Speedoo: Prioritizing Performance Optimization Opportunities Technical Papers Zhifei Chen , Bihuan Chen Fudan University, Lu Xiao , Xiao Wang Purdue University, USA, Lin Chen , Yang Liu Nanyang Technological University, Singapore, Baowen Xu
10:00 20m Talk		Empirical Study on the Discrepancy between Performance Testing Results from Virtual and Physical Environments Journal first papers Muhammad Moiz Arif Concordia University, Montreal, Canada, Weiyi Shang Concordia University, Canada, Emad Shihab Concordia University
10:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Testing IIIJournal first papers / Technical Papers at Congress Hall Chair(s): Myra Cohen University of Nebraska-Lincoln

11:00 20m Talk		RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations Technical Papers Chu Chen , Cong Tian , Zhenhua Duan , Liang Zhao DOI File Attached
11:20 20m Research paper		Symbolic Verification of Regular Properties Technical Papers Hengbiao Yu , Zhenbang Chen College of Computer, National University of Defense Technology, Ji Wang , Zhendong Su University of California, Davis, Wei Dong Pre-print
11:40 20m Talk		Metamorphic Testing of RESTful Web APIs Journal first papers Sergio Segura , José Antonio Parejo Maestre University of Sevilla, Javier Troya , Antonio Ruiz-Cortés Universidad de Sevilla
12:00 20m Talk		Integrating Technical Debt Management and Software Quality Management Processes: A Normative Framework and Field Tests Journal first papers Narayan Ramasubbu University of Pittsburgh, USA , Chris Kemerer University of Pittsburgh
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Models and Modeling ITechnical Papers / Journal first papers at G1 room Chair(s): Jon Whittle Monash University

11:00 20m Talk		Propagating Configuration Decisions with Modal Implication Graphs Technical Papers Sebastian Krieter Magdeburg University, Thomas Thüm University of Ulm, Sandro Schulze University of Magdeburg, Germany, Reimar Schröter Magdeburg University, Gunter Saake University of Magdeburg, Germany
11:20 20m Talk		A Combinatorial Approach for Exposing Off-Nominal Behaviors Technical Papers Kaushik Madala , Hyunsook Do University of North Texas, Daniel Aceituna
11:40 20m Research paper		Identifying Design Problems in the Source Code: A Grounded Theory Technical Papers Leonardo Da Silva Sousa , Anderson Oliveira , Willian Oizumi PUC-Rio, Simone Barbosa PUC-Rio, Alessandro Garcia PUC-Rio, Jaejoon Lee Lancaster University, UK, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello , Baldoino Fonseca , Roberto Oliveira , Carlos Lucena , Rodrigo Paes File Attached
12:00 20m Talk		Predicting Future Developer Behavior in the IDE Using Topic Models Journal first papers Kostadin Damevski Virginia Commonwealth University, Hui Chen , David C. Shepherd ABB, Inc, Nicholas A. Kraft ABB Corporate Research, Lori Pollock DOI Pre-print
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Code Search, Synthesis, PerformanceTechnical Papers / Journal first papers at H1 room Chair(s): Shahar Maoz Tel Aviv University

11:00 20m Research paper		Deep Code Search Technical Papers Xiaodong Gu The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle, Sunghun Kim Hong Kong University of Science and Technology Pre-print
11:20 20m Talk		Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search Journal first papers Raphaël Sirres , Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, David Lo Singapore Management University, Jacques Klein University of Luxembourg, SnT, Kisub Kim University of Luxembourg, SnT, Yves Le Traon University of Luxembourg Link to publication DOI Pre-print Media Attached
11:40 20m Talk		FaCoY – A Code-to-Code Search Engine Technical Papers Kisub Kim University of Luxembourg, SnT, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Eunjong Choi Nara Institute of Science and Technology, Li Li University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, SnT, Yves Le Traon University of Luxembourg Link to publication DOI Pre-print Media Attached
12:00 20m Talk		Generalized Data Structure Synthesis Technical Papers Calvin Loncaric University of Washington, Michael D. Ernst University of Washington, USA, Emina Torlak University of Washington DOI Pre-print Media Attached
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Mining Software RepositoriesTechnical Papers / Journal first papers at H2 room Chair(s): Tim Menzies North Carolina State University

11:00 20m Talk		Understanding the Factors for Fast Answers in Technical Q&A Websites: An Empirical Study of Four Stack Exchange Websites Journal first papers Shaowei Wang Queen's University, Tse-Hsun (Peter) Chen Concordia University, Ahmed E. Hassan Queen's University
11:20 20m Talk		Towards Reusing Hints from Past Fixes- An Exploratory Study on Thousands of Real Samples Journal first papers Hao Zhong Shanghai Jiao Tong University, Na Meng Virginia Tech
11:40 20m Research paper		Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow Technical Papers Tianyi Zhang University of California, Los Angeles, Ganesha Upadhyaya Futurewei Technologies, Anastasia Reinhardt , Hridesh Rajan Iowa State University, Miryung Kim University of California at Los Angeles, USA Pre-print File Attached
12:00 20m Talk		Inference of development activities from interaction with uninstrumented applications Journal first papers Lingfeng Bao , Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Search-Based Software Engineering ITechnical Papers at J1 room Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology

11:00 20m Talk		Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms Technical Papers Raja Ben Abdessalem SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg, Thomas Stifter Pre-print File Attached
11:20 20m Talk		To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines Technical Papers Jianmei Guo Alibaba Group, Kai Shi
11:40 20m Talk		Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming Technical Papers Jun-Wei Lin University of California, Irvine, Reyhaneh Jabbarvand University of California, Irvine, Joshua Garcia , Sam Malek University of California, Irvine Pre-print File Attached
12:00 20m Talk		Is "Better Data" Better Than "Better Data Miners"? Technical Papers Amritanshu Agrawal North Carolina State University, Tim Menzies North Carolina State University Link to publication DOI Pre-print File Attached
12:20 10m Talk		Q&A in groups Technical Papers

11:00 - 12:30	Software Tools and EnvironmentsTechnical Papers at J2 room Chair(s): Barbora Buhnova Masaryk University

11:00 20m Talk		A Graph Solver for the Automated Generation of Consistent Domain-Specific Models Technical Papers Oszkár Semeráth Budapest University of Technology and Economics, András Szabolcs Nagy , Daniel Varro McGill University / Budapest University of Technology and Economics
11:20 20m Talk		Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge Technical Papers Shafiul Azam Chowdhury University of Texas at Arlington, Soumik Mohian , Sidharth Mehra , Siddhant Gawsane , Taylor T Johnson Vanderbilt University, Christoph Csallner University of Texas at Arlington Pre-print
11:40 20m Talk		Context-Aware Conversational Developer Assistants Technical Papers Nick Bradley University of British Columbia, Thomas Fritz University of Zurich, University of British Columbia, Reid Holmes University of British Columbia Pre-print Media Attached
12:00 20m Full-paper		Open Source barriers to entry, revisited: A tools perspective Technical Papers Christopher Mendez , Hema Susmita Padala , Zoe Steine-Hanson , Claudia Hilderbrand , Amber Horvath , Charles Hill , Logan Simpson , Nupoor Patil , Anita Sarma Oregon State University, Margaret Burnett Oregon State University Pre-print
12:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Testing IVJournal first papers / Technical Papers at Congress Hall Chair(s): Xiaoying Bai Tsinghua University

14:00 20m Talk		Analyzing The Effects of Test Driven Development In GitHub Journal first papers Neil Borle , Meysam Feghhi , Eleni Stroulia University of Alberta, Russell Grenier , Abram Hindle University of Alberta Pre-print
14:20 20m Talk		A Comparative Study to Benchmark Cross-project Defect Prediction Approaches Journal first papers Steffen Herbold University of Göttingen, Alexander Trautsch , Jens Grabowski Link to publication DOI Pre-print
14:40 20m Talk		MSeer - An Advanced Technique for Locating Multiple Bugs in Parallel Journal first papers Ruizhi Gao , W. Eric Wong
15:00 20m Talk		Journal First Presentation of An Experience Report On Applying Software Testing Academic Results In Industry: We Need Usable Automated Test Generation Journal first papers - -
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Models and Modeling IITechnical Papers / Journal first papers at G1 room Chair(s): Jon Whittle Monash University

14:00 20m Talk		Programming Not Only by Example Technical Papers Hila Peleg Technion, Israel, Sharon Shoham Tel Aviv university, Eran Yahav Technion Pre-print Media Attached
14:20 20m Talk		Goal-Conflict Likelihood Assessment based on Model Counting Technical Papers Renzo Degiovanni Universidad Nacional de Río Cuarto, Pablo Castro , Marcelo Arroyo , Marcelo Ruiz Dept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print File Attached
14:40 20m Talk		A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications Journal first papers Juan de Lara , Esther Guerra
15:00 20m Talk		A Static Verification Framework for Message Passing in Go using Behavioural Types Technical Papers Julien Lange University of Kent, Nicholas Ng Imperial College London, Bernardo Toninho Imperial College London, Nobuko Yoshida Imperial College London DOI Pre-print Media Attached
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Inference and InvariantsTechnical Papers at H1 room Chair(s): Robert Feldt Chalmers University of Technology

14:00 20m Talk		Inferring and Asserting Distributed System Invariants Technical Papers Stewart Grant , Hendrik Cech , Ivan Beschastnikh University of British Columbia Link to publication Media Attached
14:20 20m Talk		DroidStar: Callback Typestates for Android Classes Technical Papers Arjun Radhakrishna Microsoft, Nicholas Lewchenko , Shawn Meier , Sergio Mover University of Colorado Boulder, Krishna Chaitanya Sripada , Damien Zufferey MPI-SWS, Bor-Yuh Evan Chang University of Colorado Boulder, Pavol Cerny University of Colorado Boulder
14:40 20m Talk		Debugging with Intelligence via Probabilistic Inference Technical Papers Zhaogui Xu Nanjing University, China, Shiqing Ma Purdue University, USA, Xiangyu Zhang Purdue University, Shuofei Zhu Nanjing University, China, Baowen Xu
15:00 20m Talk		Reducer-Based Construction of Conditional Verifiers Technical Papers Dirk Beyer LMU Munich, Marie-Christine Jakobs LMU, Munich, Germany, Thomas Lemberger , Heike Wehrheim Pre-print File Attached
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Software Evolution and Maintenance IITechnical Papers at H2 room Chair(s): Massimiliano Di Penta University of Sannio

14:00 20m Talk		CCAligner: a token based large-gap clone detector Technical Papers Pengcheng Wang University of Science and Technology of China, Jeffrey Svajlenko Microsoft, Yanzhao Wu , Yun Xu University of Science and Technology of China, Chanchal K. Roy University of Saskatchewan
14:20 20m Talk		HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts Technical Papers Foyzul Hassan University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA Pre-print
14:40 20m Talk		The Road to Live Programming: Insights From the Practice Technical Papers Juraj Kubelka University of Chile, Romain Robbes Free University of Bozen-Bolzano, Alexandre Bergel University of Chile
15:00 20m Talk		Assessing the Threat of Untracked Changes in Software Evolution Technical Papers Andre Hora UFMS, Danilo Silva , Marco Tulio Valente Federal University of Minas Gerais, Brazil, Romain Robbes Free University of Bozen-Bolzano Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Search-Based Software Engineering IITechnical Papers / Journal first papers at J1 room Chair(s): Daniel Varro McGill University / Budapest University of Technology and Economics

14:00 20m Talk		Search-Based Test Data Generation for SQL Queries Technical Papers Jeroen Castelein , Maurício Aniche Delft University of Technology, Netherlands, Mozhan Soltani , Annibale Panichella Deflt University of Technology, Arie van Deursen Delft University of Technology DOI Pre-print Media Attached
14:20 20m Talk		Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem Technical Papers Yinxing Xue , Yan-Fu Li DOI Pre-print Media Attached
14:40 20m Talk		Automated Refactoring of OCL Constraints with Search Journal first papers Hong Lu , Shuai Wang , Tao Yue Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Lab, Jan Nygard
15:00 20m Talk		Automatically Generating Search Heuristics for Concolic Testing Technical Papers Sooyoung Cha Korea University, South Korea, Seongjoon Hong , Junhee Lee , Hakjoo Oh Korea University Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

14:00 - 15:30	Surveys and ReviewsTechnical Papers / Journal first papers at J2 room Chair(s): Anne Koziolek Karlsruhe Institute of Technology

14:00 20m Talk		Challenges and pitfalls on surveying evidence in the software engineering technical literature:an exploratory study with novices Journal first papers Talita Vieira Ribeiro Federal University of Rio de Janeiro, Jobson Massollar , Guilherme Horta Travassos Link to publication DOI Pre-print
14:20 20m Research paper		Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review Technical Papers Rolando Reyes , Oscar Dieste Universidad Politécnica de Madrid, Efraín R. Fonseca C. , Natalia Juristo Facultad de Informática - UPM DOI Pre-print Media Attached File Attached
14:40 20m Talk		Synthesizing Qualitative Research in Software Engineering: A Critical Review Technical Papers Xin Huang , He Zhang Nanjing University, Xin Zhou , Yang Song University of North Carolina Wilmington, Muhammad Ali Babar
15:00 20m Talk		Automatic Software Repair: A Survey Journal first papers Luca Gazzola Università degli Studi di Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano Bicocca Link to publication Pre-print
15:20 10m Talk		Q&A in groups Technical Papers

Not scheduled yet

	Not scheduled yet Day opening		Opening Technical Papers
	Not scheduled yet Day opening		Opening Conference Technical Papers

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):

- Agile software development	- Apps and app store analysis
- Autonomic and (self-)adaptive systems	- Cloud computing
- Component-based software engineering	- Configuration management and deployment
- Crowd sourced software engineering	- Cyber physical systems
- Debugging, fault localization, and repair	- Dependability, safety, and reliability
- Distributed and collaborative software engineering	- Embedded software
- Empirical software engineering	- End-user software engineering
- Formal methods	- Green and sustainable technologies
- Human and social aspects of software engineering	- Human-computer interaction
- Middleware, frameworks, and APIs	- Mining software engineering repositories
- Mobile applications	- Model-driven engineering
- Parallel, distributed, and concurrent systems	- Performance
- Program analysis	- Program comprehension
- Program synthesis	- Programming languages
- Recommendation systems	- Refactoring
- Requirements engineering	- Reverse engineering
- Search-based software engineering	- Security, privacy and trust
- Software architecture	- Software economics and metrics
- Software evolution and maintenance	- Software modeling and design
- Software performance	- Software process
- Software product lines	- Software reuse
- Software services	- Software testing
- Software visualization	- Specification and modeling languages
- Tools and environments	- Traceability
- Ubiquitous/pervasive software systems	- Validation and verification

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 Technical Papers 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 Technical Papers Kaushik Madala, Hyunsook Do, Daniel Aceituna
	A Graph Solver for the Automated Generation of Consistent Domain-Specific Models Technical Papers 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 Technical Papers 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 Technical Papers Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida DOI Pre-print Media Attached
	A Temporal Permission Analysis and Enforcement Framework for Android Technical Papers Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek
	Accurate and Efficient Refactoring Detection in Commit History Technical Papers 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 Technical Papers 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 Technical Papers 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 Technical Papers 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 Technical Papers Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae Pre-print
	Assessing the Threat of Untracked Changes in Software Evolution Technical Papers Andre Hora, Danilo Silva, Marco Tulio Valente, Romain Robbes Pre-print
	Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles Technical Papers Leonardo Mariani, Mauro Pezzè, Daniele Zuddas Pre-print
	Automated Localization for Unreproducible Builds Technical Papers Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang
	Automated Repair of Mobile Friendly Problems in Web Pages Technical Papers Sonal Mahajan, Negarsadat Abolhassani, Phil McMinn, William G.J. Halfond
	Automated Reporting of GUI Design Violations for Mobile Apps Technical Papers 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 Technical Papers Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T Johnson, Christoph Csallner Pre-print
	Automatically Generating Search Heuristics for Concolic Testing Technical Papers Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh Pre-print
	CCAligner: a token based large-gap clone detector Technical Papers Pengcheng Wang, Jeffrey Svajlenko, Yanzhao Wu, Yun Xu, Chanchal K. Roy
	Chopped Symbolic Execution Technical Papers David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar Link to publication File Attached
	Collective Program Analysis Technical Papers Ganesha Upadhyaya, Hridesh Rajan Pre-print
	ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries Technical Papers Jibesh Patra, Pooja N. Dixit, Michael Pradel Pre-print File Attached
	Context-Aware Conversational Developer Assistants Technical Papers Nick Bradley, Thomas Fritz, Reid Holmes Pre-print Media Attached
	Context-Aware Patch Generation for Better Automated Program Repair Technical Papers Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung Pre-print
	Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications Technical Papers Xiao Yu, Guoliang Jin Pre-print File Attached
	DeFlaker: Automatically Detecting Flaky Tests Technical Papers Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov Pre-print Media Attached
	Debugging Data Flows in Reactive Programs Technical Papers Herman Banken, Georgios Gousios, Erik Meijer Pre-print
	Debugging with Intelligence via Probabilistic Inference Technical Papers Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu
	Deep Code Search Technical Papers Xiaodong Gu, Hongyu Zhang, Sunghun Kim Pre-print
	DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Technical Papers Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
	DetReduce: Minimizing Android GUI Test Suites for Regression Testing Technical Papers Wontae Choi, Koushik Sen, George Necula, Wenyu Wang
	Deuce: A Lightweight User Interface for Structured Editing Technical Papers Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh Pre-print Media Attached
	Do You Remember This Source Code? Technical Papers Jacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich
	Do programmers work at night or during weekend? Technical Papers Maëlick Claes, Mika Mäntylä, Miikka Kuutila, Bram Adams Pre-print
	Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies? Technical Papers Christoph Mayr-Dorn, Alexander Egyed DOI Pre-print
	DroidStar: Callback Typestates for Android Classes Technical Papers 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 Technical Papers 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 Technical Papers Wei Yang, Mukul Prasad, Tao Xie
	Enlightened Debugging Technical Papers Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso Pre-print File Attached
	FAST Approaches to Scalable Similarity-based Test Case Prioritization Technical Papers Breno Miranda, Emilio Cruciani, Roberto Verdecchia, Antonia Bertolino DOI Pre-print File Attached
	FaCoY – A Code-to-Code Search Engine Technical Papers 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 Technical Papers Arash Vahabzadeh, Andrea Stocco, Ali Mesbah Pre-print
	From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation Technical Papers Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu Pre-print
	GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications Technical Papers Xiaoyin Wang, Xue Qin, Mitra Bokaei Hosseini, Rocky Slavin, Travis Breaux, Jianwei Niu
	Generalized Data Structure Synthesis Technical Papers Calvin Loncaric, Michael D. Ernst, Emina Torlak DOI Pre-print Media Attached
	Goal-Conflict Likelihood Assessment based on Model Counting Technical Papers 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 Technical Papers Foyzul Hassan, Xiaoyin Wang Pre-print
	How Modern News Aggregators Help Development Communities Shape and Share Knowledge Technical Papers Maurício 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 Technical Papers Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, Alvin Cheung Pre-print
	Hybrid Regression Test Selection Technical Papers Lingming Zhang
	Identifying Design Problems in the Source Code: A Grounded Theory Technical Papers Leonardo Da Silva Sousa, Anderson Oliveira, Willian Oizumi, Simone Barbosa, Alessandro Garcia, Jaejoon Lee, Marcos Kalinowski, Rafael de Mello, Baldoino Fonseca, Roberto Oliveira, Carlos Lucena, Rodrigo Paes File Attached
	Identifying Features in Forks Technical Papers 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 Technical Papers Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang Pre-print
	Inferring Hierarchical Motifs from Execution Traces Technical Papers Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
	Inferring and Asserting Distributed System Invariants Technical Papers Stewart Grant, Hendrik Cech, Ivan Beschastnikh Link to publication Media Attached
	Inheritance Usage Patterns in Open-Source Systems Technical Papers Jamie Stevenson, Murray Wood Pre-print File Attached
	Is "Better Data" Better Than "Better Data Miners"? Technical Papers Amritanshu Agrawal, Tim Menzies Link to publication DOI Pre-print File Attached
	Large-Scale Analysis of Framework-Specific Exceptions in Android Apps Technical Papers 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 Technical Papers Yifei Zhang, Yulei Sui, Jingling Xue DOI Pre-print File Attached
	Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications Technical Papers Yixue Zhao, Marcelo Schmitt Laser, Yingjun Lyu, Nenad Medvidović DOI Pre-print Media Attached
	Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation Technical Papers 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 Technical Papers Yinxing Xue, Yan-Fu Li DOI Pre-print Media Attached
	Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming Technical Papers Jun-Wei Lin, Reyhaneh Jabbarvand, Joshua Garcia, Sam Malek Pre-print File Attached
	Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Technical Papers Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
	On The Dichotomy of Debugging Behavior Among Programmers Technical Papers Moritz Beller, Niels Spruit, Diomidis Spinellis, Andy Zaidman Pre-print
	Online App Review Analysis for Identifying Emerging Issues Technical Papers Cuiyun Gao, Jichuan Zeng, Michael Lyu, Irwin King Pre-print
	Open Source barriers to entry, revisited: A tools perspective Technical Papers 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 Technical Papers Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
	Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers Yunho Kim, Yunja Choi, Moonzoo Kim
	Prioritizing Browser Environments for Web Application Test Execution Technical Papers Junghyun Kwon, In-Young Ko, Gregg Rothermel
	Program Splicing Technical Papers Yanxin Lu, Swarat Chaudhuri, Christopher Jermaine, David Melski
	Programming Not Only by Example Technical Papers Hila Peleg, Sharon Shoham, Eran Yahav Pre-print Media Attached
	Propagating Configuration Decisions with Modal Implication Graphs Technical Papers Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
	RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations Technical Papers Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao DOI File Attached
	Redefining Prioritization: Continuous Prioritization for Continuous Integration Technical Papers Jingjing Liang, Sebastian Elbaum, Gregg Rothermel
	Reducer-Based Construction of Conditional Verifiers Technical Papers Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim Pre-print File Attached
	Repairing Crashes in Android Apps Technical Papers 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 Technical Papers Inayat Rehman, Mehdi Mirakhorli, Mei Nagappan, Azad Aralbay, Matthew Thornton
	Search-Based Test Data Generation for SQL Queries Technical Papers Jeroen Castelein, Maurício Aniche, Mozhan Soltani, Annibale Panichella, Arie van Deursen DOI Pre-print Media Attached
	Secure Coding Practices in Java: Challenges and Vulnerabilities Technical Papers Na Meng, Stefan Nagy, Daphne Yao, Wenjie Zhuang, Gustavo Arango Argoty
	Self-Hiding Behavior in Android Apps: Detection and Characterization Technical Papers Zhiyong Shan, Iulian Neamtiu, Raina Samuel File Attached
	Semantic Program Repair Using a Reference Implementation Technical Papers Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury File Attached
	Sentiment Analysis for Software Engineering: How Far Can We Go? Technical Papers 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 Technical Papers 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 Technical Papers Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
	Speedoo: Prioritizing Performance Optimization Opportunities Technical Papers Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu, Baowen Xu
	Static Automated Program Repair for Heap Properties Technical Papers Rijnard van Tonder, Claire Le Goues Pre-print File Attached
	Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review Technical Papers 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 Technical Papers Hung Phan, Hoan Nguyen, Ngoc Tran, Linh Truong, Anh Nguyen, Tien N. Nguyen
	Symbolic Verification of Regular Properties Technical Papers Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong Pre-print
	Synthesizing Qualitative Research in Software Engineering: A Critical Review Technical Papers Xin Huang, He Zhang, Xin Zhou, Yang Song, Muhammad Ali Babar
	Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms Technical Papers Raja Ben Abdessalem, Shiva Nejati, Lionel Briand, Thomas Stifter Pre-print File Attached
	The Evolution of Requirements Practices in Software Startups Technical Papers 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 Technical Papers Juraj Kubelka, Romain Robbes, Alexandre Bergel
	Time to Clean your Test Objectives Technical Papers Michaël Marcozzi, Sébastien 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 Technical Papers 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 Technical Papers Jianmei Guo, Kai Shi
	Towards Optimal Concolic Testing Technical Papers Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin Pre-print
	Towards Practical Program Repair with On-Demand Candidate Generation Technical Papers Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid File Attached
	Towards Refactoring-Aware Regression Test Selection Technical Papers Kaiyuan Wang, Chenguang Zhu, Ahmet Celik, Jongwook Kim, Don Batory, Milos Gligoric File Attached
	Traceability in the Wild: Automatically Augmenting Incomplete Trace links Technical Papers Michael Rath, Jacob Rendall, Jin L.C. Guo, Jane Cleland-Huang, Patrick Mäder Pre-print
	UFO: Predictive Concurrency Use-After-Free Detection Technical Papers Jeff Huang Pre-print
	Understanding Developers’ Needs on Deprecation as a Language Feature Technical Papers Anand Ashok Sawant, Maurício Aniche, Arie van Deursen, Alberto Bacchelli Pre-print
	When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects Technical Papers Andrew Head, Caitlin Sadowski, Emerson Murphy-Hill, Andrea Knight Pre-print
	When Testing Meets Code Review: Why and How Developers Review Tests Technical Papers Davide Spadini, Maurício Aniche, Margaret-Anne Storey, Magiel Bruntink, Alberto Bacchelli DOI Pre-print

Technical Papers * ICSE 2018 *

Program Display Configuration

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 1 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Not scheduled yet

Technical track submissions

Goals and Scope

Evaluation

Double Blind Review Process

Submission

Important Dates:

Organization:

Program Committee Chairs

Accepted Papers

Marsha ChechikProgram Chair

University of Toronto

Canada

Mark HarmanProgram Chair

Facebook and University College London

United Kingdom

Joanne M. Atlee

University of Waterloo, Canada

Canada

Antonia Bertolino

CNR-ISTI

Italy

Lionel Briand

SnT Centre/University of Luxembourg

Luxembourg

Margaret Burnett

Oregon State University

United States

Betty H.C. Cheng

Michigan State University

United States

Jane Cleland-Huang

University of Notre Dame

United States

Myra Cohen

University of Nebraska-Lincoln

United States

Daniela Damian

University of Victoria

Canada

Elisabetta Di Nitto

Politecnico di Milano

Italy

Massimiliano Di Penta

University of Sannio

Italy

Robert Feldt

Chalmers University of Technology

Sweden

Gordon Fraser

University of Sheffield

United Kingdom

Lars Grunske

Humboldt-Universität zu Berlin

Germany

Marieke Huisman

University of Twente

Netherlands

Miryung Kim

University of California at Los Angeles, USA

United States

Anna Liu

Amazon Web Services

United States

David Lo

Singapore Management University

Singapore

Martin P. Robillard

McGill University

Canada

Alessandro Orso

Georgia Tech

United States

Corina S. Păsăreanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 1 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change