* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
* ICSE 2018 * (series) / Congress center Gothia Towers /

Room information: G1 room

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

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

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

Wed 30 May

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

Room11:003012:003013:003014:003015:003016:003017:0030
G1 room

Technical Papers + Journal first papers

Software Evolution and Maintenance I

Technical Papers

Regression Testing

Technical Papers + Journal first papers

Security, Privacy and Trust I

Thu 31 May

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

Room11:003012:003013:003014:003015:0030
G1 room

Technical Papers + Journal first papers

Security, Privacy and Trust II

Technical Papers

Program Analysis I

Fri 1 Jun

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

Room9:003010:003011:003012:003013:003014:003015:0030
G1 room

Technical Papers + Journal first papers

Program Analysis II

Technical Papers + Journal first papers

Models and Modeling I

Technical Papers + Journal first papers

Models and Modeling II

Wed 30 May

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
G1 room
* ICSE * Technical Papers
Neuro-Symbolic Program Repair for Correcting Introductory Programming A ...
11:00 - 11:20
* ICSE * Technical Papers Award
Automated Localization for Unreproducible Builds
11:20 - 11:40
* ICSE * Technical Papers
Enlightened Debugging
11:40 - 12:00
* ICSE * Journal first papers
Experiences and Challenges in Building a Data Intensive System for Data ...
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Hybrid Regression Test Selection
14:00 - 14:20
* ICSE * Technical Papers
Fine-Grained Test Minimization
14:20 - 14:40
* ICSE * Technical Papers
FAST Approaches to Scalable Similarity-based Test Case Prioritization
14:40 - 15:00
* ICSE * Technical Papers
Towards Refactoring-Aware Regression Test Selection
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
* ICSE * Technical Papers
Secure Coding Practices in Java: Challenges and Vulnerabilities
16:00 - 16:20
* ICSE * Technical Papers
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
16:20 - 16:40
* ICSE * Journal first papers
Model Comprehension for Security Risk Assessment: An Empirical Comparis ...
16:40 - 17:00
* ICSE * Journal first papers
Privacy by Designers: Software Developers’ Privacy Mindset
17:00 - 17:20
* ICSE * Technical Papers
Q&A in groups
17:20 - 17:30

Thu 31 May

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
G1 room
* ICSE * Journal first papers
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic As ...
11:00 - 11:20
* ICSE * Journal first papers
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyb ...
11:20 - 11:40
* ICSE * Journal first papers
Lightweight, Obfuscation-Resilient Detection and Family Identification ...
11:40 - 12:00
* ICSE * Journal first papers
Are Vulnerabilities Discovered and Resolved like Other Defects?
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request- ...
14:00 - 14:20
* ICSE * Technical Papers
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for An ...
14:20 - 14:40
* ICSE * Technical Papers
UFO: Predictive Concurrency Use-After-Free Detection
14:40 - 15:00
* ICSE * Technical Papers
Collective Program Analysis
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30

Fri 1 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
G1 room
* ICSE * Technical Papers
Multi-Granular Conflict and Dependency Analysis in Software Engineering ...
09:00 - 09:20
* ICSE * Technical Papers
Self-Hiding Behavior in Android Apps: Detection and Characterization
09:20 - 09:40
* ICSE * Journal first papers
The Scent of a Smell: An Extensive Comparison between Textual and Struc ...
09:40 - 10:00
* ICSE * Technical Papers
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libr ...
10:00 - 10:20
* ICSE * Technical Papers
Q&A in groups
10:20 - 10:30
* ICSE * Technical Papers
Propagating Configuration Decisions with Modal Implication Graphs
11:00 - 11:20
* ICSE * Technical Papers
A Combinatorial Approach for Exposing Off-Nominal Behaviors
11:20 - 11:40
* ICSE * Technical Papers Award
Identifying Design Problems in the Source Code: A Grounded Theory
11:40 - 12:00
* ICSE * Journal first papers
Predicting Future Developer Behavior in the IDE Using Topic Models
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Programming Not Only by Example
14:00 - 14:20
* ICSE * Technical Papers
Goal-Conflict Likelihood Assessment based on Model Counting
14:20 - 14:40
* ICSE * Journal first papers
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, a ...
14:40 - 15:00
* ICSE * Technical Papers
A Static Verification Framework for Message Passing in Go using Behavio ...
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30