Toggle navigation
My submissions
Login
Toggle navigation
View item
imec Publications Repository
imec Publications
Articles
View item
imec Publications Repository
imec Publications
Articles
View item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
View/
open
Published version (1.980Mb)
Metadata
Show full item record
Authors
Aljaafari, Fatimah K.
;
Menezes, Rafael
;
Manino, Edoardo
;
Shmarov, Fedor
;
Mustafa, Mustafa A.
;
Cordeiro, Lucas C.
DOI
10.1109/ACCESS.2022.3223359
ISSN
2169-3536
Issue
1
Journal
IEEE ACCESS
Volume
10
Title
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Publication type
Journal article
Embargo date
2022-11-30
Collections
Articles
Version history
Version
Item
Date
Summary
2
20.500.12860/40863.2
*
2023-04-26T09:55:14Z
validation by library/open access desk
1
20.500.12860/40863
2022-12-11T03:11:09Z
*Selected version
Search imec Publications Repository
This collection
Browse
All of imec Publications Repository
Collections
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
This collection
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
My account
login