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: Porto de Galinhas
Venue
ICST 2021 is going virtual!
Room name
Porto de Galinhas
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:00 - 09:15
Intro & Welcome
ICST Research Papers
at
Porto de Galinhas
09:00
15m
Day opening
Intro & Welcome
ICST Research Papers
09:15 - 10:15
Testing Concurrent and Quantum Systems
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Marcos Lordello Chaim
09:15
30m
Paper
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
ICST Research Papers
Dhriti Khanna
,
Rahul Purandare
IIIT-Delhi
,
Subodh Sharma
IIT Delhi
09:45
30m
Paper
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
ICST Research Papers
Shaukat Ali
Simula Research Laboratory, Norway
,
Paolo Arcaini
National Institute of Informatics
,
Xinyi Wang
,
Tao Yue
Nanjing University of Aeronautics and Astronautics
10:45 - 12:00
Keynote 1
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Ana Paiva
Faculty of Engineering of the University of Porto
10:45
75m
Keynote
Keynote Talk - Fuzzing, symbolic execution, and synthesis for testing
ICST Research Papers
I:
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
13:00 - 14:30
Testing and Learning
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Andrea Stocco
Università della Svizzera italiana (USI)
13:00
30m
Paper
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring
ICST Research Papers
Michael Weiss
Università della Svizzera Italiana (USI)
,
Paolo Tonella
USI Lugano, Switzerland
Pre-print
13:30
30m
Paper
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding
ICST Research Papers
Maryam Vahdat Pour
,
Zhuo Li
,
Lei Ma
University of Alberta
,
Hadi Hemmati
University of Calgary
Pre-print
14:00
30m
Paper
Learning-Based Fuzzing of IoT Message Brokers
ICST Research Papers
Bernhard Aichernig
Graz University of Technology
,
Edi Muskardin
,
Andrea Pferscher
Institute of Software Technology, Graz University of Technology
Pre-print
Media Attached
File Attached
15:00 - 16:30
Models, Testing and Verification
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Mike Papadakis
University of Luxembourg, Luxembourg
15:00
30m
Paper
Modeling with Mocking
ICST Research Papers
Jouke Stoel
CWI
,
Jurgen Vinju
CWI, Netherlands
,
Tijs van der Storm
CWI & University of Groningen, Netherlands
Pre-print
15:30
30m
Paper
Uncertainty-aware Exploration in Model-based Testing
ICST Research Papers
Matteo Camilli
Free University of Bozen-Bolzano
,
Angelo Gargantini
University of Bergamo
,
Patrizia Scandurra
University of Bergamo, Italy
,
Catia Trubiani
Gran Sasso Science Institute
Pre-print
16:00
30m
Paper
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
ICST Research Papers
Leopoldo Teixeira
Federal University of Pernambuco
,
Breno Miranda
Federal University of Pernambuco
,
Henrique Rebelo
Universidade Federal de Pernambuco
,
Marcelo d'Amorim
Federal University of Pernambuco
Pre-print
Wed 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:15 - 10:45
Slicing and Static Analysis
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Leopoldo Teixeira
Federal University of Pernambuco
09:15
30m
Paper
Efficiently Finding Data Flow Subsumptions
ICST Research Papers
Marcos Lordello Chaim
,
Kesina Baral
,
Jeff Offutt
George Mason University
,
Mario Concilio Neto
,
Roberto Araujo
09:45
30m
Paper
MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis
ICST Research Papers
Khaled Ahmed
,
Mieszko Lis
,
Julia Rubin
University of British Columbia, Canada
Pre-print
10:15
30m
Paper
Address-Aware Query Caching for Symbolic Execution
ICST Research Papers
David Trabish
Tel Aviv University, Israel
,
Shachar Itzhaky
Technion
,
Noam Rinetzky
Pre-print
11:15 - 12:30
Keynote 2
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Fabiano Ferrari
Federal University of São Carlos
11:15
75m
Keynote
Keynote Talk - Some challenges and pitfalls in engineering contemporary software systems under the plague of defects
ICST Research Papers
I:
Guilherme Horta Travassos
Federal University of Rio de Janeiro
12:30 - 13:00
Award Session
ICST Research Papers
at
Porto de Galinhas
12:30
10m
Awards
Award Session
ICST Research Papers
12:40
10m
Awards
Assessing Oracle Quality with Checked Coverage
ICST Research Papers
David Schuler
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Link to publication
DOI
12:50
10m
Awards
Experiences of System-Level Model-Based GUI Testing of an Android Application
ICST Research Papers
Tommi Takala
,
Mika Katara
,
Julian Harty
Commercetest Limited
Link to publication
DOI
14:00 - 15:00
Test Reuse
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Paolo Tonella
USI Lugano, Switzerland
14:00
30m
Paper
Self determination: A comprehensive strategy for making automated tests more effective and efficient
ICST Research Papers
Kesina Baral
,
Jeff Offutt
George Mason University
,
Fiza Mulla
14:30
30m
Paper
Artefact Relation Graphs for Unit Test Reuse Recommendation
ICST Research Papers
Robert White
University College London, UK
,
Jens Krinke
University College London
,
Earl T. Barr
University College London, UK
,
Federica Sarro
University College London
,
Chaiyong Rakhitwetsagul
Mahidol University, Thailand
15:30 - 17:00
Faults and Fault Injection
ICST Research Papers
at
Porto de Galinhas
Chair(s):
André T. Endo
Federal University of Technology - Paraná (UTFPR)
15:30
30m
Paper
An Empirical Study of Flaky Tests in Python
ICST Research Papers
Martin Gruber
BMW Group
,
Stephan Lukasczyk
University of Passau
,
Florian Kroiß
,
Gordon Fraser
University of Passau
Pre-print
16:00
30m
Paper
Fast Kernel Error Propagation Analysis in Virtualized Environments
ICST Research Papers
Nicolas Coppik
TU Darmstadt
,
Oliver Schwahn
TU Darmstadt
,
Neeraj Suri
16:30
30m
Paper
Dissecting Strongly Subsuming Second-Order Mutants
ICST Research Papers
João Paulo Diniz
Federal University of Minas Gerais, Brazil
,
Chu-Pan Wong
Carnegie Mellon University, USA
,
Christian Kästner
Carnegie Mellon University
,
Eduardo Figueiredo
Federal University of Minas Gerais, Brazil
Thu 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:15 - 10:45
Autonomous and Cyber-Physical Systems
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Paolo Arcaini
National Institute of Informatics
09:15
30m
Paper
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems
ICST Research Papers
Hong Jin Kang
,
David Lo
Singapore Management University
,
Sheng Qin Sim
09:45
30m
Paper
Quality Metrics and Oracles for Autonomous Vehicles Testing
ICST Research Papers
Gunel Jahangirova
USI Lugano, Switzerland
,
Andrea Stocco
Università della Svizzera italiana (USI)
,
Paolo Tonella
USI Lugano, Switzerland
Pre-print
10:15
30m
Paper
Anomaly Detection with Digital Twin in Cyber-Physical Systems
ICST Research Papers
Xu Qinghua
,
Shaukat Ali
Simula Research Laboratory, Norway
,
Tao Yue
Nanjing University of Aeronautics and Astronautics
11:15 - 12:30
Keynote 3
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Robert Hierons
University of Sheffield
11:15
75m
Talk
Keynote Talk - Testing Machine Learning-Enabled Systems
ICST Research Papers
I:
Lionel Briand
University of Luxembourg and University of Ottawa
13:00 - 14:00
ICST Steering Committee meeting
ICST Research Papers
at
Porto de Galinhas
13:00
60m
Meeting
ICST Steering Committee meeting
ICST Research Papers
14:00 - 15:00
Program Repair
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Angelo Gargantini
University of Bergamo
14:00
30m
Paper
Automatic Program Repair as Semantic Suggestions: An Empirical Study
ICST Research Papers
Diogo Campos
,
André Restivo
LIACC, Universidade do Porto, Porto, Portugal
,
Hugo Sereno Ferreira
Faculty of Engineering, University of Porto, Portugal
,
Afonso Ramos
Faculty of Engineering of the University of Porto
14:30
30m
Paper
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
ICST Research Papers
Amirfarhad Nilizadeh
University of Central Florida
,
Gary T. Leavens
University of Central Florida
,
Xuan-Bach D. Le
Singapore Management University, Singapore
,
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
,
David Cok
CEA, LIST, Software Safety and Security Laboratory
15:30 - 17:00
Empirical and User Studies
ICST Research Papers
at
Porto de Galinhas
Chair(s):
Michael Felderer
University of Innsbruck
15:30
30m
Paper
A Large-scale Study on API Misuses in the Wild
ICST Research Papers
Xia Li
Kennesaw State University
,
Jiajun Jiang
Tianjin University, China
,
Samuel Benton
The University of Texas at Dallas
,
Yingfei Xiong
Peking University
,
Lingming Zhang
UIUC
16:00
30m
Paper
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas
ICST Research Papers
Giuseppe Lami
,
Fabio Falcini
16:30
30m
Paper
Simulation for Robotics Test Automation: Developer Perspectives
ICST Research Papers
Afsoon Afzal
Carnegie Mellon University
,
Deborah S. Katz
Carnegie Mellon University
,
Claire Le Goues
Carnegie Mellon University
,
Christopher Steven Timperley
Carnegie Mellon University
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
Porto de Galinhas
ICST Research Papers
Intro & Welcome
ICST Research Papers
Testing Concurrent and Quantum Systems
ICST Research Papers
Keynote 1
ICST Research Papers
Testing and Learning
ICST Research Papers
Models, Testing and Verification
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
Porto de Galinhas
ICST Research Papers
Slicing and Static Analysis
ICST Research Papers
Keynote 2
ICST Research Papers
Award Session
ICST Research Papers
Test Reuse
ICST Research Papers
Faults and Fault Injection
Thu 15 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
Porto de Galinhas
ICST Research Papers
Autonomous and Cyber-Physical Systems
ICST Research Papers
Keynote 3
ICST Research Papers
ICST Steering Committee meeting
ICST Research Papers
Program Repair
ICST Research Papers
Empirical and User Studies
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
Porto de Galinhas
ICST Research Papers
Intro & Welcome
09:00 - 09:15
ICST Research Papers
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Comm ...
09:15 - 09:45
ICST Research Papers
Assessing the Effectiveness of Input and Output Coverage Criteria for T ...
09:45 - 10:15
ICST Research Papers
Keynote Talk - Fuzzing, symbolic execution, and synthesis for testing
10:45 - 12:00
ICST Research Papers
Fail-Safe Execution of Deep Learning based Systems through Uncertainty ...
13:00 - 13:30
ICST Research Papers
A Search-Based Testing Framework for Deep Neural Networks of Source Cod ...
13:30 - 14:00
ICST Research Papers
Learning-Based Fuzzing of IoT Message Brokers
14:00 - 14:30
ICST Research Papers
Modeling with Mocking
15:00 - 15:30
ICST Research Papers
Uncertainty-aware Exploration in Model-based Testing
15:30 - 16:00
ICST Research Papers
Demystifying the Challenges of Formally Specifying API Properties for R ...
16:00 - 16:30
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
Porto de Galinhas
ICST Research Papers
Efficiently Finding Data Flow Subsumptions
09:15 - 09:45
ICST Research Papers
MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Ali ...
09:45 - 10:15
ICST Research Papers
Address-Aware Query Caching for Symbolic Execution
10:15 - 10:45
ICST Research Papers
Keynote Talk - Some challenges and pitfalls in engineering contemporary ...
11:15 - 12:30
ICST Research Papers
Award Session
12:30 - 12:40
ICST Research Papers
Assessing Oracle Quality with Checked Coverage
12:40 - 12:50
ICST Research Papers
Experiences of System-Level Model-Based GUI Testing of an Android Appli ...
12:50 - 13:00
ICST Research Papers
Self determination: A comprehensive strategy for making automated tests ...
14:00 - 14:30
ICST Research Papers
Artefact Relation Graphs for Unit Test Reuse Recommendation
14:30 - 15:00
ICST Research Papers
An Empirical Study of Flaky Tests in Python
15:30 - 16:00
ICST Research Papers
Fast Kernel Error Propagation Analysis in Virtualized Environments
16:00 - 16:30
ICST Research Papers
Dissecting Strongly Subsuming Second-Order Mutants
16:30 - 17:00
Thu 15 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
Porto de Galinhas
ICST Research Papers
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems
09:15 - 09:45
ICST Research Papers
Quality Metrics and Oracles for Autonomous Vehicles Testing
09:45 - 10:15
ICST Research Papers
Anomaly Detection with Digital Twin in Cyber-Physical Systems
10:15 - 10:45
ICST Research Papers
Keynote Talk - Testing Machine Learning-Enabled Systems
11:15 - 12:30
ICST Research Papers
ICST Steering Committee meeting
13:00 - 14:00
ICST Research Papers
Automatic Program Repair as Semantic Suggestions: An Empirical Study
14:00 - 14:30
ICST Research Papers
Exploring True Test Overfitting in Dynamic Automated Program Repair us ...
14:30 - 15:00
ICST Research Papers
A Large-scale Study on API Misuses in the Wild
15:30 - 16:00
ICST Research Papers
System and Software Testing in Automotive: an Empirical Study on Proce ...
16:00 - 16:30
ICST Research Papers
Simulation for Robotics Test Automation: Developer Perspectives
16:30 - 17:00
x
Thu 21 Nov 19:39