1 citations · 1 across the 1 of their papers we have counts for
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…