Fedor Shmarov – Research output — Research Explorer The University of Manchester

If you made any changes in Pure these will be visible here soon.

2 Conference contribution
1 Article

1 results

Filter

2022
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Aljaafari, F., Menezes, R., Manino, E., Shmarov, F., Mustafa, M. A. & Cordeiro, L., 18 Nov 2022, In: IEEE Access. 10, p. 121365 - 121384
Research output: Contribution to journal › Article › peer-review

Open Access