Applications of Feasible Path Analysis to Program Testing.

Allen Goldberg Tie-Cheng Wang David Zimmerman

Published in: ISSTA (1994)

Keyphrases

image analysis
real time
artificial intelligence
feature selection
data analysis
source code
shortest path
static analysis
dynamic analysis
program execution
symbolic execution