1 paper
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…