* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

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.

Dates
Tracks
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 BuildsAward
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 Montréal, Francisco Chicano , Giuliano Antoniol Polytechnique Montré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 PropertiesAward
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
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 TestingAward
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
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 VulnerabilitiesAward
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
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 AppsAward
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
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
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
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
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
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 linksAward
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
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
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 TheoryAward
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 SynthesisAward
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
Pre-print
12: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
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
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
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

Accepted Papers

Title
"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews
Technical Papers
Pre-print File Attached
A Combinatorial Approach for Exposing Off-Nominal Behaviors
Technical Papers
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
Technical Papers
A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products
Technical Papers
DOI Pre-print Media Attached File Attached
A Static Verification Framework for Message Passing in Go using Behavioural Types
Technical Papers
DOI Pre-print Media Attached
A Temporal Permission Analysis and Enforcement Framework for Android
Technical Papers
Accurate and Efficient Refactoring Detection in Commit History
Technical Papers
Pre-print Media Attached
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
Technical Papers
Pre-print Media Attached
Almost There: A Study on Quasi-Contributors in Open-Source Software Projects
Technical Papers
Pre-print
Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow
Technical Papers
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
Pre-print
Assessing the Threat of Untracked Changes in Software Evolution
Technical Papers
Pre-print
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
Technical Papers
Pre-print
Automated Localization for Unreproducible BuildsAward
Technical Papers
Automated Repair of Mobile Friendly Problems in Web Pages
Technical Papers
Automated Reporting of GUI Design Violations for Mobile Apps
Technical Papers
Pre-print Media Attached
Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge
Technical Papers
Pre-print
Automatically Generating Search Heuristics for Concolic Testing
Technical Papers
Pre-print
CCAligner: a token based large-gap clone detector
Technical Papers
Chopped Symbolic Execution
Technical Papers
Link to publication File Attached
Collective Program Analysis
Technical Papers
Pre-print
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
Technical Papers
Pre-print File Attached
Context-Aware Conversational Developer Assistants
Technical Papers
Pre-print Media Attached
Context-Aware Patch Generation for Better Automated Program Repair
Technical Papers
Pre-print
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
Technical Papers
Pre-print File Attached
DeFlaker: Automatically Detecting Flaky Tests
Technical Papers
Pre-print Media Attached
Debugging Data Flows in Reactive Programs
Technical Papers
Pre-print
Debugging with Intelligence via Probabilistic Inference
Technical Papers
Deep Code Search
Technical Papers
Pre-print
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Technical Papers
DetReduce: Minimizing Android GUI Test Suites for Regression Testing
Technical Papers
Deuce: A Lightweight User Interface for Structured Editing
Technical Papers
Pre-print Media Attached
Do You Remember This Source Code?
Technical Papers
Do programmers work at night or during weekend?
Technical Papers
Pre-print
Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies?
Technical Papers
DOI Pre-print
DroidStar: Callback Typestates for Android Classes
Technical Papers
Efficient Sampling of SAT Solutions for Testing
Technical Papers
Link to publication DOI Media Attached File Attached
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
Technical Papers
Enlightened Debugging
Technical Papers
Pre-print File Attached
FAST Approaches to Scalable Similarity-based Test Case Prioritization
Technical Papers
DOI Pre-print File Attached
FaCoY – A Code-to-Code Search Engine
Technical Papers
Link to publication DOI Pre-print Media Attached
Fine-Grained Test Minimization
Technical Papers
Pre-print
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
Technical Papers
Pre-print
GUILeak: Tracing Privacy-Policy Claims on User Input Data for Android Applications
Technical Papers
Generalized Data Structure SynthesisAward
Technical Papers
DOI Pre-print Media Attached
Goal-Conflict Likelihood Assessment based on Model Counting
Technical Papers
Pre-print File Attached
HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts
Technical Papers
Pre-print
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
Technical Papers
Pre-print
How not to structure your database-backed web applications: a study of performance bugs in the wild
Technical Papers
Pre-print
Hybrid Regression Test Selection
Technical Papers
Identifying Design Problems in the Source Code: A Grounded TheoryAward
Technical Papers
File Attached
Identifying Features in Forks
Technical Papers
Pre-print File Attached
Identifying Patch Correctness in Test-Based Program Repair
Technical Papers
Pre-print
Inferring Hierarchical Motifs from Execution Traces
Technical Papers
Inferring and Asserting Distributed System Invariants
Technical Papers
Link to publication Media Attached
Inheritance Usage Patterns in Open-Source Systems
Technical Papers
Pre-print File Attached
Is "Better Data" Better Than "Better Data Miners"?
Technical Papers
Link to publication DOI Pre-print File Attached
Large-Scale Analysis of Framework-Specific Exceptions in Android AppsAward
Technical Papers
DOI Pre-print File Attached
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps
Technical Papers
DOI Pre-print File Attached
Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications
Technical Papers
DOI Pre-print Media Attached
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
Technical Papers
DOI Pre-print File Attached
Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem
Technical Papers
DOI Pre-print Media Attached
Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming
Technical Papers
Pre-print File Attached
Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments
Technical Papers
On The Dichotomy of Debugging Behavior Among Programmers
Technical Papers
Pre-print
Online App Review Analysis for Identifying Emerging Issues
Technical Papers
Pre-print
Open Source barriers to entry, revisited: A tools perspective
Technical Papers
Pre-print
Perses: Syntax-Guided Program Reduction
Technical Papers
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
Technical Papers
Prioritizing Browser Environments for Web Application Test Execution
Technical Papers
Program Splicing
Technical Papers
Programming Not Only by Example
Technical Papers
Pre-print Media Attached
Propagating Configuration Decisions with Modal Implication Graphs
Technical Papers
RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations
Technical Papers
DOI File Attached
Redefining Prioritization: Continuous Prioritization for Continuous Integration
Technical Papers
Reducer-Based Construction of Conditional Verifiers
Technical Papers
Pre-print File Attached
Repairing Crashes in Android Apps
Technical Papers
Pre-print File Attached
Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies
Technical Papers
Search-Based Test Data Generation for SQL Queries
Technical Papers
DOI Pre-print Media Attached
Secure Coding Practices in Java: Challenges and Vulnerabilities
Technical Papers
Self-Hiding Behavior in Android Apps: Detection and Characterization
Technical Papers
File Attached
Semantic Program Repair Using a Reference Implementation
Technical Papers
File Attached
Sentiment Analysis for Software Engineering: How Far Can We Go?
Technical Papers
Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation
Technical Papers
Pre-print Media Attached
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free VulnerabilitiesAward
Technical Papers
Speedoo: Prioritizing Performance Optimization Opportunities
Technical Papers
Static Automated Program Repair for Heap PropertiesAward
Technical Papers
Pre-print File Attached
Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review
Technical Papers
DOI Pre-print Media Attached File Attached
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
Technical Papers
Symbolic Verification of Regular Properties
Technical Papers
Pre-print
Synthesizing Qualitative Research in Software Engineering: A Critical Review
Technical Papers
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
Technical Papers
Pre-print File Attached
The Evolution of Requirements Practices in Software Startups
Technical Papers
Pre-print Media Attached
The Road to Live Programming: Insights From the Practice
Technical Papers
Time to Clean your Test Objectives
Technical Papers
Link to publication DOI File Attached
To Distribute or Not to Distribute? Why Licensing Bugs Matter
Technical Papers
To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines
Technical Papers
Towards Optimal Concolic TestingAward
Technical Papers
Pre-print
Towards Practical Program Repair with On-Demand Candidate Generation
Technical Papers
File Attached
Towards Refactoring-Aware Regression Test Selection
Technical Papers
File Attached
Traceability in the Wild: Automatically Augmenting Incomplete Trace linksAward
Technical Papers
Pre-print
UFO: Predictive Concurrency Use-After-Free Detection
Technical Papers
Pre-print
Understanding Developers’ Needs on Deprecation as a Language Feature
Technical Papers
Pre-print
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
Technical Papers
Pre-print
When Testing Meets Code Review: Why and How Developers Review Tests
Technical Papers
DOI Pre-print