SmacC: A Retargetable Symbolic Execution Engine.

Armin Biere Jens Knoop Laura Kovács Jakob Zwirchmayr

Published in: ATVA (2013)

Keyphrases

execution engine
search computing
query execution
query processing
map reduce
distributed query processing
query language
response time
multi domain
database
data mining
case study
general purpose
multi dimensional
cost model