The RERS challenge: towards controllable and scalable benchmark synthesis
Howar F, Jasper M, Mues M, Schmidt D, Steffen B (2021)
International Journal on Software Tools for Technology Transfer 23(6): 917-930.
Zeitschriftenaufsatz
| Veröffentlicht | Englisch
Download
s10009-021-00617-z.pdf
506.96 KB
Autor*in
Howar, Falk;
Jasper, Marc;
Mues, Malte;
Schmidt, DavidUniBi 
;
Steffen, Bernhard
;
Steffen, BernhardEinrichtung
Abstract / Bemerkung
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.
Erscheinungsjahr
2021
Zeitschriftentitel
International Journal on Software Tools for Technology Transfer
Band
23
Ausgabe
6
Seite(n)
917-930
Urheberrecht / Lizenzen
ISSN
1433-2779
eISSN
1433-2787
Page URI
https://pub.uni-bielefeld.de/record/2989313
Zitieren
Howar F, Jasper M, Mues M, Schmidt D, Steffen B. The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer. 2021;23(6):917-930.
Howar, F., Jasper, M., Mues, M., Schmidt, D., & Steffen, B. (2021). The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer, 23(6), 917-930. https://doi.org/10.1007/s10009-021-00617-z
Howar, Falk, Jasper, Marc, Mues, Malte, Schmidt, David, and Steffen, Bernhard. 2021. “The RERS challenge: towards controllable and scalable benchmark synthesis”. International Journal on Software Tools for Technology Transfer 23 (6): 917-930.
Howar, F., Jasper, M., Mues, M., Schmidt, D., and Steffen, B. (2021). The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer 23, 917-930.
Howar, F., et al., 2021. The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer, 23(6), p 917-930.
F. Howar, et al., “The RERS challenge: towards controllable and scalable benchmark synthesis”, International Journal on Software Tools for Technology Transfer, vol. 23, 2021, pp. 917-930.
Howar, F., Jasper, M., Mues, M., Schmidt, D., Steffen, B.: The RERS challenge: towards controllable and scalable benchmark synthesis. International Journal on Software Tools for Technology Transfer. 23, 917-930 (2021).
Howar, Falk, Jasper, Marc, Mues, Malte, Schmidt, David, and Steffen, Bernhard. “The RERS challenge: towards controllable and scalable benchmark synthesis”. International Journal on Software Tools for Technology Transfer 23.6 (2021): 917-930.
Alle Dateien verfügbar unter der/den folgenden Lizenz(en):
Creative Commons Namensnennung 4.0 International Public License (CC-BY 4.0):
Volltext(e)
Name
s10009-021-00617-z.pdf
506.96 KB
Access Level
Open Access
Zuletzt Hochgeladen
2024-05-13T05:56:58Z
MD5 Prüfsumme
86afdbe5c83d4ceb72e9c580d288743f
Google Scholar