Model Learning and Test Generation for Event-B Decomposition.

Ionut Dinca, Florentin Ipate, Alin Stefanescu

Browse the full ISoLA paper archive.