TRIK studio: Technical introduction. - Dmitry Mordvinov; Yurii Litvinov; Timofey Bryksin (FRUCT, 2017)

Synchronizing Constrained Horn Clauses. - Dmitry Mordvinov; Grigory Fedyukovich (LPAR, 2017)

Verifying Safety of Functional Programs with Rosette/Unbound. - Dmitry Mordvinov; Grigory Fedyukovich (CoRR, 2017)

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

Property Directed Inference of Relational Invariants. - Dmitry Mordvinov; Grigory Fedyukovich (FMCAD, 2019)

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

Beyond the elementary representations of program invariants over algebraic data types. - Yurii Kostyukov; Dmitry Mordvinov; Grigory Fedyukovich (PLDI, 2021)

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)

Collaborative Inference of Combined Invariants. - Yurii Kostyukov; Dmitry Mordvinov; Grigory Fedyukovich (LPAR, 2023)

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

UTBot Python at the SBFT Tool Competition 2024. - Ekaterina Tochilina; Vyacheslav Tamarin; Dmitry Mordvinov; Valentyn Sobol; Sergey Pospelov; Alexey Menshutin; Yury Kamenev; Dmitry Ivanov (SBFT@ICSE, 2024)

Automatic Inference of Synchronous Regular Invariants. - A. I. Vasenina; Yurii Kostyukov; Dmitry Mordvinov (Program. Comput. Softw., 2025)