Якимов Иван Александрович

e-mail: iayakimov [at] sfu-kras [dot] ru
телефон: +7 (391) 291-22-96

Место работы

Образование

  • Сибирский федеральный университет, программное обеспечение вычислительной техники и автоматизированных систем, 2014 г.

Преподаваемые дисциплины

  • Методы тестирования программных систем.

Стаж работы

  • общий — 4 года
  • по специальности — 4 года

Публикации

  1. Statistical model checking for blockchain-based applications [доклад, тезисы доклада, статья из сборника материалов конференций]
    2020, IOP Conference Series: Materials Science and Engineering
  2. Algorithm diversity metric for N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
    2019, Journal of Physics: Conference Series
  3. OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION [статья из журнала]
    Yakimov I. A., Kuznetsov A. S., Skripachev A. M.
    2019, Сибирский журнал науки и технологий
  4. Поиск недостающих вызовов библиотечных функций с использованием машинного обучения [статья из журнала]
    2017, Труды Института системного программирования РАН
  5. ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ [статья из журнала]
    2017, Фундаментальные исследования
  6. Оптимизация читаемости тестов порождаемых при символьных вычислениях [статья из журнала]
    2016, Труды Института системного программирования РАН
  7. ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) [статья из журнала]
    2016, Международный журнал прикладных и фундаментальных исследований
  8. ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]
    2016, Современные наукоемкие технологии

Список публикаций выше сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.