Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Morozov, Sergey Antonovich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:29
Abstract pages:60
Full texts:30

https://www.mathnet.ru/eng/person207786
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0003-1160-5614

Publications in Math-Net.Ru Citations
2023
1. S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Proceedings of ISP RAS, 35:3 (2023),  91–108  mathnet
2022
2. A. V. Misonizhnik, A. A. Babushkin, S. A. Morozov, Yu. O. Kostyukov, D. A. Mordvinov, D. V. Koznov, “Automated testing of LLVM programs with complex input data structures”, Proceedings of ISP RAS, 34:4 (2022),  49–62  mathnet 1

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024