SAC-SVT 2023: Software Verification and Testing Track at SAC 2023

The ACM Symposium on Applied Computing (SAC) 2023 has gathered scientists from different areas of computing over the last more than thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing…continue reading

 

SAC-SVT 2022: Software Verification and Testing Track at SAC 2022

The ACM Symposium on Applied Computing (SAC) 2022 has gathered scientists from different areas of computing over the last more than thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing…continue reading

 

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

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