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

Jesús Sánchez Cuadrado Esther Guerra Juan de Lara

Published in: ISSRE (2014)

Keyphrases

static analysis
high level
error rate
databases
decision trees
contextual information
constraint solving