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   Le programme de la journée est accessible ici. La réunion sera associée à la réunion du groupe LTP qui aura lieu la veille…

Continue reading

USE 2018 @ ICST 2018

  USE 2018 @ ICST 2018 The Second International Workshop on Usages of Symbolic Execution  (USE 2018) is colocated with the 11th IEEE Conference on Software Testing, Verification and  Validation (ICST 2018). April 9 -13, 2018 Aros Congress Center Västerås, Sweden   The first edition of USE (USE’15) was held as…

Continue reading