Sign in

Accelerating array constraints in symbolic execution.

David Mitchel PerryAndrea MattavelliXiangyu ZhangCristian Cadar
Published in: ISSTA (2017)
Keyphrases
  • symbolic execution
  • test data generation
  • static analysis
  • specification language
  • test generation
  • databases
  • source code
  • artificial intelligence
  • case study
  • search algorithm
  • programming language