ICST 2021
Mon 12 - Fri 16 April 2021
Toggle navigation
Attending
Venue: ICST 2021 is going virtual!
Registration
Equity, Diversity and Inclusion Plan
Code of Conduct
Student Volunteers
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Program
Complete Program
Your Program
Mon 12 Apr
Tue 13 Apr
Wed 14 Apr
Thu 15 Apr
Fri 16 Apr
Tracks
ICST 2021
Research Papers
- Keynote Talk - Fuzzing, symbolic execution, and synthesis for testing
- Keynote Talk - Some challenges and pitfalls in engineering contemporary software systems under the plague of defects
- Keynote Talk - Testing Machine Learning-Enabled Systems
Industry Track
- Keynote Talk - Industry Best Practices for CI/CD
Workshops
Testing Tools Track
Tool Demos Track
Posters Track
Doctoral Symposium
Journal-First Papers
Workshops
A-MOST
AIST
CCIW
CI/CD Industry Workshop
DevOps4CPS-Testing
INTUITESTBEDS
ITEQS
IWCT
InSTA
Mutation
NEXTA
Organization
ICST 2021 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Research Papers
Program Chairs
Program Committee
Industry Track
Program Chairs
Program Committee
Workshops
Testing Tools Track
Program Chairs
Program Committee
Tool Demos Track
Program Chairs
Tools Demo Program Committee
Posters Track
Doctoral Symposium
Journal-First Papers
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
Steering Committee
AIST
Organizing Committee
Program Committee
CCIW
N/A - check homepage
DevOps4CPS-Testing
Organizing Comittee
INTUITESTBEDS
Organization Committee
Steering Committee
Program Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Organizing Comittee
InSTA
Organizing Committee
Program committee
Mutation
Program Committee
NEXTA
Organisation Committee
Program Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2021
(
series
) /
ICST 2021 is going virtual!
/
Room information: Carneiros
Venue
ICST 2021 is going virtual!
Room name
Carneiros
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-03:00) Brasilia, Distrito Federal, Brazil
.
Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, Brazil
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
Tue 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:15 - 10:15
Testing Tools I
Testing Tools Track
at
Carneiros
09:15
30m
Paper
COSMO: Code Coverage Made Easier for Android
Testing Tools Track
Andrea Romdhana
,
Mariano Ceccato
University of Verona
,
Gabriel Georgiu
,
Alessio Merlo
,
Paolo Tonella
USI Lugano, Switzerland
09:45
30m
Paper
Differential coverage: automating coverage analysis
Testing Tools Track
Henry Cox
Mediatek
13:00 - 14:30
Testing Tools II
Testing Tools Track
at
Carneiros
13:00
30m
Paper
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing
Testing Tools Track
Ciprian Paduraru
University of Bucharest
,
Miruna Gabriela Paduraru
University of Bucharest
,
Alin Stefanescu
University of Bucharest
13:30
30m
Paper
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers
Testing Tools Track
Paolo Arcaini
National Institute of Informatics
,
Andrea Bombarda
University of Bergamo
,
Silvia Bonfanti
University of Bergamo
,
Angelo Gargantini
University of Bergamo
Pre-print
14:00
30m
Paper
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification
Testing Tools Track
Michael Weiss
Università della Svizzera Italiana (USI)
,
Paolo Tonella
USI Lugano, Switzerland
Pre-print
15:00 - 16:30
Testing Tools III
Testing Tools Track
at
Carneiros
15:00
30m
Paper
Prut4j: Protocol Unit Testing fo(u)r Java
Testing Tools Track
Florian Joost Slob
Open University of the Netherlands
,
Sung-Shik Jongmans
Open University of the Netherlands
15:30
30m
Paper
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
Testing Tools Track
Miroslav Bures
Czech Technical University, Czechia
,
Bestoun S. Ahmed
Karlstad University Sweden
,
Vaclav Rechtberger
,
Matej Klima
,
Michal Trnka
,
Miroslav Jaros
,
Xavier Bellekens
,
Dani Almog
,
Pavel Herout
University of West Bohemia, Pilsen, CZ
Link to publication
Pre-print
16:00
30m
Paper
STILE: a Tool for Parallel Execution of E2E WebTest Scripts
Testing Tools Track
Dario Olianas
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Filippo Ricca
,
Matteo Biagiola
,
Paolo Tonella
USI Lugano, Switzerland
21:30 - 22:30
Industry Best Practices for CI/CD
Industry Track
at
Carneiros
21:30
60m
Keynote
Keynote Talk - Industry Best Practices for CI/CD
Industry Track
John Micco
VMware
File Attached
22:30 - 00:00
Industry I
Industry Track
at
Carneiros
22:30
30m
Paper
Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study
Industry Track
Jeongju Sohn
KAIST, South Korea
,
Gabin An
KAIST
,
Jingun Hong
SAP Labs
,
Dongwon Hwang
SAP Labs
,
Shin Yoo
Korea Advanced Institute of Science and Technology
23:00
30m
Paper
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems
Industry Track
Paolo Arcaini
National Institute of Informatics
,
Xiao-Yi Zhang
National Institute of Informatics, Japan
,
Fuyuki Ishikawa
National Institute of Informatics
23:30
30m
Paper
How Does Fuzzing Techniques Perform in Real Industrial Settings?
Industry Track
Mingzhe Wang
Tsinghua University
,
Jie Liang
,
Chijin Zhou
,
Yuanliang Chen
,
Zhiyong Wu
Tsinghua University, China
,
Yu Jiang
Tsinghua University
Wed 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:15 - 10:45
Industry II
Industry Track
at
Carneiros
09:15
30m
Paper
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.
Industry Track
Daniil Stepanov
,
Marat Akhin
Saint Petersburg Polytechnic University / JetBrains Research
,
Mikhail Belyaev
Saint Petersburg Polytechnic University / JetBrains Research
09:45
30m
Paper
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects.
Industry Track
Viktor Malík
,
Tomáš Vojnar
Brno University of Technology
10:15
30m
Paper
A Failed attempt at creating Guidelines for Visual GUI Testingtesting: An industrial case study.
Industry Track
Emil Alégroth
Blekinge Institute of Technology
,
Elin Petersén
,
John Tinnerholm
14:00 - 16:00
Industry III
Industry Track
at
Carneiros
14:00
30m
Paper
Industrial-Scale Passive Testing with T-EARS.
Industry Track
Daniel Flemström
,
Henrik Jonsson
,
Eduard Paul Enoiu
Mälardalen University
,
Wasif Afzal
Mälardalen University
14:30
30m
Paper
Boosting Exploratory Testing of Industrial Automation Systems with AI.
Industry Track
Raphael Eidenbenz
,
Carsten Franke
,
Thanikesavan Sivanthi
,
Sandro Schoenborn
15:00
30m
Paper
Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System.
Industry Track
Jonas Fritzsch
University of Stuttgart, Institute of Software Engineering
,
Tobias Schmid
,
Stefan Wagner
University of Stuttgart
Pre-print
15:30
30m
Paper
Digital Twins Are Not Monozygotic - Comparing ADAS Testing in Two Industry-Grade Automotive Simulators.
Industry Track
Markus Borg
RISE Research Institutes of Sweden
,
Raja Ben Abdessalem
,
Shiva Nejati
University of Ottawa, Canada / University of Luxembourg, Luxembourg
,
Francois-Xavier Jegeden
,
Donghwan Shin
University of Luxembourg
16:30 - 17:30
Industry IV
Industry Track
at
Carneiros
16:30
30m
Paper
Applicable Micropatches and Where to Find Them: Finding and Applying New Security Hot Fixes to Old Software.
Industry Track
Mac Malone
,
Yicheng Wang
,
Kevin Snow
,
Fabian Monrose
17:00
30m
Paper
Exploring the Triggering Modes of Spectrum-Based Fault Localization: An Industrial Case.
Industry Track
Tung Dao
,
Max Wang
,
Na Meng
Virginia Tech, USA
Tue 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Carneiros
Testing Tools Track
Testing Tools I
Testing Tools Track
Testing Tools II
Testing Tools Track
Testing Tools III
Industry Track
Industry Best Practices for CI/CD
Industry Track
Industry I
Wed 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Carneiros
Industry Track
Industry II
Industry Track
Industry III
Industry Track
Industry IV
Tue 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Carneiros
ICST Testing Tools Track
COSMO: Code Coverage Made Easier for Android
09:15 - 09:45
ICST Testing Tools Track
Differential coverage: automating coverage analysis
09:45 - 10:15
ICST Testing Tools Track
RiverFuzzRL - an open-source tool to experiment with reinforcement lear ...
13:00 - 13:30
ICST Testing Tools Track
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers
13:30 - 14:00
ICST Testing Tools Track
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Q ...
14:00 - 14:30
ICST Testing Tools Track
Prut4j: Protocol Unit Testing fo(u)r Java
15:00 - 15:30
ICST Testing Tools Track
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
15:30 - 16:00
ICST Testing Tools Track
STILE: a Tool for Parallel Execution of E2E WebTest Scripts
16:00 - 16:30
ICST Industry Track
Keynote Talk - Industry Best Practices for CI/CD
21:30 - 22:30
ICST Industry Track
Assisting Bug Report Assignment Using Automated Fault Localisation: An ...
22:30 - 23:00
ICST Industry Track
Targeting Patterns of Driving Characteristics in Testing Autonomous Dri ...
23:00 - 23:30
ICST Industry Track
How Does Fuzzing Techniques Perform in Real Industrial Settings?
23:30 - 00:00
Wed 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Carneiros
ICST Industry Track
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctne ...
09:15 - 09:45
ICST Industry Track
Automatically Checking Semantic Equivalence between Versions of Large-S ...
09:45 - 10:15
ICST Industry Track
A Failed attempt at creating Guidelines for Visual GUI Testingtesting: ...
10:15 - 10:45
ICST Industry Track
Industrial-Scale Passive Testing with T-EARS.
14:00 - 14:30
ICST Industry Track
Boosting Exploratory Testing of Industrial Automation Systems with AI.
14:30 - 15:00
ICST Industry Track
Experiences from Large-Scale Model Checking: Verification of a Vehicle ...
15:00 - 15:30
ICST Industry Track
Digital Twins Are Not Monozygotic - Comparing ADAS Testing in Two Indus ...
15:30 - 16:00
ICST Industry Track
Applicable Micropatches and Where to Find Them: Finding and Applying Ne ...
16:30 - 17:00
ICST Industry Track
Exploring the Triggering Modes of Spectrum-Based Fault Localization: An ...
17:00 - 17:30
x
Wed 13 Nov 12:44