Notice
This item has not yet been validated by imec staff.
Notice
This is not the latest version of this item. The latest version can be found at: https://imec-publications.be/handle/20.500.12860/40863.2
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 | 2022-12-11T03:11:09Z | |
dc.date.available | 2022-12-11T03:11:09Z | |
dc.date.issued | 2022 | |
dc.identifier.issn | 2169-3536 | |
dc.identifier.other | WOS:000890845300001 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/40863 | |
dc.source | WOS | |
dc.title | Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs | |
dc.type | Journal article | |
dc.identifier.doi | 10.1109/ACCESS.2022.3223359 | |
dc.source.numberofpages | 20 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 121365 | |
dc.source.endpage | 121384 | |
dc.source.journal | IEEE ACCESS | |
dc.source.volume | 10 | |
imec.availability | Under review |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |