We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
e2a4745
Featured Transition Systems used in the different evaluations presented in: Behavioural model-based testing of software product lines Devroey, X. (Author). 30 Aug 2017
