In this case, existing EFSM-based methods for distinguishing configurations cannot be applied when finite or infinite sets of configurations are described symbolically.
Section 3 contains the abstraction function with related propositions and Section 4 includes an algorithm for distinguishing configurations of an EFSM.
Many EFSM based testing problems, such as mutation testing, fault diagnosis, and test derivation involve the derivation of input sequences that distinguish configurations of a given EFSM specification.
Even a simple distinction between finite, unbounded or infinite mission time might help distinguishing configurations in terms of the dependability enhancement they provide.
However, most of the previously reported S-doped graphene materials present diverse types of S-bonding configurations, it is hard to distinguish which configuration is mainly responsible for the catalytic activity.
The work can also be applied to distinguishing one configuration of a deterministic EFSM from a set of suspicious configurations of a possibly non-deterministic EFSM.
We can distinguish between configuration at the cloud level such as choice of an appropriate instance type, assignment of virtual storage volumes and configuration within the instance itself such as configuration of the operating system, deployment of dependencies such as libraries or creation of user accounts.
35 This antibody clearly distinguishes the configuration of the aspartic residue; it reacts strongly with d-β-aspartic acid-containing peptides but does not react with l-α-aspartic acid-, l-β-aspartic acid-, or d-α-aspartic acid-containing peptides.
More precisely, in (Petrenko et al. 2004), a method is given for computing so-called configuration identification sequences that can distinguish two configurations of a given EFSM.
However, a thorough investigation of adapting the presented work to non-deterministic EFSMs would be interesting and to the best of our knowledge no work has been done on distinguishing configurations of non-deterministic EFSMs.
