Applications of symbolic evaluation

This publication has 29 references indexed in Scilit:

• Sensitive test data for logic expressions
  ACM SIGSOFT Software Engineering Notes, 1984
• On the Use of Transcendentals for Program Testing
  Journal of the ACM, 1981
• An evaluation of the effectiveness of symbolic testing
  Software: Practice and Experience, 1978
• A probabilistic remark on algebraic program testing
  Information Processing Letters, 1978
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• An Introduction to Proving the Correctness of Programs
  ACM Computing Surveys, 1976
• Symbolic execution and program testing
  Communications of the ACM, 1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975
• Hilbert's Tenth Problem is Unsolvable
  The American Mathematical Monthly, 1973
• Proof of a program
  Communications of the ACM, 1971