Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs.

Pedro de Carvalho Gomes Attilio Picoco Dilian Gurov

Published in: FASE (2014)

Keyphrases

control flow
java bytecode
data flow
process model
software testing
programming language
workflow management systems
information systems
virtual machine
general purpose
object oriented