Dmitry Mordvinov

13 papers A* 1A 1B 4Misc 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automatic Inference of Synchronous Regular Invariants.
Program. Comput. Softw.
A. I. Vasenina, Yurii Kostyukov, Dmitry Mordvinov
2024 B conf
KLEEF: Symbolic Execution Engine (Competition Contribution).
FASE
Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov
2024 — conf
UTBot Python at the SBFT Tool Competition 2024.
SBFT@ICSE
Ekaterina Tochilina, Vyacheslav Tamarin, Dmitry Mordvinov, Valentyn Sobol, Sergey Pospelov, Alexey Menshutin, Yury Kamenev, Dmitry Ivanov
2023 B conf
Collaborative Inference of Combined Invariants.
LPAR
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
2023 — conf
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments.
ICSE Companion
Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets
2021 J jnl
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types.
CoRR
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
2021 A* conf
Beyond the elementary representations of program invariants over algebraic data types.
PLDI
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
2019 J jnl
Automatic verification of heap-manipulating programs.
CoRR
Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik
2019 A conf
On Satisfiability of Nominal Subtyping with Variance.
ECOOP
Aleksandr Misonizhnik, Dmitry Mordvinov
2019 B conf
Property Directed Inference of Relational Invariants.
FMCAD
Dmitry Mordvinov, Grigory Fedyukovich
2017 B conf
Synchronizing Constrained Horn Clauses.
LPAR
Dmitry Mordvinov, Grigory Fedyukovich
2017 Misc conf
TRIK studio: Technical introduction.
FRUCT
Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin
2017 J jnl
Verifying Safety of Functional Programs with Rosette/Unbound.
CoRR
Dmitry Mordvinov, Grigory Fedyukovich