Interprocedural Control Flow Reconstruction.

Andrea Flexeder Bogdan Mihaila Michael Petter Helmut Seidl

Published in: APLAS (2010)

Keyphrases

control flow
data flow
process model
software testing
databases
three dimensional
image reconstruction
transition systems
business process models
reactive systems
modeling language
formal semantics
first order logic
high resolution
memory hierarchy
information technology
artificial intelligence