Jump to : Download | Abstract | BibTex reference | EndNote reference |


T. Jéron, B. Wolff (eds.). Symbolic methods in testing. Dagstuhl Reports (3)1, January 2013.

Download [help]

Download paper: (link)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic


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)

BibTex Reference

   Title = {Symbolic methods in testing},
   editor = {Jéron, T. and Wolff, B.},
   Series = {Dagstuhl Reports (3)1},
   Month = {January},
   Year = {2013}

EndNote Reference [help]

Get EndNote Reference (.ref)