Searching for "Confirming configurations in EFSM." – sorted by Relevance.
-
Confirming configurations in EFSM
- Confirming configurations in EFSM A. PETRENKO 1 , S. BORODAY 1 , and R. GROZ 2 1 - CRIM, Centre de
- Cited by 7 (3 self) – Add To MetaCart
-
Confirming Configurations in EFSM Testing
- for determining configuration-confirming sequences based on projections and products of EFSMs. The operation
- Cited by 7 (1 self) – Add To MetaCart
-
Generating Executable Tests for Timed and Untimed EFSM Models
- executability analysis (TEA) [12], and confirming configurations in the EFSM model [23]. Ural et al. [28, 29
- Add To MetaCart

