A Recursion Theoretic Approach to Program Testing.

John C. Cherniavsky Carl H. Smith

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

Keyphrases

test cases
symbolic execution
computer programs
search based software testing
complex objects
concurrent programs
test data
test suite
online learning
programming language
statistical tests
training data
programming environment
java programs
testing process
control program
learning algorithm
databases