Towards an automation of the mutation analysis dedicated to model transformation.
Vincent AranegaJean-Marie MottuAnne EtienThomas DegueuleBenoit BaudryJean-Luc DekeyserPublished in: Softw. Test. Verification Reliab. (2015)
Keyphrases
- computational model
- evolutionary algorithm
- conceptual model
- database
- neural network
- empirical data
- probabilistic model
- management system
- parameter estimation
- mathematical model
- experimental data
- transformation rules
- autoregressive
- prediction model
- formal model
- theoretical framework
- statistical analysis
- data analysis
- search engine
- genetic algorithm
- data sets