SEET: Symbolic Execution of ETL Transformations.

Banafsheh Azizi Bahman Zamani Shekoufeh Kolahdouz Rahimi

Published in: J. Syst. Softw. (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
business intelligence
data flow
data warehouse
data integration
conceptual model
test cases
decision trees
orders of magnitude
simulated annealing algorithm
building blocks
database systems