A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
2016
Dagstuhl Reports
Preserved Fulltext
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
doi:10.4230/dagrep.6.5.56
dblp:journals/dagstuhl-reports/DolbyGMT16
fatcat:3ou6mdvytrfnfhjf542sbpn6lm