IFIP-ICTSS 2019

THE 31ST IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS IFIP-ICTSS 2019 will take place in Paris, France on October 15-17, 2019. Please, find further information on ICTSS and its policies on the website of ICTSS Conference Series. The call for papers is available here and the deadline for submission of abstract is Sunday, May …

Continue reading

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