Ivan Yakimov
Ivan Yakimov
Verified email at sfu-kras.ru
Title
Cited by
Cited by
Year
Test readability optimization in context of symbolic execution
IA Yakimov, AS Kuznetsov
Proceedings of the Institute for System Programming of the RAS 28 (5), 227-238, 2016
12016
Statistical model checking for blockchain-based applications
DB Maksimov, IA Yakimov, AS Kuznetsov
IOP Conference Series: Materials Science and Engineering 734 (1), 012152, 2020
2020
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
2019
Optimizing the readability of tests generated by symbolic execution
IA Yakimov, AS Kuznetsov, AM Skripachev
Сибирский журнал науки и технологий 20 (1), 2019
2019
Searching for missing library function calls using machine learning
IA Yakimov, AS Kuznetsov
Proceedings of the Institute for System Programming of the RAS 29 (6), 117-134, 2017
2017
Siberian Journal of Science and Technology ISSN 2587-6066
RA Sabirov
Siberian Journal of Science and Technology ISSN 2587-6066
МЕ Baranov, LА Gerasimova, VE Gerasimova, SV Khizhnyak
The system can't perform the operation now. Try again later.
Articles 1–7