Symbolic Execution of ETL Transformations (SEET) is an approach for detecting logical errors in transformations written in Epsilon Transformation Language (ETL). The approach is based on symbolic execution and uses constraint solver to assert whether a path condition is satisfiable. Assuming the path condition is satisfiable, it generates a test model along with the Symbolic Metamodel Footprint (SMF) which can be used to detect errors. The approach is supported by an Eclipse plugin called SEET.
See the tutorial video of this tool here.
See more details 👇👇👇