Crossmark

C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs

Crossref DOI link: https://doi.org/10.1007/978-3-030-84629-9_6

Published Online: 2021-08-03

Published Print: 2021

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Chenoy, Antoine

Duchene, Fabien

Given-Wilson, Thomas

Legay, Axel
License Information

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01
More Information

Chapter History

First Online: 3 August 2021

Conference Information

Conference Acronym: SPIN

Conference Name: International Symposium on Model Checking Software

Conference Year: 2021

Conference Start Date: 12 July 2021

Conference End Date: 12 July 2021

Conference Number: 27

Conference ID: spin2021

Conference URL: https://conf.researchr.org/home/ecoop-issta-2021/spin-2021

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 20

Number of Full Papers Accepted: 8

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 40% - 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

Additional Info on Review Process: 2 invited papers are also included.