Sign in

Multi-solver Support in Symbolic Execution.

Hristina PalikarevaCristian Cadar
Published in: CAV (2013)
Keyphrases
  • symbolic execution
  • neural network
  • knowledge management
  • databases
  • case study
  • general purpose
  • monitoring system
  • static analysis