logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
N

Nina Yevtushenko

Institute for System Programming of the Russian Academy of Sciences

24H指数
243论文数
2.3K被引数
收录论文 10
发表时间
logo
Deriving exhaustive test suites for Timed Finite State Machines with output delays为具有输出延迟的时间有限状态机推导穷尽测试用例集
errJournal of Systems and Software
IF4.1
err2026-08-28
err0
PREAI
errEvgenii Vinarskii; Natalia Kushik; Nina Yevtushenko; Djamal Zeghlache
err分享
err收藏
On Using Homing Sequences Instead of Distinguishing in FSM-Based Testing基于有限状态机测试中使用寻迹序列而非区分序列
errTESTING SOFTWARE AND SYSTEMS, ICTSS 2025
IF0
err2026-01-01
err0
PREAI
errKushik, Natalia; Yevtushenko, Nina
err分享
err收藏
Homing Sequence Derivation With Quantified Boolean Satisfiability
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2022-03-01
err0
errOAAI
errTu, Kuan-Hua; Wang, Hung-En; Jiang, Jie-Hong R.; Kushik, Natalia; Yevtushenko, Nina
err分享
err收藏
Novel machine learning technique for predicting teaching strategy effectiveness
errINTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT
IF27
err2020-08-01
err8
errOAAI
errKushik, Natalia; Yevtushenko, Nina; Evtushenko, Tatiana
err分享
err收藏
Source code optimization using equivalent mutants
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2018-11-01
err9
errOAAI
errLopez, Jorge; Kushik, Natalia; Yevtushenko, Nina
err分享
err收藏
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines
errAPPLIED SOFT COMPUTING
IF6.6
err2016-12-01
err4
PREAI
errEl-Fakih, Khaled; Haddad, Abdul Rahim; Aleb, Nassima; Yevtushenko, Nina
err分享
err收藏
Component-Based Design by Solving Language Equations
errPROCEEDINGS OF THE IEEE
IF25.9
err2015-11-01
err10
PREAI
errVilla, Tiziano; Petrenko, Alexandre; Yevtushenko, Nina; Mishchenko, Alan; Brayton, Robert
err分享
err收藏
FSM-based conformance testing methods: A survey annotated with experimental evaluation
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2010-12-01
err108
PREAI
errDorofeeva, Rita; El-Fakih, Khaled; Maag, Stephane; Cavalli, Ana R.; Yevtushenko, Nina
err分享
err收藏
Testing from partial deterministic FSM specifications根据部分确定性FSM规范进行测试
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2005-09-01
err93
PREAI
errPetrenko, A; Yevtushenko, N
err分享
err收藏
FSM-based incremental conformance testing methods
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2004-07-01
err46
PREAI
errEl-Fakih, K; Yevtushenko, N; Von Bochmann, G
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Robert K. Brayton
H 指数: 75 · 论文数: 584
A
Alan Mishchenko
H 指数: 33 · 论文数: 250
A
Alexandre Petrenko
H 指数: 31 · 论文数: 175
D
Djamal Zeghlache
H 指数: 30 · 论文数: 305
T
Tiziano Villa
H 指数: 28 · 论文数: 223
查看更多