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