Parallelizing user-defined aggregations using symbolic execution.

Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

Published in: SOSP (2015)

Keyphrases

user defined
symbolic execution
static analysis
test generation
test data generation
specification language
source code
data types
data flow
query language
data warehouse
test cases
preprocessing
data model
programming language
pattern matching