License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.1.1
URN: urn:nbn:de:0030-drops-40060
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4006/
Go back to Dagstuhl Reports

Jéron, Thierry ; Veanes, Margus ; Wolff, Burkhart
Weitere Beteiligte (Hrsg. etc.): Thierry Jéron and Margus Veanes and Burkhart Wolff

Symbolic Methods in Testing (Dagstuhl Seminar 13021)

pdf-format:
dagrep_v003_i001_p001_s13021.pdf (0.8 MB)

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).

BibTeX - Entry

@Article{jron_et_al:DR:2013:4006,
  author =	{Thierry J{\'e}ron and Margus Veanes and Burkhart Wolff},
  title =	{{Symbolic Methods in Testing (Dagstuhl Seminar 13021)}},
  pages =	{1--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Thierry J{\'e}ron and Margus Veanes and Burkhart Wolff},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4006},
  URN =		{urn:nbn:de:0030-drops-40060},
  doi =		{10.4230/DagRep.3.1.1},
  annote =	{Keywords: Automated Deduction, White-box testing, Black-box Testing, Fuzz-Testing, Unit-Testing,Theorem prover-based Testing}
}

Keywords: Automated Deduction, White-box testing, Black-box Testing, Fuzz-Testing, Unit-Testing,Theorem prover-based Testing
Collection: Dagstuhl Reports, Volume 3, Issue 1
Issue Date: 2013
Date of publication: 17.05.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI