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