1 paper · 1 filter
Ala Jararweh, Michael Adams, Avinash Sahu +2
Increasing complexity in software systems places a growing demand on reasoning tools that unlock vulnerabilities manifest in source code. Many current approaches focus on vulnerabi…