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

Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet

Browse the full SEFM paper archive.