Symbooglix: A Symbolic Execution Engine for Boogie Programs.

Daniel Liew Cristian Cadar Alastair F. Donaldson

Published in: ICST (2016)

Keyphrases

execution engine
search computing
query language
map reduce
databases
query execution
database
query processing
data mining