Sign in

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej KapusMartin NowackCristian Cadar
Published in: TAP@FM (2019)
Keyphrases
  • symbolic execution
  • test data generation
  • data sets
  • artificial intelligence
  • static analysis
  • test generation
  • web services
  • training data
  • source code
  • error rate
  • reverse engineering