Symbolic Methods in Testing (Dagstuhl Seminar 13021)

Authors Thierry Jéron, Margus Veanes, Burkhart Wolff and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 0.8 MB
  • 29 pages

Document Identifiers

Author Details

Thierry Jéron
Margus Veanes
Burkhart Wolff
and all authors of the abstracts in this report

Cite AsGet BibTex

Thierry Jéron, Margus Veanes, and Burkhart Wolff. Symbolic Methods in Testing (Dagstuhl Seminar 13021). In Dagstuhl Reports, Volume 3, Issue 1, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


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).
  • Automated Deduction
  • White-box testing
  • Black-box Testing
  • Fuzz-Testing
  • Unit-Testing,Theorem prover-based Testing


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail