GitHub repository: jvanrij-uomif/FuSeBMC
Description: FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.