Incremental Program Testing Using Program Dependence Graphs.

Samual Bates Susan Horwitz

Published in: POPL (1993)

Keyphrases

test cases
static analysis
program execution
symbolic execution
real time
genetic algorithm
computer programs
databases
machine learning
graph partitioning
search based software testing