kaled-alshmrany / FuSeBMC

FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

kaled-alshmrany/FuSeBMC Stargazers