ICST 2021
Mon 12 - Fri 16 April 2021

Tue 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:15 - 10:15
Testing Concurrent and Quantum SystemsResearch 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
Research Papers
09:45
30m
Paper
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
Research Papers
Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics , Xinyi Wang , Tao Yue Nanjing University of Aeronautics and Astronautics