Towards the Automation of Metamorphic Testing in Model Transformations.

Javier Troya Sergio Segura Antonio Ruiz Cortés

Published in: CoRR (2018)

Keyphrases

computational model
high level
experimental data
probabilistic model
mathematical model
prior knowledge
artificial intelligence
neural network model
em algorithm
theoretical framework
management system
formal model
test cases
database
objective function
reinforcement learning
genetic algorithm