Aleksandr Misonizhnik

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Satisfiability Problem

Development Environment

Test Generation

Top Venues

Publications

Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov
KLEEF: Symbolic Execution Engine (Competition Contribution). FASE (2024)
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
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments. ICSE Companion (2023)
Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik
Automatic verification of heap-manipulating programs. CoRR (2019)
Aleksandr Misonizhnik, Dmitry Mordvinov
On Satisfiability of Nominal Subtyping with Variance. ECOOP (2019)