SEET is a tool for symbolic execution of ETL transformations. The tool is implemented as an Eclipse plugin.
Please see the INSTALL.md file in this directory.
If you are not willing to install, the ready to be used RCP distribution (.zip) of SEET is available at SEET RCP.
Right click on an .etl file and select "SEET" from a pop-up menu.
The wiki provides technical documentation:
A demo of the tool: SEET Screencast
The following is the paper describing the technical details of SEET:
SEET: Symbolic Execution of ETL Transformations. Banafsheh Azizi, Bahman Zamani, Shekoufeh Kolahdouz-Rahimi. Journal of Systems and Software, 2020