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 7 Mars, 2022 - 18:34
Le programme de la journée du GT MTV2 (Méthodes de test pour la validation et la vérification) qui aura lieu
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 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 9 Avril, 2017 - 15:20
Call for Participation
Frama-C & SPARK Day 2017: Formal Analysis and Proof for Programs in C and Ada
Paris, Tuesday, May 30th, 2017
http://frama-c.com/FCSD17.html
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
