4 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
FuSeBMC is a test generator for finding security vulnerabilities in C programs. In earlier work [4], we described a previous version that incrementally injected labels to guide Bou…