Login / Signup

Finding Round-Off Error Using Symbolic Execution.

Anh-Hoang TruongHuy-Vu TranBao-Ngoc Nguyen
Published in: KSE (1) (2013)
Keyphrases
  • symbolic execution
  • static analysis
  • test data generation
  • error rate
  • test generation
  • data flow
  • specification language
  • relational databases
  • learning algorithm
  • metadata
  • test cases