Login / Signup

KLEEF: Symbolic Execution Engine (Competition Contribution).

Aleksandr MisonizhnikSergey MorozovYurii KostyukovVladislav KaluginAleksei BabushkinDmitry MordvinovDmitry Ivanov
Published in: FASE (2024)
Keyphrases
  • execution engine
  • query processing
  • search computing
  • query execution
  • query language
  • map reduce
  • database
  • data mining
  • cloud computing
  • multi disciplinary