Login / Signup
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
Elie Richa
Etienne Borde
Laurent Pautet
Matteo Bordin
José F. Ruiz
Published in:
AMT@MoDELS (2014)
Keyphrases
</>
probabilistic model
graph transformation
test data
theoretical analysis
high level
computer vision
formal model
database
decision making
computational model
web services
objective function
cost function
management system
higher order
social networks
experimental data
neural network