Towards Search-Based Testing for Event-B Models.

Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Browse the full ICST paper archive.