### 11 papers:

- SEKE-2012-YangCXZZ #approach #multi #optimisation
- A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization (RY, ZC, BX, ZZ, WZ), pp. 470–475.
- ICSM-2009-AndroutsopoulosGHLT #dependence #empirical
- A theoretical and empirical study of EFSM dependence (KA, NG, MH, ZL, LT), pp. 287–296.
- ICST-2009-KalajiHS #finite #generative #state machine #testing
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.
- TestCom-FATES-2009-SubramaniamXGP #approach #proving #testing #theorem proving #using
- An Approach for Test Selection for EFSMs Using a Theorem Prover (MS, LX, BG, ZP), pp. 146–162.
- TestCom-FATES-2007-BenharrefDSEG #approach #testing #web #web service
- New Approach for EFSM-Based Passive Testing of Web Services (AB, RD, MAS, AEN, RHG), pp. 13–27.
- TestCom-FATES-2007-UralX #approach #detection #fault
- An EFSM-Based Passive Fault Detection Approach (HU, ZX), pp. 335–350.
- FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #refinement #testing #using
- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.
- DAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol
- Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.
- TestCom-2000-DualeU #generative #modelling #sequence #testing
- Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.
- CAV-1998-ShipleKR #comparison #reachability
- A Comparison of Presburger Engines for EFSM Reachability (TRS, JHK, RKR), pp. 280–292.
- TACAS-1996-NajmO
- Reactive EFSMs — Reactive Promela/RSPIN (EN, FO), pp. 349–368.