Symbolic Methods in Testing

Abstract : This report documents the program and the outcomes of Dagstuhl Seminar 13021 "Symbolic Methods in Testing". The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentations, discussions, and working group meetings, the seminar attempted to get a coherent picture of the field, which transcends the borders of applications and disciplines, of existing approaches and problems in formal testing. The seminar brought together, on the one hand, researchers from the different camps and various tools. The main outcome of the seminar is the exchange of information between different groups and the discussion of new trends (parallelization, cloud-computing)
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Thierry Jéron and Margus Veanes and Burkhart Wolff. 3, Dagstuhl Publishing, pp.29, 2013, 〈10.4230/DagRep.3.1.1〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00823739
Contributeur : Thierry Jéron <>
Soumis le : vendredi 17 mai 2013 - 17:40:05
Dernière modification le : vendredi 16 novembre 2018 - 01:38:21

Identifiants

Citation

Thierry Jéron, Margus Veanes, Burkhart Wolff. Symbolic Methods in Testing. Thierry Jéron and Margus Veanes and Burkhart Wolff. 3, Dagstuhl Publishing, pp.29, 2013, 〈10.4230/DagRep.3.1.1〉. 〈hal-00823739〉

Partager

Métriques

Consultations de la notice

388