Principles for Testing Polynomial Zerofinding Programs.

Michael A. Jenkins Joseph F. Traub

Published in: ACM Trans. Math. Softw. (1975)

Keyphrases

symbolic execution
computer programs
artificial intelligence
test cases
automatic programming
test set
information systems
learning environment
answer sets