Aleksandr Misonizhnik

According to our database, Aleksandr Misonizhnik authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

KLEEF: Symbolic Execution Engine (Competition Contribution).

Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

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, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2019

Automatic verification of heap-manipulating programs.

Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik

CoRR, 2019

On Satisfiability of Nominal Subtyping with Variance.

Aleksandr Misonizhnik, Dmitry Mordvinov

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019