Login / Signup
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
Fatimah K. Aljaafari
Rafael Menezes
Edoardo Manino
Fedor Shmarov
Mustafa A. Mustafa
Lucas C. Cordeiro
Published in:
IEEE Access (2022)
Keyphrases
</>
concurrent programs
software development
software systems
source code
computer systems
concurrent programming
software architecture
information security
security vulnerabilities
real time
databases
artificial intelligence
expert systems
development process
formal methods
security risks