Improving slice accuracy by compression of data and control flow pathsAharon AbadiRan Ettingeret al.2009ESEC/FSE 2009
Automatically fixing security vulnerabilities in Java codeAharon AbadiRan Ettingeret al.2011SPLASH 2011