Write a Blog >>
ICSSP 2019
Sat 25 - Sun 26 May 2019
Montreal, QC, Canada
co-located with
ICSE 2019
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
Program
Complete Program
Your Program
Sat 25 May
Sun 26 May
Track/Call
Organization
ICSSP 2019 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ICSSP 2023
ICSSP+ICGSE 2021
ICSSP 2020
ICSSP 2019
ICSSP 2018
Sign in
Sign up
ICSE 2019
(
series
) /
ICSSP 2019 (
series
) /
Fairmont The Queen Elizabeth Hotel
/
Room information: Duluth
Venue
Fairmont The Queen Elizabeth Hotel
Room name
Duluth
Floor
0
Room number
5
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 09:00
Opening
SEAMS
at
Duluth
08:45
15m
Day opening
Opening
SEAMS
Marin Litoiu
York University, Canada
,
Kenji Tei
Waseda University / National Institute of Informatics, Japan
,
Siobhán Clarke
Trinity College Dublin, Ireland
09:00 - 10:30
Keynote 1
SEAMS
at
Duluth
Chair(s):
Marin Litoiu
York University, Canada
09:00
90m
Talk
The Quest for Agility: Are we there yet?
Keynote
SEAMS
Tamar Eilam
11:00 - 12:25
Learning
SEAMS
at
Duluth
Chair(s):
Rogério de Lemos
University of Kent, UK
11:00
25m
Talk
Efficient Analysis of Large Adaptation Spaces Self-Adaptive Systems using Machine Learning
Long Paper
SEAMS
Federico Quin
Katholieke Universiteit Leuven
,
Danny Weyns
KU Leuven
,
Thomas Bamelis
Katholieke Universiteit Leuven
,
Sarpreet Singh Buttar
Linnaeus University
,
Sam Michiels
Katholieke Universiteit Leuven
11:25
25m
Talk
On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework
Long Paper
SEAMS
Mirko D'Angelo
Linnaeus University, Sweden
,
Simos Gerasimou
,
Sona Ghahremani
Hasso Plattner Institute, University of Potsdam
,
Johannes Grohmann
University of Wurzburg
,
Ingrid Nunes
Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
,
Evangelos Pournaras
ETH Zurich, Switzerland
,
Sven Tomforde
Universitat Kassel
Pre-print
11:50
20m
Talk
Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans
NIER
SEAMS
Colin Paterson
,
Radu Calinescu
University of York, UK
,
Suresh Manandhar
University of York, UK
,
Di Wang
University of York, UK
12:10
15m
Talk
TRAPPed in Traffic? A Self-Adaptive Framework for Decentralized Traffic Optimization
Artifact
Reusable
SEAMS
Ilias Gerostathopoulos
Technical University of Munich
,
Evangelos Pournaras
ETH Zurich, Switzerland
Pre-print
14:00 - 15:30
Autonomy
SEAMS
at
Duluth
Chair(s):
Danny Weyns
KU Leuven
14:00
25m
Talk
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots
Long Paper
SEAMS
Pooyan Jamshidi
University of South Carolina
,
Javier Camara
University of York
,
Bradley Schmerl
Carnegie Mellon University, USA
,
Christian Kästner
Carnegie Mellon University
,
David Garlan
Carnegie Mellon University
14:25
25m
Talk
Self-Adaptation in Mobile Apps: a Systematic Literature Study
Long Paper
SEAMS
Eoin Grua
Vrije Universiteit Amsterdam
,
Ivano Malavolta
Vrije Universiteit Amsterdam
,
Patricia Lago
Vrije Universiteit Amsterdam
Pre-print
Media Attached
14:50
20m
Talk
Applying Evolution and Novelty Search to Enhance the Resilience of Autonomous Systems
NIER
SEAMS
Michael Langford
Michigan State University
,
Glen Simon
Michigan State University
,
Philip McKinley
Michigan State University
,
Betty H.C. Cheng
Michigan State University
15:10
20m
Talk
Modelling and Analysing ResilientCyber-Physical Systems
NIER
SEAMS
Amel Bennaceur
The Open University
,
Carlo Ghezzi
Politecnico di Milano
,
Kenji Tei
Waseda University / National Institute of Informatics, Japan
,
Timo Kehrer
Humboldt-Universtität zu Berlin
,
Danny Weyns
KU Leuven
,
Radu Calinescu
University of York, UK
,
Schahram Dustdar
TU Wien
,
Zhenjiang Hu
National Institute of Informatics
,
Shinichi Honiden
Waseda University / National Institute of Informatics, Japan
,
Fuyuki Ishikawa
National Institute of Informatics
,
Zhi Jin
Peking University
,
Jeffrey Kramer
,
Marin Litoiu
York University, Canada
,
Michele Loreti
University of Camerino
,
Gabriel A. Moreno
Carnegie Mellon University, USA
,
Hausi Müller
University of Victoria, Computer Science, Faculty of Engineering, Canada
,
Laura Nenzi
University of Trieste
,
Bashar Nuseibeh
The Open University (UK) & Lero (Ireland)
,
Liliana Pasquale
University College Dublin & Lero, Ireland
,
Wolfgang Reisig
Humboldt-Universität zu Berlin, Germany
,
Heinz Schmidt
RMIT Australia
,
Christos Tsigkanos
Technische Universität Wien
,
Haiyan Zhao
Peking University
16:00 - 17:30
Requirements
SEAMS
at
Duluth
Chair(s):
Betty H.C. Cheng
Michigan State University
16:00
25m
Talk
Won't Take No for an Answer: Resource-driven Requirements Adaptation
Long Paper
SEAMS
Amel Bennaceur
The Open University
,
Andrea Zisman
The Open University
,
Ciaran Mccormick
The Open University
,
Danny Barthaud
The Open University
,
Bashar Nuseibeh
The Open University (UK) & Lero (Ireland)
16:25
25m
Talk
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Artifact
Long Paper
Functional
SEAMS
Gabriela Félix Solano
University of Brasília
,
Ricardo Caldas
University of Brası́lia
,
Genaína Nunes Rodrigues
University of Brasília
,
Thomas Vogel
Humboldt-Universität zu Berlin
,
Patrizio Pelliccione
Chalmers | University of Gothenburg and University of L'Aquila
Pre-print
16:50
5m
Talk
PiStarGODA-MDP: A Goal-Oriented Framework to Support Assurances Provision
Artifact
Functional
SEAMS
Gabriela Félix Solano
University of Brasília
,
Ricardo Caldas
University of Brası́lia
,
Genaina Rodrigues
University of Brasilia
,
Thomas Vogel
Humboldt-Universität zu Berlin
,
Patrizio Pelliccione
Chalmers | University of Gothenburg and University of L'Aquila
16:55
15m
Talk
Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet-of-Things
Artifact
Functional
SEAMS
Christos Tsigkanos
Technische Universität Wien
,
Laura Nenzi
University of Trieste
,
Michele Loreti
University of Camerino
,
Martin Garriga
,
Schahram Dustdar
TU Wien
,
Carlo Ghezzi
Politecnico di Milano
17:10
15m
Talk
Dragonfly: a Tool for Simulating Self-Adaptive Drone Behaviours
Artifact
Reusable
SEAMS
Paulo Maia
State University of Ceará
,
Lucas Vieira
State University of Ceará
,
Matheus Chagas
State University of Ceará
,
Yijun Yu
The Open University, UK
,
Andrea Zisman
The Open University
,
Bashar Nuseibeh
The Open University (UK) & Lero (Ireland)
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote 2
SEAMS
at
Duluth
Chair(s):
Siobhán Clarke
Trinity College Dublin, Ireland
09:00
90m
Talk
Adaptivity and Self-Management in Autonomous Driving
Keynote
SEAMS
Krzysztof Czarnecki
University of Waterloo, Canada
11:00 - 12:30
Security
SEAMS
at
Duluth
Chair(s):
David Garlan
Carnegie Mellon University
11:00
25m
Talk
Towards Secure Architectural Adaptation
Long Paper
SEAMS
Narges Khakpour
Linnaeus University
,
Charilaos Skandylas
Linnaeus University
,
Goran Saman Nariman
University of Human Development
,
Danny Weyns
Linnaeus University, Sweden
11:25
25m
Talk
Defeating Denial-of-Service Attacks in a Self-Managing N-Variant System
Best Paper Award
Long Paper
SEAMS
Jessica Jones
Arizona State University
,
Jason Hiser
University of Virginia
,
Jack Davidson
University of Virginia
,
Stephanie Forrest
Arizona State University
11:50
20m
Talk
Blockchain Networks as Adaptive Systems
NIER
SEAMS
Sotirios Liaskos
York University
,
Bo Wang
York University
,
Nahid Alimohammadi
York University
12:10
20m
Talk
Towards the Detection of Partial Feature Interactions
NIER
SEAMS
Byron Devries
Grand Valley State University
,
Betty H.C. Cheng
Michigan State University
14:00 - 15:30
AI & Adaptivity
SEAMS
at
Duluth
Chair(s):
Hausi Müller
University of Victoria, Computer Science, Faculty of Engineering, Canada
14:00
15m
Talk
Is Adaptivity a Core Property of Intelligent Systems? It Depends
AI & Adaptivity
SEAMS
AbdElRahman ElSaid
,
Travis Desell
University of North Dakota
,
Daniel Krutz
Rochester Institute of Technology
14:15
15m
Talk
Self-adaptive AI
AI & Adaptivity
SEAMS
Rogério de Lemos
University of Kent, UK
,
Marek Grzes
University of Kent
14:30
60m
Panel Discussion
AI & Adaptivity
SEAMS
Hausi Müller
University of Victoria, Computer Science, Faculty of Engineering, Canada
16:00 - 17:35
Assurance
SEAMS
at
Duluth
Chair(s):
Radu Calinescu
University of York, UK
16:00
25m
Talk
All Versus One: An Empirical Comparison on Retrained and Incremental Machine Learning for Modeling Performance of Adaptable Software
Long Paper
SEAMS
Tao Chen
Nottingham Trent University, UK and University of Birmingham, UK
16:25
25m
Talk
On the Practical Feasibility of Software Monitoring: a Framework for Low-impact Execution Tracing
Long Paper
SEAMS
Jhonny Mertz
Universidade Federal do Rio Grande do Sul
,
Ingrid Nunes
Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
16:50
15m
Talk
DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems
Artifact
Reusable
Best Artifact Award
SEAMS
Gabriel A. Moreno
Carnegie Mellon University, USA
,
Cody Kinneer
Carnegie Mellon University
,
Ashutosh Pandey
Carnegie Mellon University, USA
,
David Garlan
Carnegie Mellon University
Media Attached
17:05
15m
Talk
OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management
Artifact
Functional
SEAMS
Johannes Erbel
,
Thomas Brand
,
Holger Giese
Hasso Plattner Institute, University of Potsdam
,
Jens Grabowski
17:20
15m
Talk
DingNet: A Self-Adaptive Internet-of-Things Exemplar
Artifact
Functional
SEAMS
Michiel Provoost
,
Danny Weyns
KU Leuven
17:35 - 18:00
Closing
SEAMS
at
Duluth
17:35
25m
Day closing
Closing Remarks, Awards and SEAMS 2020 Presentation
SEAMS
Marin Litoiu
York University, Canada
,
Kenji Tei
Waseda University / National Institute of Informatics, Japan
,
Siobhán Clarke
Trinity College Dublin, Ireland
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 17:30
SERP4IoT
ICSE Workshops
at
Duluth
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 17:45
BotSE
ICSE Workshops
at
Duluth
Wed 29 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Testing Effectiveness
ICSE Journal-First Papers
/
ICSE Software Engineering in Practice
/
ICSE Papers
/
ICSE New Ideas and Emerging Results
at
Duluth
Chair(s):
Diomidis Spinellis
Athens University of Economics and Business
11:00
20m
Talk
Practitioners' Views on Good Software Testing Practices
SEIP
Industry Program
ICSE Software Engineering in Practice
Pavneet Singh Kochhar
Microsoft
,
Xin Xia
Monash University
,
David Lo
Singapore Management University
11:20
20m
Talk
Perception and Practices of Differential Testing
SEIP
Industry Program
ICSE Software Engineering in Practice
Muhammad Ali Gulzar
University of California, Los Angeles
,
Yongkang Zhu
Google
,
Xiaofeng Han
Google
11:40
10m
Talk
An interleaving approach to combinatorial testing and failure-inducing interaction identification
Industry Program
Journal-First
ICSE Journal-First Papers
Xintao Niu
,
Changhai Nie
,
Hareton Leung
,
Yu Lei
,
Xiaoyin Wang
University of Texas at San Antonio, USA
,
Jiaxi Xu
School of Information Engineering, Nanjing Xiaozhuang University
,
Yan Wang
11:50
10m
Talk
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing
Industry Program
Journal-First
ICSE Journal-First Papers
Huayao Wu
Nanjing University
,
Changhai Nie
,
Justyna Petke
University College London
,
Yue Jia
University College London
,
Mark Harman
Facebook and University College London
12:00
10m
Talk
Assurances in Software Testing: A Roadmap
Industry Program
NIER
ICSE New Ideas and Emerging Results
Marcel Böhme
Monash University
Pre-print
12:10
10m
Talk
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects
Industry Program
Journal-First
ICSE Journal-First Papers
Benjamin Danglot
University Lille 1 and INRIA
,
Oscar Luis Vera Pérez
INRIA
,
Benoit Baudry
KTH Royal Institute of Technology, Sweden
,
Martin Monperrus
KTH Royal Institute of Technology
12:20
10m
Talk
Discussion Period
ICSE Papers
14:00 - 15:30
Security 2
ICSE Demonstrations
/
ICSE Technical Track
/
ICSE Papers
/
ICSE Journal-First Papers
/
ICSE New Ideas and Emerging Results
at
Duluth
Chair(s):
Arie van Deursen
Delft University of Technology
14:00
20m
Talk
The Seven Sins: Security Smells in Infrastructure as Code Scripts
Technical Track
Industry Program
ICSE Technical Track
Akond Rahman
North Carolina State University
,
Chris Parnin
NCSU
,
Laurie Williams
North Carolina State University
Pre-print
14:20
20m
Talk
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Technical Track
ICSE Technical Track
Shirin Nilizadeh
University of Texas at Arlington
,
Yannic Noller
Humboldt-Universität zu Berlin
,
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Pre-print
14:40
10m
Talk
Detecting Suspicious Package Updates
Industry Program
NIER
ICSE New Ideas and Emerging Results
Kalil Garrett
Georgia State University
,
Gabriel Ferreira
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
,
Christian Kästner
Carnegie Mellon University
Pre-print
14:50
20m
Talk
EASYFLOW: Keep Ethereum Away From Overflow
Demos
ICSE Demonstrations
Jianbo Gao
Peking University
,
Han Liu
Tsinghua University
,
Chao Liu
,
Qingshan Li
Peking University
,
Zhi Guan
Peking University
,
Zhong Chen
Pre-print
Media Attached
15:10
10m
Talk
Automatic feature learning for predicting vulnerable software components
Industry Program
Journal-First
ICSE Journal-First Papers
Hoa Khanh Dam
University of Wollongong
,
Truyen Tran
,
Trang Pham
Deakin University
,
Shien Wee Ng
University of Wollongong
,
John Grundy
Monash University
,
Aditya Ghose
Link to publication
DOI
Pre-print
15:20
10m
Talk
Discussion Period
ICSE Papers
16:00 - 18:00
Test Selection and Prioritization
ICSE Software Engineering in Practice
/
ICSE Technical Track
/
ICSE Papers
/
ICSE Journal-First Papers
at
Duluth
Chair(s):
Robert Feldt
Chalmers University of Technology
16:00
20m
Talk
Improving Test Effectiveness Using Test Executions History: An Industrial Experience Report
SEIP
Industry Program
ICSE Software Engineering in Practice
Armin Najafi
Concordia University
,
Weiyi Shang
Concordia University, Canada
,
Peter Rigby
Concordia University, Montreal, Canada
16:20
20m
Talk
FastLane: Test Minimization for Rapidly Deployed Large-scale Online Services
Technical Track
Industry Program
ICSE Technical Track
Adithya Abraham Philip
,
Ranjita Bhagwan
Microsoft Research India
,
Rahul Kumar
Microsoft
,
Chandra Sekhar Maddila
Microsoft
,
Nachiappan Nagappan
Microsoft Research
16:40
20m
Talk
Scalable Approaches for Test Suite Reduction
Technical Track
Industry Program
ICSE Technical Track
Emilio Cruciani
Gran Sasso Science Institute, L'Aquila, Italy
,
Breno Miranda
Federal University of Pernambuco
,
Roberto Verdecchia
Gran Sasso Science Institute, Vrije Universiteit Amsterdam
,
Antonia Bertolino
CNR-ISTI
Pre-print
17:00
20m
Talk
Using Machine Learning to Recommend Correctness Checks for Geographic Map Data
SEIP
Industry Program
ICSE Software Engineering in Practice
Abhaya Parthy
Apple Inc.
,
Leopold Silberstein
Apple Inc.
,
Emily Kowalczyk
Apple Inc.
,
John Paul High
Apple Inc.
,
Adithya Nagarajan
Apple Inc.
,
Atif Memon
Apple Inc.
17:20
20m
Talk
A Framework for Checking Regression Test Selection Tools
Technical Track
ICSE Technical Track
Chenguang Zhu
University of Texas, Austin
,
Owolabi Legunsen
University of Illinois at Urbana-Champaign
,
August Shi
University of Illinois at Urbana-Champaign
,
Milos Gligoric
University of Texas at Austin
17:40
10m
Talk
ConTesa: Directed Test Suite Augmentation for Concurrent Software
Journal-First
ICSE Journal-First Papers
Tingting Yu
University of Kentucky
,
Zunchen Huang
,
Chao Wang
USC
17:50
10m
Talk
Discussion Period
ICSE Papers
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Tool Taxonomy and Adoption
ICSE Technical Track
/
ICSE Journal-First Papers
/
ICSE Demonstrations
/
ICSE Papers
at
Duluth
Chair(s):
Bogdan Vasilescu
Carnegie Mellon University
11:00
20m
Talk
Do Developers Discover New Tools On The Toilet?
Technical Track
Industry Program
ICSE Technical Track
Emerson Murphy-Hill
Google
,
Edward Smith
,
Caitlin Sadowski
,
Ciera Jaspan
Google
,
Collin Winter
Google
,
Matthew Jorde
Google, Inc.
,
Andrea Knight
,
Andrew Trenk
Google
,
Steve Gross
Google
Pre-print
11:20
20m
Talk
Tool Choice Matters: JavaScript Quality Assurance Tools and Usage Outcomes in GitHub Projects
Technical Track
ICSE Technical Track
David Kavaler
University of California, Davis
,
Asher Trockman
University of Evansville
,
Bogdan Vasilescu
Carnegie Mellon University
,
Vladimir Filkov
University of California at Davis, USA
Pre-print
11:40
10m
Talk
Automatically Categorizing Software Technologies
Journal-First
ICSE Journal-First Papers
Mathieu Nassif
McGill University
,
Christoph Treude
The University of Adelaide
,
Martin P. Robillard
McGill University
Link to publication
DOI
Pre-print
11:50
20m
Talk
Witt: Querying Technology Terms based on Automated Classification
Demos
ICSE Demonstrations
Mathieu Nassif
McGill University
,
Christoph Treude
The University of Adelaide
,
Martin P. Robillard
McGill University
12:10
20m
Talk
Discussion Period
ICSE Papers
14:00 - 15:30
Dependencies
ICSE Technical Track
/
ICSE Papers
/
ICSE Demonstrations
at
Duluth
Chair(s):
Danny Weyns
KU Leuven
14:00
20m
Talk
ENRE: A Tool Framework for Extensible eNtity Relation Extraction
Demos
ICSE Demonstrations
Wuxia Jin
Xi'an Jiaotong University
,
Yuanfang Cai
Drexel University
,
Rick Kazman
University of Hawai‘i at Mānoa
,
Qinghua Zheng
MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
,
Di Cui
Xi'an Jiaotong University
,
Ting Liu
MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
14:20
20m
Talk
Detection and Repair of Architectural Inconsistencies in Java
Technical Track
ICSE Technical Track
Negar Ghorbani
University of California, Irvine
,
Joshua Garcia
University of California, Irvine
,
Sam Malek
University of California, Irvine
14:40
20m
Talk
Can I Have a Stack Trace to Examine the Dependency Conflict Issue?
Technical Track
ICSE Technical Track
Ying Wang
Northeastern University, China
,
Ming Wen
The Hong Kong University of Science and Technology
,
Rongxin Wu
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Zhenwei Liu
Northeastern University, China
,
Shin Hwei Tan
Southern University of Science and Technology
,
Zhiliang Zhu
Northeastern University, China
,
Hai Yu
Northeastern University, China
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
15:00
20m
Talk
Investigating the Impact of Multiple Dependency Structures on Software Defects
Technical Track
ICSE Technical Track
Di Cui
Xi'an Jiaotong University
,
Ting Liu
MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
,
Yuanfang Cai
Drexel University
,
Qinghua Zheng
MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
,
Qiong Feng
Drexel University
,
Wuxia Jin
Xi'an Jiaotong University
,
Jiaqi Guo
Xi'an Jiaotong University
,
Yu Qu
Xi'an Jiaotong University
15:20
10m
Talk
Discussion Period
ICSE Papers
Fri 31 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Fuzzing
ICSE Technical Track
/
ICSE Papers
at
Duluth
Chair(s):
Marcel Böhme
Monash University
11:00
20m
Talk
SLF: Fuzzing without Valid Seed Inputs
Technical Track
Industry Program
ICSE Technical Track
Wei You
Purdue University
,
Xuwei Liu
Zhejiang University
,
Shiqing Ma
Purdue University, USA
,
David Mitchel Perry
Purdue University
,
Xiangyu Zhang
Purdue University
,
Bin Liang
Renmin University of China, China
11:20
20m
Talk
Superion: Grammar-Aware Greybox Fuzzing
Technical Track
ICSE Technical Track
Junjie Wang
Nanyang Technological University
,
Bihuan Chen
Fudan University
,
Lei Wei
Nanyang Technological University
,
Yang Liu
Nanyang Technological University, Singapore
11:40
20m
Talk
Grey-box Concolic Testing on Binary Code
Technical Track
Industry Program
ICSE Technical Track
Jaeseung Choi
KAIST
,
Joonun Jang
Samsung Research, Samsung Electronics
,
Choongwoo Han
NAVER Corporation
,
Sang Kil Cha
KAIST
12:00
20m
Talk
REST-ler: Stateful REST API Fuzzing
Technical Track
Industry Program
ICSE Technical Track
Vaggelis Atlidakis
Columbia University
,
Patrice Godefroid
Microsoft Research
,
Marina Polishchuk
Microsoft
Link to publication
12:20
10m
Talk
Discussion Period
ICSE Papers
14:00 - 15:30
API Analysis
ICSE Technical Track
/
ICSE Demonstrations
/
ICSE Papers
at
Duluth
Chair(s):
Sam Malek
University of California, Irvine
14:00
20m
Talk
Exposing Library API Misuses via Mutation Analysis
Technical Track
ICSE Technical Track
Ming Wen
The Hong Kong University of Science and Technology
,
Yepang Liu
Southern University of Science and Technology
,
Rongxin Wu
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Xuan Xie
School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Zhendong Su
ETH Zurich
14:20
20m
Demonstration
Vetting API Usages in C Programs with IMChecker
Demos
ICSE Demonstrations
Zuxing Gu
School of Software, Tsinghua University
,
Jiecheng Wu
Tsinghua University
,
Li Chi
Tsinghua University
,
Min Zhou
Tsinghua University
,
Yu Jiang
,
Ming Gu
Tsinghua University
,
Jiaguang Sun
Pre-print
14:40
20m
Talk
PIVOT: Learning API-Device Correlations to Facilitate Android Compatibility Issue Detection
Technical Track
ICSE Technical Track
Lili Wei
The Hong Kong University of Science and Technology
,
Yepang Liu
Southern University of Science and Technology
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
15:00
20m
Talk
SafeCheck: Safety Enhancement of Java Unsafe API
Technical Track
ICSE Technical Track
Shiyou Huang
Texas A&M University
,
Jianmei Guo
Alibaba Group
,
Sanhong Li
Alibaba Inc.
,
Xiang Li
Alibaba
,
Yumin Qi
Alibaba
,
Kingsum Chow
,
Jeff Huang
Texas A&M University
15:20
10m
Talk
Discussion Period
ICSE Papers
16:00 - 17:20
APIs
ICSE New Ideas and Emerging Results
/
ICSE Technical Track
/
ICSE Papers
/
ICSE Demonstrations
at
Duluth
Chair(s):
Chris Parnin
NCSU
16:00
20m
Talk
FOCUS: A Recommender System for Mining API Function Calls and Usage Patterns
Technical Track
ICSE Technical Track
Phuong T. Nguyen
University of L’Aquila
,
Juri Di Rocco
Università di L'Aquila
,
Davide Di Ruscio
University of L'Aquila
,
Lina Ochoa
,
Thomas Degueule
CWI, Netherlands
,
Massimiliano Di Penta
University of Sannio
Pre-print
16:20
20m
Talk
DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Documentation
Demos
ICSE Demonstrations
Yu Zhou
,
Xin Yan
Nanjing University of Aeronautics and Astronautics
,
Taolue Chen
Birkbeck, University of London
,
Sebastiano Panichella
Zurich University of Applied Science/University of Zurich
,
Harald Gall
University of Zurich
16:40
20m
Talk
MULAPI: A Tool for API Method and Usage Location Recommendation
Demos
ICSE Demonstrations
Congying Xu
Yangzhou University
,
Bosen Min
Yangzhou University
,
Xiaobing Sun
Yangzhou University
,
Jiajun Hu
The Hong Kong University of Science and Technology
,
Bin Li
Yangzhou University
,
Yucong Duan
Hainan University
17:00
10m
Talk
API Fluency
NIER
ICSE New Ideas and Emerging Results
Romain Robbes
Free University of Bozen-Bolzano
,
Mircea F. Lungu
University of Groningen
,
Andrea Janes
17:10
10m
Talk
Discussion Period
ICSE Papers
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duluth
SEAMS
Opening
SEAMS
Keynote 1
SEAMS
Learning
SEAMS
Autonomy
SEAMS
Requirements
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duluth
SEAMS
Keynote 2
SEAMS
Security
SEAMS
AI & Adaptivity
SEAMS
Assurance
SEAMS
Closing
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duluth
ICSE Workshops
SERP4IoT
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duluth
ICSE Workshops
BotSE
Wed 29 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duluth
ICSE Journal-First Papers + ICSE Software Engineering in Practice + ICSE Papers + ICSE New Ideas and Emerging Results
Testing Effectiveness
ICSE Demonstrations + ICSE Technical Track + ICSE Papers + ICSE Journal-First Papers + ICSE New Ideas and Emerging Results
Security 2
ICSE Software Engineering in Practice + ICSE Technical Track + ICSE Papers + ICSE Journal-First Papers
Test Selection and Prioritization
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Duluth
ICSE Technical Track + ICSE Journal-First Papers + ICSE Demonstrations + ICSE Papers
Tool Taxonomy and Adoption
ICSE Technical Track + ICSE Papers + ICSE Demonstrations
Dependencies
Fri 31 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duluth
ICSE Technical Track + ICSE Papers
Fuzzing
ICSE Technical Track + ICSE Demonstrations + ICSE Papers
API Analysis
ICSE New Ideas and Emerging Results + ICSE Technical Track + ICSE Papers + ICSE Demonstrations
APIs
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Duluth
SEAMS
Opening
08:45 - 09:00
SEAMS
Keynote
The Quest for Agility: Are we there yet?
09:00 - 10:30
SEAMS
Long Paper
Efficient Analysis of Large Adaptation Spaces Self-Adaptive Systems usi ...
11:00 - 11:25
SEAMS
Long Paper
On Learning in Collective Self-adaptive Systems: State of Practice and ...
11:25 - 11:50
SEAMS
NIER
Using Unstructured Data to Improve the Continuous Planning of Critical ...
11:50 - 12:10
SEAMS
Artifact
Reusable
TRAPPed in Traffic? A Self-Adaptive Framework for Decentralized Traffic ...
12:10 - 12:25
SEAMS
Long Paper
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation ...
14:00 - 14:25
SEAMS
Long Paper
Self-Adaptation in Mobile Apps: a Systematic Literature Study
14:25 - 14:50
SEAMS
NIER
Applying Evolution and Novelty Search to Enhance the Resilience of Auto ...
14:50 - 15:10
SEAMS
NIER
Modelling and Analysing ResilientCyber-Physical Systems
15:10 - 15:30
SEAMS
Long Paper
Won't Take No for an Answer: Resource-driven Requirements Adaptation
16:00 - 16:25
SEAMS
Artifact
Long Paper
Functional
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a ...
16:25 - 16:50
SEAMS
Artifact
Functional
PiStarGODA-MDP: A Goal-Oriented Framework to Support Assurances Provision
16:50 - 16:55
SEAMS
Artifact
Functional
Inferring Analyzable Models from Trajectories of Spatially-Distributed ...
16:55 - 17:10
SEAMS
Artifact
Reusable
Dragonfly: a Tool for Simulating Self-Adaptive Drone Behaviours
17:10 - 17:25
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Duluth
SEAMS
Keynote
Adaptivity and Self-Management in Autonomous Driving
09:00 - 10:30
SEAMS
Long Paper
Towards Secure Architectural Adaptation
11:00 - 11:25
SEAMS
Best Paper Award
Long Paper
Defeating Denial-of-Service Attacks in a Self-Managing N-Variant System
11:25 - 11:50
SEAMS
NIER
Blockchain Networks as Adaptive Systems
11:50 - 12:10
SEAMS
NIER
Towards the Detection of Partial Feature Interactions
12:10 - 12:30
SEAMS
AI & Adaptivity
Is Adaptivity a Core Property of Intelligent Systems? It Depends
14:00 - 14:15
SEAMS
AI & Adaptivity
Self-adaptive AI
14:15 - 14:30
SEAMS
AI & Adaptivity
Panel Discussion
14:30 - 15:30
SEAMS
Long Paper
All Versus One: An Empirical Comparison on Retrained and Incremental Ma ...
16:00 - 16:25
SEAMS
Long Paper
On the Practical Feasibility of Software Monitoring: a Framework for Lo ...
16:25 - 16:50
SEAMS
Artifact
Reusable
Best Artifact Award
DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation A ...
16:50 - 17:05
SEAMS
Artifact
Functional
OCCI-compliant, fully causal-connected architecture runtime models supp ...
17:05 - 17:20
SEAMS
Artifact
Functional
DingNet: A Self-Adaptive Internet-of-Things Exemplar
17:20 - 17:35
SEAMS
Closing Remarks, Awards and SEAMS 2020 Presentation
17:35 - 18:00
Wed 29 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Duluth
ICSE Software Engineering in Practice
SEIP
Industry Program
Practitioners' Views on Good Software Testing Practices
11:00 - 11:20
ICSE Software Engineering in Practice
SEIP
Industry Program
Perception and Practices of Differential Testing
11:20 - 11:40
ICSE Journal-First Papers
Industry Program
Journal-First
An interleaving approach to combinatorial testing and failure-inducing ...
11:40 - 11:50
ICSE Journal-First Papers
Industry Program
Journal-First
An Empirical Comparison of Combinatorial Testing, Random Testing and Ad ...
11:50 - 12:00
ICSE New Ideas and Emerging Results
Industry Program
NIER
Assurances in Software Testing: A Roadmap
12:00 - 12:10
ICSE Journal-First Papers
Industry Program
Journal-First
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Sou ...
12:10 - 12:20
ICSE Papers
Discussion Period
12:20 - 12:30
ICSE Technical Track
Technical Track
Industry Program
The Seven Sins: Security Smells in Infrastructure as Code Scripts
14:00 - 14:20
ICSE Technical Track
Technical Track
DifFuzz: Differential Fuzzing for Side-Channel Analysis
14:20 - 14:40
ICSE New Ideas and Emerging Results
Industry Program
NIER
Detecting Suspicious Package Updates
14:40 - 14:50
ICSE Demonstrations
Demos
EASYFLOW: Keep Ethereum Away From Overflow
14:50 - 15:10
ICSE Journal-First Papers
Industry Program
Journal-First
Automatic feature learning for predicting vulnerable software components
15:10 - 15:20
ICSE Papers
Discussion Period
15:20 - 15:30
ICSE Software Engineering in Practice
SEIP
Industry Program
Improving Test Effectiveness Using Test Executions History: An Industri ...
16:00 - 16:20
ICSE Technical Track
Technical Track
Industry Program
FastLane: Test Minimization for Rapidly Deployed Large-scale Online Ser ...
16:20 - 16:40
ICSE Technical Track
Technical Track
Industry Program
Scalable Approaches for Test Suite Reduction
16:40 - 17:00
ICSE Software Engineering in Practice
SEIP
Industry Program
Using Machine Learning to Recommend Correctness Checks for Geographic M ...
17:00 - 17:20
ICSE Technical Track
Technical Track
A Framework for Checking Regression Test Selection Tools
17:20 - 17:40
ICSE Journal-First Papers
Journal-First
ConTesa: Directed Test Suite Augmentation for Concurrent Software
17:40 - 17:50
ICSE Papers
Discussion Period
17:50 - 18:00
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Duluth
ICSE Technical Track
Technical Track
Industry Program
Do Developers Discover New Tools On The Toilet?
11:00 - 11:20
ICSE Technical Track
Technical Track
Tool Choice Matters: JavaScript Quality Assurance Tools and Usage Outco ...
11:20 - 11:40
ICSE Journal-First Papers
Journal-First
Automatically Categorizing Software Technologies
11:40 - 11:50
ICSE Demonstrations
Demos
Witt: Querying Technology Terms based on Automated Classification
11:50 - 12:10
ICSE Papers
Discussion Period
12:10 - 12:30
ICSE Demonstrations
Demos
ENRE: A Tool Framework for Extensible eNtity Relation Extraction
14:00 - 14:20
ICSE Technical Track
Technical Track
Detection and Repair of Architectural Inconsistencies in Java
14:20 - 14:40
ICSE Technical Track
Technical Track
Can I Have a Stack Trace to Examine the Dependency Conflict Issue?
14:40 - 15:00
ICSE Technical Track
Technical Track
Investigating the Impact of Multiple Dependency Structures on Software ...
15:00 - 15:20
ICSE Papers
Discussion Period
15:20 - 15:30
Fri 31 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Duluth
ICSE Technical Track
Technical Track
Industry Program
SLF: Fuzzing without Valid Seed Inputs
11:00 - 11:20
ICSE Technical Track
Technical Track
Superion: Grammar-Aware Greybox Fuzzing
11:20 - 11:40
ICSE Technical Track
Technical Track
Industry Program
Grey-box Concolic Testing on Binary Code
11:40 - 12:00
ICSE Technical Track
Technical Track
Industry Program
REST-ler: Stateful REST API Fuzzing
12:00 - 12:20
ICSE Papers
Discussion Period
12:20 - 12:30
ICSE Technical Track
Technical Track
Exposing Library API Misuses via Mutation Analysis
14:00 - 14:20
ICSE Demonstrations
Demos
Vetting API Usages in C Programs with IMChecker
14:20 - 14:40
ICSE Technical Track
Technical Track
PIVOT: Learning API-Device Correlations to Facilitate Android Compatibi ...
14:40 - 15:00
ICSE Technical Track
Technical Track
SafeCheck: Safety Enhancement of Java Unsafe API
15:00 - 15:20
ICSE Papers
Discussion Period
15:20 - 15:30
ICSE Technical Track
Technical Track
FOCUS: A Recommender System for Mining API Function Calls and Usage Pat ...
16:00 - 16:20
ICSE Demonstrations
Demos
DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Docu ...
16:20 - 16:40
ICSE Demonstrations
Demos
MULAPI: A Tool for API Method and Usage Location Recommendation
16:40 - 17:00
ICSE New Ideas and Emerging Results
NIER
API Fluency
17:00 - 17:10
ICSE Papers
Discussion Period
17:10 - 17:20
x
Sat 11 May 02:48