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

Статья

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

Статья

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

Статья

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.

Статья

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.

Статья

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

Статья

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.

Статья

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.

Статья

Степанов Д.С. 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.

Статья

Степанов Д.С. 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.