Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Yevtushenko, Nina
100  Ergebnisse:
Personensuche X
?
1

Testing and incremental conformance testing of timed state ..:

Tvardovskii, Aleksandr ; El-Fakih, Khaled ; Yevtushenko, Nina
Science of Computer Programming.  233 (2024)  - p. 103053 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Probabilistic Approach for Minimizing Checking Sequences fo..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge - p. 237-243 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Test Derivation against Timed Finite State Machines with Ou..:

, In: 2023 International Russian Automation Conference (RusAutoCon),
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 255-260 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Using Machine Learning Techniques for Assessing Media Text ..:

, In: 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM),
Laputenko, Andrey ; Evtushenko, Tatiana ; Klochkova, Elena. - p. 1820-1824 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Homing Sequence Derivation With Quantified Boolean Satisfia..:

Tu, Kuan-Hua ; Wang, Hung-En ; Jiang, Jie-Hong R...
IEEE Transactions on Computers.  71 (2022)  3 - p. 696-711 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Deriving FSM-based tests using $a,b-\text{faults}$ for Logi..:

, In: 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI),
Laputenko, Andrey ; Yevtushenko, Nina ; Andreeva, Valentina. - p. 80-85 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Deriving homing sequences for Finite State Machines with ti..:

Tvardovskii, Aleksandr ; Yevtushenko, Nina
The Computer Journal.  66 (2022)  9 - p. 2181-2190 , 2022
Link: https://doi.org/10.1093/..
 
?
8

Using Homing Traces for Simplifying Passive Testing of Disc..:

, In: 2022 International Russian Automation Conference (RusAutoCon),
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 86-91 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Testing Against Non-deterministic FSMs: A Probabilistic App..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge - p. 55-61 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Adaptive Experiments for State Identification in Finite Sta..:

, In: Lecture Notes in Computer Science; Machines, Computations, and Universality,
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 172-188 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Evaluating the complexity of deriving adaptive $$S'$$-homin..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
Software Quality Journal.  30 (2021)  1 - p. 161-180 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Equivalence checking and intersection of deterministic time..:

Bresolin, Davide ; El-Fakih, Khaled ; Villa, Tiziano.
Formal Methods in System Design.  59 (2021)  1-3 - p. 77-102 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Using an SMT Solver for Checking the Completeness of FSM-Ba..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Vinarskii, Evgenii ; Laputenko, Andrey ; Yevtushenko, Nina - p. 289-295 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Implementing a Virtual Network on the SDN Data Plane:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Burdonov, Igor ; Yevtushenko, Nina ; Kossachev, Alexandr - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
15

Optimizing Components of Multi-Module Systems Based on don'..:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Shirokova, Ekaterina ; Evtushenko, Larisa ; Laputenko, Andrey. - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
1-15