Research output per year
Research output per year
Search results
-
2021
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Alshmrany, K., Menezes, R., Gadelha, M. R. & Cordeiro, L., 2021.Research output: Contribution to conference › Paper › peer-review
-
2020
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory: (Competition Contribution)
Menezes, R., Cordeiro, L., Gadelha, M. R., Monteiro, F. R. & Nicole, D., 2020, p. 525-529. 5 p.Research output: Contribution to conference › Paper › peer-review
-
Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)
Menezes, R., Cordeiro, L., Barreto, R. & Rocha, H., 2020, p. 403-407. 5 p.Research output: Contribution to conference › Paper › peer-review