Symbolic execution-driven extraction of the parallel execution plans of Spark applications.

Luciano Baresi Giovanni Denaro Giovanni Quattrocchi

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

symbolic execution
execution plan
static analysis
rewrite rules
query optimization
test generation
test data generation
cost model
source code
specification language
data flow
relational queries
query optimizer
test cases
data sets
database
general purpose
query execution
efficient query processing
training set