Беляев Михаил Анатольевич
старший преподаватель (квалификационная категория "старший преподаватель"), институт прикладных компьютерных наук
Публикации
3Статья
2024 годСтепанов Д.С., Беляев М.А., Ахин М.Х. Making Bounded Model Checking Interprocedural in (Static Analysis) Style. Tools and Methods of Program Analysis: 5th International Conference. 2024. Т. 1. № 1. С. 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.
Статья
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.