A Contribution to the Theory of Program Testing.

Published in: Theor. Comput. Sci. (1985)

Keyphrases

test cases
test set
theoretical framework
theoretical basis
general theory
symbolic execution
computational model
data sets
test data
search based software testing
formal theory
software testing
test suite
computational models
multi agent systems
neural network
databases