Sound Control-Flow Graph Extraction for Java Programs with Exceptions.

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Browse the full SEFM paper archive.