Степанов Даниил Сергеевич

Степанов Даниил Сергеевич
старший преподаватель (квалификационная категория "старший преподаватель"), институт прикладных компьютерных наук

Педагогический стаж

Общий стаж:
5 лет

Публикации

9
Статья
2024 год

Степанов Д.С., Беляев М.А., Ахин М.Х. Making Bounded Model Checking Interprocedural in (Static Analysis) Style. Tools and Methods of Program Analysis: 5th International Conference. 2024. Т. 1. № 1. С. 142-154.

Статья
2023 год

Ivanov D., Menshutin A., Pelevin M., Stepanov D., Fokin D., Kamenev Y., Kulikov E., Kononov A., Pospelov S., Volkov I., Lisevych A., Yuldashev T., Stroganov N., Tarbeev A. UTBot at the SBFT 2023 Java Tool Competition. 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). 2023. pp. 68-69.

Статья
2023 год

Stepanov D., Ivanov D. Automated Unit Test Generation For Java Programs Using Fuzzing. 2023 Ivannikov Ispras Open Conference (ISPRAS). 2023. pp. 157-162.

Статья
2022 год

Степанов Д.С., Ицыксон В.М. Поиск дубликатов ошибок компиляторов методом генерации программ-свидетелей . Программная инженерия. 2022. Т. 14. № 4. С. 165-174.

Статья
2022 год

Stepanov D.S., Itcykson V.M. Backend Bug Finder — a platform for effective compiler fuzzing. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2022. No. 6(121). pp. 31-40.

Статья
2021 год

Stepanov D., Akhin M., Belyaev M. Making Bounded Model Checking Interprocedural in (Static Analysis) Style. Communications in Computer and Information Science. 2021. Vol. 1288. pp. 142-154.

Статья
2021 год

Stepanov D., Akhin M., Belyaev M. Type-centric Kotlin compiler fuzzing: Preserving test program correctness by preserving types. 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 2021. pp. 318-328.

Статья
2019 год

Степанов Д.С. Stepanov D., Akhin M., Belyaev M. ReduKtor: How we stopped worrying about bugs in kotlin compiler //2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE. 2019. Vol. 1. No. 1. pp. 317-326.

Статья
2018 год

Степанов Д.С. Abdullin A., Stepanov D., Akhin M. Distributed analysis of the BMC kind: Making it fit the tornado supercomputer //Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017. Springer International Publishing,. 2018. Vol. 1. No. 1. pp. 1-10.

Повышение квалификации

Повышение квалификации
2024 год
Качество жизни

Российская Федерация, Санкт-Петербург