Login / Signup

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding.

Qiuping YiYifan YuGuowei Yang
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • symbolic execution
  • databases
  • database
  • real world
  • high level
  • search algorithm
  • data model
  • domain independent
  • test generation
  • test data generation