The RERS challenge: towards controllable and scalable benchmark synthesis release_i7rvdpbxnjeyxp2ucd377oml7q

by Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen

Published in International Journal on Software Tools for Technology Transfer (STTT) by Springer Science and Business Media LLC.

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)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2021-06-24
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1433-2779
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 39199086-bde0-4560-8583-378a415c2318
API URL: JSON