Login / Signup

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

David W. CurrieXiushan FengMasahiro FujitaAlan J. HuMark KwanSreeranga P. Rajan
Published in: Int. J. Parallel Program. (2006)
Keyphrases
  • symbolic execution
  • static analysis
  • specification language
  • test generation
  • test data generation
  • source code
  • neural network
  • case study
  • query processing
  • knowledge management
  • convergence speed
  • data flow