Publication:

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Date

2022
Journal article
https://doi.org/10.1109/ACCESS.2022.3223359
Simple item page Full metadata Statistics
Loading...
Thumbnail Image

Files

Published version 1.98 MB

Author(s)

Aljaafari, Fatimah K.
;
Menezes, Rafael
;
Manino, Edoardo
;
Shmarov, Fedor
;
Mustafa, Mustafa A.
;
Cordeiro, Lucas C.

Journal

IEEE ACCESS

Abstract

Description

Metrics

Downloads

129 since deposited on 2022-12-11
Acq. date: 2025-10-26

Views

1296 since deposited on 2022-12-11
Acq. date: 2025-10-26

Citations

Metrics

Downloads

129 since deposited on 2022-12-11
Acq. date: 2025-10-26

Views

1296 since deposited on 2022-12-11
Acq. date: 2025-10-26

Citations