Model-Based Robustness Testing in Event-B Using Mutation.

Aymerick Savary Marc Frappier Michael Leuschel Jean-Louis Lanet

Published in: SEFM (2015)

Keyphrases

genetic algorithm
event detection
evolutionary algorithm
differential evolution
event recognition
event driven
information systems
test cases
neural network
news articles
data driven
genetic algorithm ga
test data
multi objective
case study
mutation operator
artificial intelligence
real time
complex events