C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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