Login / Signup

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE.

Xiaoyin WangLingming ZhangPhilip Tanofsky
Published in: ISSTA (2015)
Keyphrases
  • symbolic execution
  • test generation
  • search algorithm
  • test data generation