* 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
Times are displayed in 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. RoyUniversity of Saskatchewan
11:00
20m
Talk
Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments
Technical Papers
Sahil Bhatia, Pushmeet KohliMicrosoft Research, Rishabh SinghGoogle Brain
11:20
20m
Talk
Automated Localization for Unreproducible BuildsAward
Technical Papers
Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang YangWestern Michigan University
11:40
20m
Talk
Enlightened Debugging
Technical Papers
Xiangyu LiGeorgia Institute of Technology, Shaowei ZhuGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia 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 ScavuzzoPolitecnico di Milano, Elisabetta Di NittoPolitecnico 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 HaoPeking University
14:00
20m
Talk
Hybrid Regression Test Selection
Technical Papers
Lingming ZhangUniversity of Texas at Dallas
14:20
20m
Talk
Fine-Grained Test Minimization
Technical Papers
Arash Vahabzadeh, Andrea Stocco, Ali MesbahUniversity of British Columbia
Pre-print
14:40
20m
Talk
FAST Approaches to Scalable Similarity-based Test Case Prioritization
Technical Papers
Breno MirandaFederal University of Pernambuco, Emilio CrucianiGran Sasso Science Institute, L'Aquila, Italy, Roberto VerdecchiaGran Sasso Science Institute, Vrije Universiteit Amsterdam, Antonia BertolinoCNR-ISTI
DOI Pre-print File Attached
15:00
20m
Talk
Towards Refactoring-Aware Regression Test Selection
Technical Papers
Kaiyuan Wang, Chenguang ZhuUniversity of Texas, Austin, Ahmet CelikUniversity of Texas at Austin, USA, Jongwook Kim, Don BatoryUniversity of Texas, Austin, Milos GligoricUniversity of Texas at Austin
File Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

Thu 31 May
Times are displayed in 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 RubinUniversity of British Columbia
11:00
20m
Talk
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Journal first papers
Radu CalinescuUniversity of York, UK, Danny WeynsKU Leuven, Simos Gerasimou, Muhammad Usman IftikharLinnaeus 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 RashidUniversity of Bristol, UK, Pauline Anthonysamy, Maria Pinto-AlbuquerqueInstituto 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 HammadUniversity of California, Irvine, Sam MalekUniversity 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 PanditaPhase Change Software, Xusheng XiaoCase Western Reserve University, Ram Chillarege, Laurie WilliamsNorth 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 MarinovUniversity of Illinois at Urbana-Champaign
14:00
20m
Talk
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
Technical Papers
Xiao YuNorth Carolina State University, Guoliang JinNorth 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 ZhangUNSW Sydney, Yulei SuiUniversity of Technology Sydney, Australia, Jingling XueUNSW Sydney
DOI Pre-print File Attached
14:40
20m
Talk
UFO: Predictive Concurrency Use-After-Free Detection
Technical Papers
Jeff HuangTexas A&M University
Pre-print
15:00
20m
Talk
Collective Program Analysis
Technical Papers
Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

Fri 1 Jun
Times are displayed in 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 JulienThe 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überUniversity of Koblenz-Landau, Germany, Gabriele TaentzerUniversitä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 ShanWichita State University, Iulian NeamtiuNew Jersey Institute of Technology, Raina SamuelNew 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 PanichellaDeflt University of Technology, Andy ZaidmanTU Delft, Rocco OlivetoUniversity of Molise, Andrea De LuciaUniversity of Salerno
Pre-print
10:00
20m
Talk
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
Technical Papers
Jibesh PatraTechnical University of Darmstadt, Pooja N. Dixit, Michael PradelTU 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 WhittleMonash University
11:00
20m
Talk
Propagating Configuration Decisions with Modal Implication Graphs
Technical Papers
Sebastian KrieterMagdeburg University, Thomas ThümUniversity of Ulm, Sandro SchulzeUniversity of Magdeburg, Germany, Reimar SchröterMagdeburg University, Gunter SaakeUniversity of Magdeburg, Germany
11:20
20m
Talk
A Combinatorial Approach for Exposing Off-Nominal Behaviors
Technical Papers
Kaushik Madala, Hyunsook DoUniversity of North Texas, Daniel Aceituna
11:40
20m
Research paper
Identifying Design Problems in the Source Code: A Grounded TheoryAward
Technical Papers
File Attached
12:00
20m
Talk
Predicting Future Developer Behavior in the IDE Using Topic Models
Journal first papers
Kostadin DamevskiVirginia Commonwealth University, Hui Chen, David C. ShepherdABB, Inc, Nicholas A. KraftABB 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 WhittleMonash University
14:00
20m
Talk
Programming Not Only by Example
Technical Papers
Hila PelegTechnion, Israel, Sharon ShohamTel Aviv university, Eran YahavTechnion
Pre-print Media Attached
14:20
20m
Talk
Goal-Conflict Likelihood Assessment based on Model Counting
Technical Papers
Renzo DegiovanniUniversidad Nacional de Río Cuarto, Pablo Castro, Marcelo Arroyo, Marcelo RuizDept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. 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 LangeUniversity of Kent, Nicholas NgImperial College London, Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print Media Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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