On the Use of Transcendentals for Program Testing.

John H. Rowland Philip J. Davis

Published in: J. ACM (1981)

Keyphrases

test cases
symbolic execution
concurrent programs
search based software testing
software testing
case study
test data
database systems
training set
artificial neural networks
software development
website
computer programs
dynamic analysis
image processing
social networks
set of test cases
data sets