Login / Signup
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes.
Sara Baradaran
Mahdi Heidari
Ali Kamali
Maryam Mouzarani
Published in:
Int. J. Inf. Sec. (2023)
Keyphrases
</>
databases
artificial intelligence
relational databases
optimization method