17 papers:
ICTSS-2011-PetrenkoY #adaptation #implementation #nondeterminism #testing- Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.
TestCom-FATES-2009-SimaoPY #generative #testing- Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
HIMI-IIE-2007-YoonKPLY #game studies #modelling #using- Game Player Modeling Using D-FSMs (TBY, DMK, KHP, JHL, KHY), pp. 490–499.
DATE-v1-2004-AlmukhaizimDM #bound #concurrent #detection #fault #latency #on the- On Concurrent Error Detection with Bounded Latency in FSMs (SA, PD, YM), pp. 596–603.
- DATE-2003-DrineasM #concurrent #detection #fault #monitoring
- Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees (PD, YM), pp. 11164–11167.
- TestCom-2003-TrenkaevKS #communication #fault #testing
- Interoperability Testing Based on a Fault Model for a System of Communicating FSMs (VT, MK, SS), pp. 226–242.
- TestCom-2002-CavalliPY #communication #component #detection #fault
- Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.
DAC-2000-MacchiaruloM- Wave-steering one-hot encoded FSMs (LM, MMS), pp. 357–360.
- DATE-2000-MacchiaruloSM
- Wave Steered FSMs (LM, SMS, MMS), pp. 270–276.
- TestCom-2000-CavalliPY #communication #detection #fault #power of #testing
- Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs (ARC, SP, NY), p. 35–?.
- DATE-1998-MarculescuMP #estimation #probability
- Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation (DM, RM, MP), pp. 774–779.
- DAC-1995-LiuPD #performance #scalability
- A Fast State Assignment Procedure for Large FSMs (SL, MP, AMD), pp. 327–332.
- DAC-1994-TsuiPD #approximate
- Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs (CYT, MP, AMD), pp. 18–23.
- DAC-1994-VinnakotaA #fault #functional #generative #testing
- Functional Test Generation for FSMs by Fault Extraction (BV, JA), pp. 712–715.
- EDAC-1994-LangevinC #representation
- An Extended OBDD Representation for Extended FSMs (ML, EC), pp. 208–213.
- DAC-1993-Leveugle #fault tolerance
- Optimized State Assignment of single fault Tolerant FSMs Based on SEC Codes (RL), pp. 14–18.
- DAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric
- FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.
