Program
The school is structured with 5 sessions:
Session Formal Testing / Verification (chair Sébastien Salva)
- Ana Paiva, Faculty of Engineering, University of Porto, Portugal, title: Model Based GUI Testing
- Timothy Griffin, University of Cambridge, UK, title: Reasoning about Routing using the interactive theorem provers Coq and Agda.
- Francisco Palomo-Lozano, University of Cádiz, Spain, title: Formal verification with ACL2
Session RV/PAssive testing (chair Antoine Rollet)
- Julien Signoles, CEA LIST, France, title: Runtime Verification of Safety and Security Properties of C Programs with E-ACSL
- Wissam Mallouli, Montimage, France, title: Runtime verification : Application to network monitoring
- Yliès Falcone, INRIA Grenoble, France, title: A General Introduction to Runtime Verification and Enforcement
Session Security (chair Pascal Lafourcade)
- Pascal Lafourcade, University Clermont Auvergne, France title: Verification Tools for Cryptographic Protocols
- Laurent Mounier University Grenoble Alpes, Verimag, France, title: Checking the robustness of a software against fault-injection ?
- Hector Menendez, College London University, UK, title: Diversifying Search and Symbolic Execution techniques for Software Testing.
- Sebastien Bardin, Software Safety & Security Lab, CEA, France, title: Toward automated (low-level) vulnerability analysis -- Cyber Grand Challenge and beyond
Session SE/Quality (chair Cédric Bouhours)
- Cédric Bouhours, Clermont Auvergne University, France
- Hervé Leblanc, Toulouse University, France
- Yann-Gaël Guéhéneuc, Concordia University, Canada
Preliminary program
Monday
9:00 – 11:00: Registration
10:30 – 11h: Welcome
11:00 – 12:30: Tutorial 1
12h30-14H LUNCH
14:00 – 15:30: Tutorial 2
15:30 – 16:00: Coffee break
16:00 – 17:30: Tutorial 3
18:00 – Welcome Reception
Tuesday
9:00 – 10:30: Tutorial 5
10:30 – 11:00: Coffee break
11:00 – 12:30: Tutorial 6
12h30-14H LUNCH
14:00 – 15:30: Tutorial 7
15:30 – 16:00: Coffee break
16:00 – 17:30: Students' presentations
Wednesday
9:00 – 10:30: Students' presentations
10:30 – 11:00: Coffee break
11:00 – 12:30: Tutorial 8
12h30-14H LUNCH
14:00 – 15:30: Tutorial 9
15:30 – 16:00: Coffee break
16:00 – 17:30: Tutorial 10
Thursday
9:00 – 10:30: Tutorial 11
10:30 – 11:00: Coffee break
11:00 – 12:30: Tutorial 12
12h30-14H LUNCH
14:00 – 15:30: Industrial presentation
15:30 – 16:00: Coffee break
16:00-17:00 Projets Poster
17h00 VISIT AND LUNCH
Friday
9:00 – 10:30: Tutorial 13
10:30 – 11:00: Coffee break
11:00 – 12:30: Tutorial 14
Closure
12h30-14H LUNCH
Social Event
School Program