The Program Dependence Graph in Static Program Testing.

Published in: Inf. Process. Lett. (1987)

Keyphrases

test cases
symbolic execution
dynamic analysis
probabilistic model
static analysis

directed graph
search based software testing
graph representation
graph partitioning
spanning tree

graph model
neural network
connected components
structured data

shortest path
social networks
information retrieval
data mining