Beyer, Dirk http://orcid.org/0000-0003-4832-7662
Lingsch Rosenfeld, Marian http://orcid.org/0000-0002-8172-3184
Spiessl, Martin http://orcid.org/0000-0002-9169-9130
Chapter History
First Online: 1 October 2022
Data-Availability Statement
: The software and programs that we used for our experiments, including the generated programs with abstracted loops, are open source and available on our supplementary web page at ExternalRef removed and in the reproduction package at Zenodo [CitationRef removed].
: This project was funded in part by the Deutsche Forschungsgemeinschaft (DFG) – ExternalRef removed (ConVeY).
Conference Information
Conference Acronym: SEFM
Conference Name: International Conference on Software Engineering and Formal Methods
Conference City: Berlin
Conference Country: Germany
Conference Year: 2022
Conference Start Date: 26 September 2022
Conference End Date: 30 September 2022
Conference Number: 20
Conference ID: sefm2022
Conference URL: https://sefm-conference.github.io/2022/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 39
Number of Full Papers Accepted: 19
Number of Short Papers Accepted: 9
Acceptance Rate of Full Papers: 49% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.
Average Number of Reviews per Paper: 3
Average Number of Papers per Reviewer: 2
External Reviewers Involved: Yes