Mutation of Formally Verified SysML Models.

Ludovic Apvrille Bastien Sultan Oana Hotescu Pierre de Saqui-Sannes Sophie Coudert

Published in: MODELSWARD (2023)

Keyphrases

probabilistic model
genetic algorithm
database
data sets
evolutionary algorithm
fitness function
complex systems
statistical models
search algorithm
prior knowledge
machine learning algorithms
statistical model
classification models