Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving.

Jess Snchez Cuadrado, Esther Guerra, Juan de Lara

Browse the full ISSRE paper archive.