< Back to previous page

Publication

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

Journal Contribution - Journal Article

Journal: IEEE Access

ISSN: 2169-3536

Volume: 10

Pages: 121365 - 121384

Publication year:2022

Institutional Repository URL: https://lirias.kuleuven.be/3977217
DOI: https://doi.org/10.1109/access.2022.3223359
WoS Id: 000890845300001

Accessibility:Open