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