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.6.5.56
URN: urn:nbn:de:0030-drops-67203
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/6720/
Go back to Dagstuhl Reports


Dolby, Julian ; Grumberg, Orna ; Müller, Peter ; Tripp, Omer
Weitere Beteiligte (Hrsg. etc.): Julian Dolby and Orna Grumberg and Peter Müller and Omer Tripp

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

pdf-format:
dagrep_v006_i005_p056_s16201.pdf (0.9 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 16201 "Synergies among Testing, Verification, and Repair for Concurrent Programs". This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 "Symbolic Methods in Testing"; Dagstuhl Seminar 13061 "Fault Prediction, Localization and Repair"; Dagstuhl Seminar 14171 "Evaluating Software Verification Systems: Benchmarks and Competitions"; Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools"; Dagstuhl Seminar 14442 "Symbolic Execution and Constraint Solving"; and Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency". These were held in January 2013; February 2013; April 2014; August 2014; October 2014; and May 2015, respectively. Two notable contributions of Dagstuhl Seminar 16201, which distinguish it from these past seminars, are (i) the focus on concurrent programming, which introduces significant challenges to testing, verification and repair tools, as well as (ii) the goal of identifying and exploiting synergies between the testing, verification and repair research communities in light of common needs and goals.

BibTeX - Entry

@Article{dolby_et_al:DR:2016:6720,
  author =	{Julian Dolby and Orna Grumberg and Peter M{\"u}ller and Omer Tripp},
  title =	{{Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)}},
  pages =	{56--71},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Julian Dolby and Orna Grumberg and Peter M{\"u}ller and Omer Tripp},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6720},
  URN =		{urn:nbn:de:0030-drops-67203},
  doi =		{10.4230/DagRep.6.5.56},
  annote =	{Keywords: (automatic) bug repair, concurrency bugs, concurrent programming, deductive verification, interactive verification, linearizability, synchronization}
}

Keywords: (automatic) bug repair, concurrency bugs, concurrent programming, deductive verification, interactive verification, linearizability, synchronization
Freie Schlagwörter (englisch): testing
Collection: Dagstuhl Reports, Volume 6, Issue 5
Issue Date: 2016
Date of publication: 15.11.2016


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