Towards Search-Based Testing for Event-B Models.

Alin Stefanescu Florentin Ipate Raluca Lefticaru Cristina Tudose

Published in: ICST Workshops (2011)

Keyphrases

neural network
search based testing
event detection
news articles