Document is current

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 and in the reproduction package at Zenodo [].

: This project was funded in part by the Deutsche Forschungsgemeinschaft (DFG) – (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