Sign in

Symbooglix: A Symbolic Execution Engine for Boogie Programs.

Daniel LiewCristian CadarAlastair F. Donaldson
Published in: ICST (2016)
Keyphrases
  • execution engine
  • search computing
  • query language
  • map reduce
  • databases
  • query execution
  • database
  • query processing
  • data mining