Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman. Sound Control-Flow Graph Extraction for Java Programs with Exceptions. In George Eleftherakis, Mike Hinchey, Mike Holcombe, editors, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Volume 7504 of Lecture Notes in Computer Science, pages 33-47, Springer, 2012. [doi]

Authors

Afshin Amighi

This author has not been identified. Look up 'Afshin Amighi' in Google

Pedro de Carvalho Gomes

This author has not been identified. Look up 'Pedro de Carvalho Gomes' in Google

Dilian Gurov

This author has not been identified. Look up 'Dilian Gurov' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google