A Functional Approach to Program Testing and Analysis.

William E. Howden

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

Keyphrases

static analysis
test cases
database
real time
symbolic execution
feature selection
website
decision trees
three dimensional
evolutionary algorithm
multiresolution