SEET: Symbolic Execution of ETL Transformations. - Banafsheh Azizi; Bahman Zamani; Shekoufeh Kolahdouz Rahimi (J. Syst. Softw., 2020)