E-LIB Suche - Ergebnisse für: Misonizhnik, Aleksandr

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

KLEEF: Symbolic Execution Engine (Competition Contribution):

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Misonizhnik, Aleksandr ; Morozov, Sergey ; Kostyukov, Yurii... - p. 314-319 , 2024

Link: https://doi.org/10.1007/..

UnitTestBot: Automated Unit Test Generation for C Code in I..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Ivanov, Dmitry ; Babushkin, Alexey ; Grigoryev, Saveliy... - p. 380-384 , 2023

Link: https://doi.org/10.1109/..

On Satisfiability of Nominal Subtyping with Variance:

Misonizhnik, Aleksandr ; Mordvinov, Dmitry
Is Part Of LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). , 2019

Link: https://doi.org/10.4230/..

Automatic verification of heap-manipulating programs:

Kostyukov, Yurii ; Batoev, Konstantin ; Mordvinov, Dmitry..
http://arxiv.org/abs/1906.10204. , 2019

Link: http://arxiv.org/abs/190..

Generation of the weakest preconditions of programs with dy..:

Aleksandr V. Misonizhnik ; Yurii O. Kostyukov ; Michael P. Kostitsyn..
https://ntv.ifmo.ru/file/article/21527.pdf. , 2022

Link: https://doi.org/10.17586..

1-5