Login / Signup
Sergey Morozov
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Symbolic Execution
Search Computing
Execution Engine
Development Environments
Top Venues
FASE
ICSE Companion
</>
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)