GSoC 2021
Using Lightweight Specifications with Fuzzing and Symbolic Execution to Reveal Security and Semantic Bugs
Project details
Contributor
Amirfarhad Nilizadeh
Mentors
Corina Pasareanu, Yannic Noller, Pavel Parízek
Technologies
Not listed in the archive