Login / Signup

Formal Program Verification Using Symbolic Execution.

Roger B. DannenbergGeorge W. Ernst
Published in: IEEE Trans. Software Eng. (1982)
Keyphrases
  • symbolic execution
  • test data generation
  • specification language
  • static analysis
  • test generation
  • formal specification
  • source code
  • pattern matching
  • data sets
  • neural network
  • test cases
  • orders of magnitude