Publication:
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
| dc.contributor.author | Aljaafari, Fatimah K. | |
| dc.contributor.author | Menezes, Rafael | |
| dc.contributor.author | Manino, Edoardo | |
| dc.contributor.author | Shmarov, Fedor | |
| dc.contributor.author | Mustafa, Mustafa A. | |
| dc.contributor.author | Cordeiro, Lucas C. | |
| dc.date.accessioned | 2023-04-26T09:57:17Z | |
| dc.date.available | 2022-12-11T03:11:09Z | |
| dc.date.available | 2023-04-26T09:57:17Z | |
| dc.date.embargo | 2022-11-30 | |
| dc.date.issued | 2022 | |
| dc.description.wosFundingText | This work was supported in part by the Engineering and Physical Sciences Research Council (EPSRC) under Grant EP/T026995/1, Grant EP/V000497/1, and Grant EU H2020 ELEGANT 957286; and in part by the Soteria Project Awarded by the U.K. Research and Innovation for the Digital Security by Design (DSbD) Programme. The work of Mustafa A. Mustafa was supported by the Dame Kathleen Ollerenshaw Fellowship of The University of Manchester. | |
| dc.identifier.doi | 10.1109/ACCESS.2022.3223359 | |
| dc.identifier.issn | 2169-3536 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/40863 | |
| dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | |
| dc.source.beginpage | 121365 | |
| dc.source.endpage | 121384 | |
| dc.source.issue | 1 | |
| dc.source.journal | IEEE ACCESS | |
| dc.source.numberofpages | 20 | |
| dc.source.volume | 10 | |
| dc.subject.keywords | BOUNDED MODEL CHECKING | |
| dc.title | Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs | |
| dc.type | Journal article | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |