Soumis par Nikolai.Kosmatov le 30 Septembre, 2023 - 19:33
Les prochaines journées communes des groupes de travail LVP et MTV2 auront lieu
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/
Pages
