FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
Attributed to:
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-79379-1_6
Publication URI: http://dx.doi.org/10.1007/978-3-030-79379-1_6
Type: Book Chapter
Book Title: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings (2021)
Page Reference: 85-105
ISSN: 2730-7700