220 followers
Model-Based Robustness Testing in Event-B Using Mutation. - Aymerick Savary, Marc Frappier, Michael Leuschel,… http://t.co/KCCo770Rnq
Model-Based Robustness Testing in Event-B Using Mutation. - Aymerick Savary, Marc Frappier, Michael Leuschel,… http://t.co/KCCo770Rnq