MTV2 – 7 décembre 2018

Méthodes de Test pour la Vérification  et la Validation (MTV2) La prochaine réunion du groupe MTV2 du GDR GPL aura lieu le 7 décembre 2018 à l’ENSIIE à Evry, et sera associée à la réunion du groupe LTP (Langages, Types, Preuves) qui aura lieu la veille (6 décembre) au même endroit.…

Continue reading

USE 2018 @ ICST 2018

  USE 2018 @ ICST 2018 The Second International Workshop on Usages of Symbolic Execution  (USE 2018) April 9, 2018,Västerås, Sweden Contact : use2018@cea.fr   USE 2018 is colocated with the 11th IEEE Conference on Software Testing, Verification and  Validation (ICST 2018) April 9 -13, 2018 Aros Congress Center Workshop date…

Continue reading