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 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
Pages
