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