10 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
John Galea, Sean Heelan, Daniel Neville +1
Symbolic execution has shown its ability to find security-relevant flaws in software, but faces significant scalability challenges. There is a commonly held belief that manual inte…