Browsing by Author "Aljaafari, Fatimah K."
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
;Aljaafari, Fatimah K. ;Menezes, Rafael ;Manino, Edoardo ;Shmarov, FedorMustafa, Mustafa A.Journal article2022, IEEE ACCESS, (10) 1, p.121365-121384