Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet. Model-Based Robustness Testing in Event-B Using Mutation.
SEFM 2015 - 13th International Conference Software Engineering and Formal Methods, Jan 2015, York, United Kingdom. pp.132-147,
⟨10.1007/978-3-319-22969-0_10⟩.
⟨hal-01250594⟩