@Article{dolby_et_al:DagRep.6.5.56,
author = {Dolby, Julian and Grumberg, Orna and M\"{u}ller, Peter and Tripp, Omer},
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 = {Dolby, Julian and Grumberg, Orna and M\"{u}ller, Peter and Tripp, Omer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.56},
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 testing}
}