FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Browse the full TAP paper archive.