License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.10.98
URN: urn:nbn:de:0030-drops-48940
URL: http://drops.dagstuhl.de/opus/volltexte/2015/4894/
Go back to Dagstuhl Reports


Cadar, Christian ; Ganesh, Vijay ; Sasnauskas, Raimondas ; Sen, Koushik
Weitere Beteiligte (Hrsg. etc.): Cristian Cadar and Vijay Ganesh and Raimondas Sasnauskas and Koushik Sen

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)

pdf-format:
dagrep_v004_i010_p098_s14442.pdf (0.7 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14442 "Symbolic Execution and Constraint Solving", whose main goals were to bring together leading researchers in the fields of symbolic execution and constraint solving, foster greater communication between these two communities and exchange ideas about new research directions in these fields. There has been a veritable revolution over the last decade in the symbiotic fields of constraint solving and symbolic execution. Even though key ideas behind symbolic execution were introduced more than three decades ago, it was only recently that these techniques became practical as a result of significant advances in constraint satisfiability and scalable combinations of concrete and symbolic execution. Thanks to these advances, testing and analysis techniques based on symbolic execution are having a major impact on many sub-fields of software engineering, computer systems, security, and others. New applications such as program and document repair are being enabled, while older applications such as model checking are being super-charged. Additionally, significant and fast-paced advances are being made in research at the intersection of traditional program analysis, symbolic execution and constraint solving. Therefore, this seminar brought together researchers in these varied fields in order to further facilitate collaborations that take advantage of this unique and fruitful confluence of ideas from the fields of symbolic execution and constraint solving.

BibTeX - Entry

@Article{cadar_et_al:DR:2015:4894,
  author =	{Christian Cadar and Vijay Ganesh and Raimondas Sasnauskas and Koushik Sen},
  title =	{{Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)}},
  pages =	{98--114},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{10},
  editor =	{Cristian Cadar and Vijay Ganesh and Raimondas Sasnauskas and Koushik Sen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/4894},
  URN =		{urn:nbn:de:0030-drops-48940},
  doi =		{10.4230/DagRep.4.10.98},
  annote =	{Keywords: Symbolic Execution, Software Testing, Automated Program Analysis, Constraint Solvers}
}

Keywords: Symbolic Execution, Software Testing, Automated Program Analysis, Constraint Solvers
Seminar: Dagstuhl Reports, Volume 4, Issue 10
Issue Date: 2015
Date of publication: 17.02.2015


DROPS-Home | Fulltext Search | Imprint Published by LZI