1. 2025
  2. PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 Apr 2025, 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC). Institute of Electrical and Electronics Engineers Inc., p. 13-16 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. 2024
  4. Инструмент для оценки BPU

    Ефремов, А. А. & Слинчук, Д. А., 26 Sep 2024, p. 539. 1 p.

    Research output: Contribution to conferenceAbstract

  5. Tool for analysing BPU perfomance

    Слинчук, Д. А., Ефремов, А. А. & Кутуев, В. А., 2024, (In preparation) Spring/Summer Young Researchers' Colloquium on Software Engineering 2024.

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthologyResearchpeer-review

  6. Разработка инструмента для анализа BPU

    Ефремов, А. А., Слинчук, Д. А. & Кутуев, В. А., 2024, СОВРЕМЕННЫЕ ТЕХНОЛОГИИ В ТЕОРИИ И ПРАКТИКЕ ПРОГРАММИРОВАНИЯ: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых.. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 273-274

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

ID: 97640739