Write a Blog >>
DevOps4CPS-Testing 2021
Mon 12 - Fri 16 April 2021
co-located with
ICST 2021
Toggle navigation
Attending
Venue: ICST 2021 is going virtual!
Program
DevOps4CPS-Testing Program
Your Program
Mon 12 Apr
Tue 13 Apr
Wed 14 Apr
Thu 15 Apr
Fri 16 Apr
Track/Call
Organization
DevOps4CPS-Testing 2021 Committees
Track Committees
Organizing Comittee
Contributors
People Index
Search
Series
Sign in
Sign up
ICST 2021
(
series
) /
DevOps4CPS-Testing 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
ICST Testing Tools Track
at
Carneiros
09:15
30m
Paper
COSMO: Code Coverage Made Easier for Android
ICST 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
ICST Testing Tools Track
Henry Cox
Mediatek
13:00 - 14:30
Testing Tools II
ICST Testing Tools Track
at
Carneiros
13:00
30m
Paper
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing
ICST 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
ICST 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
ICST Testing Tools Track
Michael Weiss
Università della Svizzera Italiana (USI)
,
Paolo Tonella
USI Lugano, Switzerland
Pre-print
15:00 - 16:30
Testing Tools III
ICST Testing Tools Track
at
Carneiros
15:00
30m
Paper
Prut4j: Protocol Unit Testing fo(u)r Java
ICST 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
ICST 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
ICST 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
ICST Industry Track
at
Carneiros
21:30
60m
Keynote
Keynote Talk - Industry Best Practices for CI/CD
ICST Industry Track
John Micco
VMware
File Attached
22:30 - 00:00
Industry I
ICST Industry Track
at
Carneiros
22:30
30m
Paper
Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study
ICST 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
ICST 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?
ICST 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
ICST Industry Track
at
Carneiros
09:15
30m
Paper
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.
ICST 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.
ICST 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.
ICST Industry Track
Emil Alégroth
Blekinge Institute of Technology
,
Elin Petersén
,
John Tinnerholm
14:00 - 16:00
Industry III
ICST Industry Track
at
Carneiros
14:00
30m
Paper
Industrial-Scale Passive Testing with T-EARS.
ICST 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.
ICST 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.
ICST 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.
ICST 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
ICST 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.
ICST 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.
ICST 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
ICST Testing Tools Track
Testing Tools I
ICST Testing Tools Track
Testing Tools II
ICST Testing Tools Track
Testing Tools III
ICST Industry Track
Industry Best Practices for CI/CD
ICST 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
ICST Industry Track
Industry II
ICST Industry Track
Industry III
ICST 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
Thu 21 Nov 19:25