Подписаться
Ivan Yakimov
Ivan Yakimov
Siberian Federal University
Подтвержден адрес электронной почты в домене sfu-kras.ru
Название
Процитировано
Процитировано
Год
Statistical model checking for blockchain-based applications
DB Maksimov, IA Yakimov, AS Kuznetsov
IOP Conference Series: Materials Science and Engineering 734 (1), 012152, 2020
52020
Algorithm diversity metric for N-version software
DV Gruzenkin, IA Yakimov, AS Kuznetsov, RY Tsarev, GV Grishina, ...
Journal of Physics: Conference Series 1333 (3), 032086, 2019
32019
Test readability optimization in context of symbolic execution
IA Yakimov, AS Kuznetsov
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2016
12016
Optimizing the readability of tests generated by symbolic execution
IA Yakimov, AS Kuznetsov, AM Skripachev
Сибирский аэрокосмический журнал 20 (1), 35-39, 2019
2019
Searching for missing library function calls using machine learning
IA Yakimov, AS Kuznetsov
ИСП, 131, 2017
2017
ОПТИМИЗАЦИЯ ЧИТАЕМОСТИ ПОРОЖДАЕМЫХ ПРИ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЯХ ТЕСТОВ
IA Yakimov
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–6