Soumis par Nikolai.Kosmatov le 23 Janvier, 2023 - 10:59
La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) aura lieu
le jeudi 16 mars 2023
au laboratoire LMF de l'Université Paris-Saclay.
Soumis par Nikolai.Kosmatov le 1 Mars, 2022 - 12:18
La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) aura lieu
Soumis par Nikolai.Kosmatov le 17 Novembre, 2020 - 10:29
La prochaine réunion du groupe de travail MTV2 (Méthodes de test pour la validati
Soumis par Nikolai.Kosmatov le 18 Novembre, 2019 - 22:40
La journée du groupe de travail MTV2 a eu lieu le jeudi 17 octobre 2019 à Télécom ParisTech à Paris. Une quarantaine de personnes ont participé à cette journée.
Cette année, elle a été co-localisée avec la conférence internationale IFIP-ICTSS 2019 (The 31st IFIP International Conference on Testing Software and Systems) les 15-17 octobre 2019:
Soumis par Nikolai.Kosmatov le 29 Septembre, 2019 - 11:22
La journée MTV2 2019 aura lieu le jeudi 17 octobre 2019 à Télécom ParisTech (46, rue Barrault, Paris).
Cette année, elle sera co-localisée avec la conférence internationale IFIP-ICTSS 2019 (The 31st IFIP International Conference on Testing Software and Systems) les 15-17 octobre 2019:
http://ictss2019.centralesupelec.fr/
Soumis par Nikolai.Kosmatov le 6 Décembre, 2018 - 12:36
La journée MTV2 aura lieu le vendredi 7 décembre 2018 à l'ENSIIE à Evry.
Cette année, le programme inclut dix présentations et notamment deux exposés invités :
Bernhard Aichernig (Graz University of Technology, Austria) “Smart Black-box Testing - Combining Model Learning and Model-based Testing”
Mike Papadakis (Univ. Luxembourg) “Mutation Testing Advances”
Le programme complet est disponible sur la page web de l'événement
Soumis par Alain.Giorgetti le 26 Octobre, 2018 - 09:58
Le groupe LTP (Langages, types et preuves) se réunit jeudi 6 décembre 2018 à l'ENSIIE à Evry.
Le groupe MTV2 (Méthodes de test pour la validation et la vérification) se réunit vendredi 7 décembre au même endroit.
L'inscription à chaque journée est gratuite mais nécessaire pour assurer le bon déroulement de l'événement.
Toutes les informations sont disponibles sur les pages
http://www.ensiie.fr/~guillaume.burel/ltp/journee_2018.html
et
Soumis par Akram.Idani le 13 Septembre, 2017 - 10:06
Une journée commune des groupes de travail Méthodes de Test pour la Vérification
et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL)
aura lieu à Paris, à Telecom ParisTech, le 7 Décembre 2017.
L'appel à contributions est disponible sur : http://lig-membres.imag.fr/idani/MTV2_MFDL/index.html
Cette journée prendra la forme suivante :
Soumis par Nikolai.Kosmatov le 10 Juillet, 2017 - 13:13
Bonjour,
Grâce au soutien du GDR GPL, les organisateurs de ISSRE 2017 pourront accorder quelques bourses à des doctorants participant à la conférence
The 28th International Symposium on Software Reliability Engineering (ISSRE 2017)
à Toulouse, les 23-26 octobre 2017
http://issre.net/
Soumis par Nikolai.Kosmatov le 27 Novembre, 2016 - 11:48
Le programme de la journée du groupe de travail MTV2 (Méthodes de Test pour la Vérification et la Validation) du GDR GPL qui aura lieu
le 1er décembre 2016 au LRI (bât. 650, salle 435), à Orsay
est désormais disponible sur
http://perso.ecp.fr/~gallp/Journee_MTV2_2016.html
Pour toute inscription tardive, merci de contacter les organisateurs par mél.
Nikolai, Pascale et Fatiha
Pages
