activity
20172024
most citedCounterexample-Guided k-Induction Verification for Fast Bug Detection

2 citations · 4 across the 8 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2020★ 1 cited

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs

Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha +1

We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find secu…