Login / Signup
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.
Kaled M. Alshmrany
Mohannad Aldughaim
Ahmed Bhayat
Lucas C. Cordeiro
Published in:
TAP@STAF (2021)
Keyphrases
</>
security vulnerabilities
intrusion detection
end to end
unsupervised learning
dos attacks
database systems
sensor networks
security properties
unauthorized access