Follow
Ivan Yakimov
Ivan Yakimov
Verified email at sfu-kras.ru
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–6