Évènements

ROADEF 2023 ROADEF

24ème congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision

LVP & MTV2 2023 Méthodes de Test pour la Vérification et la Validation (MTV2)

Journées de séminaire des groupes de travail LVP et MTV2 du GdR GPL du CNRS, jeudi 16 et vendredi 17 novembre 2023

MTV2 2023 Méthodes de Test pour la Vérification et la Validation (MTV2)

Le groupe MTV2 s’intéresse à la validation et la vérification des logiciels par des techniques de test.

MTV2 2022 Méthodes de Test pour la Vérification et la Validation (MTV2)

Le groupe MTV2 s’intéresse à la validation et la vérification des logiciels par des techniques de test.

MTV2 2020 Méthodes de Test pour la Vérification et la Validation (MTV2)

Le groupe MTV2 s’intéresse à la validation et la vérification des logiciels par des techniques de test.

USE 2018 @ ICST 2018 The Second International Workshop on Usages of Symbolic Execution

April 9, 2018,Västerås, Sweden