Program Graphs and Execution Behavior.

R. R. Oldehoeft

Published in: IEEE Trans. Software Eng. (1983)

Keyphrases

program execution
execution traces
graph matching
human behavior
graph theory
symbolic execution
dynamic analysis
database systems
query processing
query language
graphical models
graph model
data flow
undirected graph
computer programs
control flow