On Satisfiability of Nominal Subtyping with Variance. - Aleksandr Misonizhnik; Dmitry Mordvinov (ECOOP, 2019)

Automatic verification of heap-manipulating programs. - Yurii Kostyukov; Konstantin Batoev; Dmitry Mordvinov; Michael Kostitsyn; Aleksandr Misonizhnik (CoRR, 2019)

UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments. - Dmitry Ivanov; Alexey Babushkin; Saveliy Grigoryev; Pavel Iatchenii; Vladislav Kalugin; Egor Kichin; Egor Kulikov; Aleksandr Misonizhnik; Dmitry Mordvinov; Sergey Morozov 004; Olga Naumenko; Alexey Pleshakov; et al. (ICSE Companion, 2023)

KLEEF: Symbolic Execution Engine (Competition Contribution). - Aleksandr Misonizhnik; Sergey Morozov 004; Yurii Kostyukov; Vladislav Kalugin; Aleksei Babushkin; Dmitry Mordvinov; Dmitry Ivanov (FASE, 2024)