Crossmark

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

Crossref DOI link: https://doi.org/10.1007/978-3-030-79379-1_6

Published Online: 2021-06-18

Published Print: 2021

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

Authors

Alshmrany, Kaled M. https://orcid.org/0000-0002-5822-5435
Aldughaim, Mohannad https://orcid.org/0000-0003-1708-1399
Bhayat, Ahmed https://orcid.org/0000-0002-1343-5084
Cordeiro, Lucas C. https://orcid.org/0000-0002-6235-4272
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: 18 June 2021

Conference Information

Conference Acronym: TAP

Conference Name: International Conference on Tests and Proofs

Conference Year: 2021

Conference Start Date: 21 June 2021

Conference End Date: 22 June 2021

Conference Number: 15

Conference ID: tap2021

Conference URL: https://www.univ-orleans.fr/lifo/events/TAP2021/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 10

Number of Full Papers Accepted: 6

Number of Short Papers Accepted: 0

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

External Reviewers Involved: Yes