Stem mbt$ (all stems)

2 papers:

ESEC-FSE-2013-CostaVCL #generative #modelling #named

RSA-MBT: a test tool for generating test artifacts based on models (ADdC, RV, GRdC, CJPdL), pp. 619–622.

ECMDA-FA-2009-StefanescuWK #approach #modelling #named #testing

MBT4Chor: A Model-Based Testing Approach for Service Choreographies (AS, SW, AK), pp. 313–324.