Aleksandr Misonizhnik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FASE | KLEEF: Symbolic Execution Engine (Competition Contribution). | Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov |
| 2023 | ICSE | 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 |
| 2019 | ECOOP | On Satisfiability of Nominal Subtyping with Variance. | Aleksandr Misonizhnik, Dmitry Mordvinov |