* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
VenueCongress center Gothia Towers
Room nameG1 room
Floor2
Capacity220
Room InformationNo extra information available
Program

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

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

Thu 31 May

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

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

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

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

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

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

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

Fri 1 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
G1 room