BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
test (5)
approach (4)
model (4)
feasibl (3)
generat (3)

Stem efsm$ (all stems)

11 papers:

SEKESEKE-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.
ICSMEICSM-2009-AndroutsopoulosGHLT #dependence #empirical
A theoretical and empirical study of EFSM dependence (KA, NG, MH, ZL, LT), pp. 287–296.
ICSTICST-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.
FATESTestCom-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.
FATESTestCom-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.
FATESTestCom-FATES-2007-UralX #approach #detection #fault
An EFSM-Based Passive Fault Detection Approach (HU, ZX), pp. 335–350.
FATESFATES-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.
DACDAC-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.
ICTSSTestCom-2000-DualeU #generative #modelling #sequence #testing
Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.
CAVCAV-1998-ShipleKR #comparison #reachability
A Comparison of Presburger Engines for EFSM Reachability (TRS, JHK, RKR), pp. 280–292.
TACASTACAS-1996-NajmO
Reactive EFSMs — Reactive Promela/RSPIN (EN, FO), pp. 349–368.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.