Takip et
Ivan Yakimov
Ivan Yakimov
Siberian Federal University
sfu-kras.ru üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–6