The RERS challenge: towards controllable and scalable benchmark synthesis
release_i7rvdpbxnjeyxp2ucd377oml7q
by
Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
2021
Abstract
<jats:title>Abstract</jats:title>This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems, its profile and intentions, its relation to other competitions, and, in particular, its evolution due to the feedback of participants, and (2) presents the most recent development concerning the synthesis of hard benchmark problems. In particular, the second part proposes a way to tailor benchmarks according to the depths to which programs have to be investigated in order to find all errors. This gives benchmark designers a method to challenge contributors that try to perform well by excessive guessing.
In application/xml+jats
format
Archived Files and Locations
application/pdf 520.3 kB
file_ejwukont3rf3nhukyjj6fjhzhe
|
link.springer.com (publisher) web.archive.org (webarchive) |
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar