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

Afshin Amighi Pedro de Carvalho Gomes Dilian Gurov Marieke Huisman

Published in: SEFM (2012)

Keyphrases

control flow
java programs
data flow
software testing
multi threaded
process model
software components
java language
test suite
workflow management systems
real time
decision trees
open source