BibSLEIGH — Nina

Travelled to:

1 × Estonia
1 × Norway
1 × Russia
1 × Spain
1 × Sweden
1 × The Netherlands
1 × Turkey
2 × Canada
2 × USA
2 × United Kingdom
4 × France
4 × Germany

Collaborated with:

K.El-Fakih A.Petrenko N.Kushik A.R.Cavalli S.Prokopenko A.d.S.Simão G.v.Bochmann R.K.Brayton T.Villa T.Salameh H.Fouchal N.Shabaldina J.Huo I.Koufareva R.Anido L.A.P.L.Jr. A.Kolomeez R.Dorofeeva V.Trenkaev N.Spitsyna A.Lebedev A.Das A.Mishchenko J.R.Jiang A.L.Sangiovanni-Vincentelli

Talks about:

test (18) state (12) machin (11) nondeterminist (10) finit (10) fsm (7) fault (6) base (5) suit (4) home (4)

Person: Nina Yevtushenko

DBLP: Yevtushenko:Nina

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

2003

2002

2000

1999

1998

1993

Wrote 27 papers:

CIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine: Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
ICTSS-2014-El-FakihSY #assessment #automaton #on the #test coverage #testing: On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
CIAA-2013-KushikY #finite #nondeterminism #on the #sequence #state machine: On the Length of Homing Sequences for Nondeterministic Finite State Machines (NK, NY), pp. 220–231.
ICTSS-2013-KushikEY #adaptation #finite #nondeterminism #state machine: Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 33–48.
ICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine: Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
CIAA-2011-KushikEY #adaptation #finite #nondeterminism #state machine: Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 215–224.
ICTSS-2011-PetrenkoY #adaptation #implementation #nondeterminism #testing: Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.
TestCom-FATES-2009-El-FakihYF #fault #finite #state machine #testing: Testing Timed Finite State Machines with Guaranteed Fault Coverage (KEF, NY, HF), pp. 66–80.
TestCom-FATES-2009-SimaoPY #generative #testing: Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
CIAA-2008-El-FakihY #automaton #equation: Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.
ICST-2008-El-FakihKPY #fault #finite #state machine: Extended Finite State Machine Based Test Derivation Driven by User Defined Faults (KEF, AK, SP, NY), pp. 308–317.
TestCom-FATES-2007-ShabaldinaEY #finite #nondeterminism #state machine #testing: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation (NS, KEF, NY), pp. 305–318.
TestCom-2006-El-FakihPY #automaton: FSM Test Translation Through Context (KEF, AP, NY), pp. 245–258.
DATE-2005-MishchenkoBJVY #equation #performance #using: Efficient Solution of Language Equations Using Partitioned Representations (AM, RKB, JHRJ, TV, NY), pp. 418–423.
FATES-2005-PetrenkoY #automaton #consistency #nondeterminism #testing: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.
SEFM-2005-DorofeevaYEC #evaluation #testing: Experimental Evaluation of FSM-Based Testing Methods (RD, NY, KEF, ARC), pp. 23–32.
TestCom-2004-El-FakihTSY #automaton #multi #testing: FSM Based Interoperability Testing Methods for Multi Stimuli Model (KEF, VT, NS, NY), pp. 60–75.
DATE-2003-YevtushenkoVBPS #equation: Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations (NY, TV, RKB, AP, ALSV), pp. 11154–11155.
TestCom-2003-El-FakihPYB #fault #finite #state machine: Fault Diagnosis in Extended Finite State Machines (KEF, SP, NY, GvB), pp. 197–210.
TestCom-2003-PetrenkoYH #testing: Testing Transition Systems with Input and Output Testers (AP, NY, JH), pp. 129–145.
TestCom-2002-CavalliPY #communication #component #detection #fault: Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.
TestCom-2002-El-FakihYB: FSM-based Re-Testing Methods (KEF, NY, GvB), pp. 373–390.
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–?.
IWTCS-1999-KoufarevaPY #fault #generative #modelling #testing: Test Generation Driven by User-defined Fault Models (IK, AP, NY), pp. 215–236.
IWTCS-1999-YevtushenkoCA #embedded #finite #nondeterminism #state machine #testing: Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
IWTCS-1998-YevtushenkoCL #testing: Test Suite Minimization for Testing in Context (NY, ARC, LAPLJ), pp. 127–146.
IWPTS-1993-PetrenkoYLD #consistency #nondeterminism #protocol #state machine #testing: Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.