Méthodes de Test pour la Vérification  et la Validation (Test Methods for Verification and Validation)

The MTV2 group brings together all the French academic teams working on the general theme of validation and verification of software and systems, under the supervision of the GDR GPL funded by the CNRS.

The GDR GPL (Groupement de Recherche Génie de la Programming et du Logiciel) is a unit of the INS2I of the CNRS which brings together the French scientific community interested in Software Engineering and Programming.

The next meeting of the MTV2 workshop will take place on 17 October 2019 at Télécom Paris and will be a joint event with the IFIP-ICTSS conference.

Program

Thursday, October 17 (ICTSS/MTV2 Joint Day)

9:00 Session 9. Keynote

  • Mauro Pezzè. Testing Human-Centric Cyber-Physical Systems

10:30 Coffee Break

11:00 Session 10. Industrial presentations

  • Frédéric Rivière. JUnit for Testing Constrained Embedded Systems
  • Fabrice Trollet. Platform for automated testing of distributed systems applied to case studies (Airbus, Thales and IoT)
  • Yves Génevaux. Automating Functional Validation of Embedded Systems

12:30 Lunch

14:00 Session MTV2

  • To be announced later

Closing session

Coming soon