Beyer, Dirk http://orcid.org/0000-0003-4832-7662
Strejček, Jan http://orcid.org/0000-0001-5873-403X
Chapter History
First Online: 2 December 2022
Data-Availability Statement
: Our experiments are based on publicly available data sets from SV-COMP 2022, where a large number of verification tasks [CitationRef removed] was executed and a large number of verification witnesses [CitationRef removed] was produced. The witness format is maintained in a GitHub repository: ExternalRef removed. Our experimental results are available on a supplementary web page (ExternalRef removed) as tables produced by <scp>BenchExec</scp> [CitationRef removed] (also linked to from Tables InternalRef removed and InternalRef removed). The log output is available by clicking on the status of a result in the tables. All experimental results (raw data, tables) and scripts are available in our reproduction package [CitationRef removed].
Conference Information
Conference Acronym: SAS
Conference Name: International Static Analysis Symposium
Conference City: Auckland
Conference Country: New Zealand
Conference Year: 2022
Conference Start Date: 5 December 2022
Conference End Date: 7 December 2022
Conference Number: 29
Conference ID: sas2022
Conference URL: http://www.staticanalysis.org/
Peer Review Information (provided by the conference organizers)
Type: Double-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 43
Number of Full Papers Accepted: 18
Number of Short Papers Accepted: 0
Acceptance Rate of Full Papers: 42% - 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.2
Average Number of Papers per Reviewer: 6.1
External Reviewers Involved: Yes