Login / Signup
Program Correctness: Can One Test For It?
Manuel Blum
Prabhakar Raghavan
Published in:
IFIP Congress (1989)
Keyphrases
</>
test cases
test data
test suite
set of test cases
real time
machine learning
mobile robot
computer programs
multiple choice