Searching for authors named Nina Yevtushenko – sorted by Relevance.
-
Queued Testing of Transition Systems with Inputs and Outputs
- Queued Testing of Transition Systems with Inputs and Outputs Alex Petrenko a and Nina Yevtushenko
- Add To MetaCart
-
On Test Derivation from Partial Specifications
- Petrenko a and Nina Yevtushenko b a CRIM, Centre de recherche informatique de Montréal, 550 Sherbrooke West
- Cited by 1 (0 self) – Add To MetaCart
-
Test Suite Minimization for Embedded Nondeterministic Finite State Machines
- nondeterministic finite state machines Nina Yevtushenko Ana Cavalli Ricardo Anido Relatorio Tecnico IC--99
- Add To MetaCart
-
Fault diagnosis in extended finite state machines
- Fault Diagnosis in Extended Finite State Machines Khaled El-Fakih 1 , Svetlana Prokopenko 2 , Nina
- Cited by 1 (1 self) – Add To MetaCart
-
Test Generation Driven by User-defined Fault models
- ‡ and N. Yevtushenko† † Tomsk State University 36 Lenin St Tomsk, 634050, Russia phone: +7 (3822) 41
- Cited by 3 (1 self) – Add To MetaCart
-
Test Suite Minimization for Testing in Context
- Test suite minimization for testing in context Nina Yevtushenko Tomsk State University 36, Lenin
- Cited by 3 (1 self) – Add To MetaCart
-
FSM Test Translation Through Context
- FSM Test Translation Through Context Khaled El-Fakih 1 , Alexandre Petrenko 2 , and Nina
- Cited by 1 (0 self) – Add To MetaCart
-
Composition Operators in Language Equations
- Composition Operators in Language Equations Nina Yevtushenko ¶ Tiziano Villa §,† Robert K. Brayton
- Add To MetaCart
-
Compositionally progressive solutions of synchronous language equations
- Compositionally Progressive Solutions of Synchronous Language Equations Nina Yevtushenko ¶ Tiziano
- Cited by 2 (2 self) – Add To MetaCart
-
Testing in context: framework and test derivation
- Testing in context: framework and test derivation Alexandre Petrenko, Nina Yevtushenko†, Gregor v
- Cited by 11 (6 self) – Add To MetaCart

