Login / Signup

Program reduction using symbolic execution.

James C. King
Published in: ACM SIGSOFT Softw. Eng. Notes (1981)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • test data generation
  • specification language
  • source code
  • data flow
  • open source
  • test cases
  • neural network
  • web services
  • orders of magnitude