( en | de | ru )

 

Disambiguation of "Yevtushenko, Nina"

Author of the publication

copydeleteadd this publication to your clipboard
Test Suite Minimization for Embedded Nondeterministic Finite State Machines.

, , and . IWTCS, volume 147 of IFIP Conference Proceedings, page 237-250. Kluwer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Oleksandra Yevtushenko

Serhiy Yevtushenko

Anup Sam Ninan

Fernando Nina

Nina Heekerens

Untersuchungen zur Pododermatitis bei Kaninchen und Meerschweinchen. TierH Hannover, (2009)
 

Other publications of authors with the same name

Novel machine learning technique for predicting teaching strategy effectiveness., , and . Int. J. Inf. Manag., (2020)Testing in context: framework and test derivation., , , and . Comput. Commun., 19 (14): 1236-1249 (1996)On adaptive experiments for nondeterministic finite state machines., , , and . Int. J. Softw. Tools Technol. Transf., 18 (3): 251-264 (2016)Deriving Synchronizing and Homing Sequences for Input/Output Automata., , , and . Autom. Control. Comput. Sci., 52 (7): 589-595 (2018)Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines., and . Autom. Control. Comput. Sci., 51 (7): 516-522 (2017)Guest Editorial: Special issue on Testing Software and Systems., , and . Softw. Qual. J., 27 (2): 497-499 (2019)Discussion on Supervisory Control by Solving Automata Equation, , and . CoRR, (2009)Deriving FSM-based tests using $a, b-faults$ for Logic Circuits., , , and . ISVLSI, page 80-85. IEEE, (2022)A Model Checking Based Approach for Detecting SDN Races., , , , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 194-211. Springer, (2019)Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation., , and . Formal Aspects Comput., 30 (2): 319-332 (2018)