All talks will take place in the conference room at Palacio de los Velada.
July 4th, 2022
18:00 – 20:00 Registration (Reception of the Palacio de los Velada)
July 5th, 2022
9:00 – 10:00 Registration (conference room at Palacio de los Velada)
9:45 – 10:00 Manuel Núñez: Presentation of the TAROT 2022 Summer School
10:00 – 11:30 Mike Papadakis: Catching bugs with Mutation Testing
11:30 – 12:00 Coffee Break
12:00 – 13:30 Mike Papadakis: Catching bugs with Mutation Testing
13:45 – 15:15 Lunch
15:15 – 16:45 Franz Wotawa: Testing autonomous and automated driving functions – Challenges and potential solutions
16:45 – 17:15 Coffee Break
FORTE-CM Summer School (included in the TAROT 2022 registration)
17:15 – 18:15 Jose Ignacio Requeno: Introduction to Runtime Verification
18:15 – 19:15 Pablo C. Cañizares: Parallel Mutation Testing & Automatic generation of test environments
July 6th, 2022
10:00 – 11:30 Sergio Segura: Metamorphic Testing: Testing the Untestable
11:30 – 12:00 Coffee Break
12:00 – 13:30 Sergio Segura: Metamorphic Testing: Testing the Untestable
13:45 – 15:15 Lunch
15:15 – 16:45 Angelo Gargantini: Combinatorial testing
16:45 – 17:15 Coffee Break
FORTE-CM Summer School (included in the TAROT 2022 registration)
17:15 – 18:45 Pablo Gordillo & Jesús Correas: Smart contract analysis and gas optimization
July 7th, 2022
10:00 – 11:30 Rob Hierons: Optimal product selection from feature models
11:30 – 12:00 Coffee Break
12:00 – 13:30 Mohammad Reza Mousavi: Establishing trust in connected and autonomous systems through Conformance Testing
13:45 – 15:15 Lunch
15:15 – 16:45 Project and PhD students’ presentations
Alfredo Ibias (SANO): Presentation of SANO (Centre for Computational Personalised Medicine)
-----
Juan Carlos Alonso (University of Seville): Automated generation of test Oracles for RESTful APIs
Alberto Martín López (University of Seville): Online Testing of RESTful APIs with RESTest
Milos Ojdanic (University of Luxembourg): Mutation Testing in Evolving systems
Raphaël Ollando (University of Luxembourg): Automated Testing Framework for SDN Systems
Gabriel Pontolillo (King’s College London): A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs
Mikael Ebrahimi Salari (Mälardalen University): Automated Test Case Generation for Industrial Control Programs
Tannaz Zamenin (University of Twente): From BDD scenarios to test case generation
20:30 – 22:30 Summer School dinner (Sofraga Palacio)
July 8th, 2022
10:00 – 11:30 Vinh-Hoa La: Security Testing & Monitoring of 5G Networks: Challenges and Solutions
11:30 – 12:00 Coffee Break
12:00 – 13:30 Gwen Salaün: Modelling, Analysis and Optimization of BPMN Processes
13:45 – 15:15 Lunch