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