Proceedings of the International scientific and practical conference ―Science and Society‖ (February 26-28, 2026) / Publisher website: www.naukainfo.com. – Kharkiv, Ukraine, 2026. - 355 p.

98 СПИСОКВИКОРИСТАНИХДЖЕРЕЛ: 1. 30 Years of Software Refactoring Research: A Systematic Literature Review / C. Abid, V. Alizadeh, M. Kessentini et al. IEEE Transactions on Software Engineering. 2020. Vol. 1, no. 1. 2. A comprehensive exploration of languages for parallel computing / F. Ciccozzi, L. Addazi, S. A. Asadollah et al. ACM Computing Surveys (CSUR). 2022. Vol. 55, no. 2. P. 1–39. 3. Bläser L. Parallel Checker (Version 2.7.0) [Електронний ресурс]. GitHub. URL: https://github.com/blaeser/parallelchecker (дата звернення: 02.02.2026). 4. Bläser L. Practical detection of concurrency issues at coding time // Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 18) (Amsterdam, Netherlands, 2018). 2018. P. 221–231. 5. Okur S., Erdogan C., Dig D. Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions // Proceedings of ECOOP. 2014. P. 1–26. 6. Manral J. Automated Test Case Generation using Petri Nets. arXiv preprint arXiv:1509.08401. 2015. URL: https://arxiv.org/abs/1509.08401 (дата звернення: 17.12.2025). 7. Дорошенко А. Ю., Яценко О. А. Автоматизоване проектування програм для платформи .NET із використанням бібліотеки Task Parallel Library. Проблеми програмування. 2020. № 1. С. 17–24. 8. Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model. System Informatics. 2019. No. 15. P. 13–29. 9. Stetsenko I. V., Dyfuchyna O. Thread pool parameters tuning using simulation // International Conference on Computer Science, Engineering and Education Applications. Cham : Springer International Publishing, 2019. P. 78–89.