Bibliography: 1. Driban V. A., Dubrova N. A., Sazhnev V. P., Antypenko A. V., Kolesnik M. V. On the mechanisms of sink formation above old miningworkings. Transactions of RANIMI. 2024, no. 3(41), vol. 2, pp. 104—123. [In Russ]. DOI: 10.24412/2519-2418-2024-341-104-123.
2. Tyuleneva T. A. Improving the technology of elimination of sinkholes over mining workings. Journal of mining and geotechnical engineering. 2021, no. 1, pp. 4—26. [In Russ]. DOI: 10.26730/2618-7434-2021-1-4-26.
3. Tonofa A. V., Kanavets A. A., Filatova I. V. On solving the problem of ground subsidence during the closure of coal mines. Innovatsionnye perspektivy Donbassa: materialy 8-y Mezhdunarodnoy nauchno-prakticheskoy konferentsii [Innovatsionnye Perspektivy Donbassa: Proceedings of the 8th International Scientific and Practical Conference], Donetsk, 2022, pp. 143—147. [In Russ].
4. Polozov Yu. A., Bizianov Е. Е., Lazebnik A. Yu. Rectification of the consequences of manmade disaster in the area of the Earth’s surface sinkhole in a potash mine. Collection of Scientific Papers of Donbass State Technical Institute. 2021, no. 23 (66), pp. 5—12. [In Russ].
5. Murmu S., Budi G. Spalling hazard occurrence in longwall excavation: a case study. Mining, Metallurgy & Exploration. 2023, vol. 40, no. 5, pp. 1899—1919. DOI: 10.1007/s42461-023-00828-9.
6. Shabarov A. N., Kuranov A. D. Basic development trends in mining sector in complicating geotechnical conditions. Gornyi Zhurnal. 2023, no. 5, pp. 5—10. [In Russ]. DOI: 10.17580/gzh.2023.05.01.
7. Pylko E. A. The possibility of applying international experience in restructuring of coal mining industry of Donbass. Jekonominfo. 2016, no. 26, pp. 83—86. [In Russ].
8. Isakov V. S. Software for optimization of mining processes in the mining industry: Overview of the main programs. Science Bulletin. 2021, no. 5, pp. 45—52. [In Russ].
9. Kien D. V., Anh Do. N., Thai Do. N. Numerical simulation of the stability of rock mass around large underground cavern. Civil Engineering Journal. 2022, vol. 8, no. 1, pp. 81—91. DOI: 10.28991/cej-2022-08-01-06.
10. Li G., Yang Q. Prediction of mining subsidence in shallow coal seam. Mathematical Problems in Engineering. 2020, vol. 2020, article 7956947. DOI: 10.1155/2020/7956947.
11. Yang K., Hou Zh., Li Ya., Gao W., Wang Sh., Ding X. Dynamic prediction model of mining subsidence combined with D-InSAR technical parameter inversion. Environmental Earth Sciences. 2022, vol. 81, no. 11, pp. 1—13. DOI: 10.1007/s12665-022-10423-8.
12. Dashko R. E., Romanov I. S. Forecasting of mining and geological processes based on the analysis of the underground space of the Kupol deposit as a multicomponent system (Chukotka autonomous region, Anadyr district). Journal of Mining Institute. 2021, vol. 247, pp. 20—32. [In Russ]. DOI: 10.31897/PMI.2021.1.3.
13. Khokhlov B. V., Driban V. A., Goldin S. V., Terletsky A. M., Rozhko M. D. Procedure for construction and survey of failure-hazardous areas. Transactions of RANIMI. 2019, no. 7 (22), pp. 142—157. [In Russ].
14. Driban V. A., Khokhlov B. V., Antypenko A. V. On the application of a new approach to forecasting dips in the surface zone of water-filled massifs for assessing risks in the flooding of the «Anthracite» mine. Mine Surveying and Subsurface Use. 2024, no. 6 (134), pp. 40—49. [In Russ]. DOI: 10.56195/20793332_2024_6_40_49.
15. Heidrich D., Schreiber A., Oberdörfer S. Towards generating labeled property graphs for comprehending C#-based software projects. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 22). Association for Computing Machinery, New York, USA. 2023, no. 228, pp. 1—4. DOI: 10.1145/3551349.3560513.
16. Golmohammadi A., Zhang M., Arcuri A. NET/C# instrumentation for search-based software testing. Software Quality Journal. 2023, vol. 31, pp. 1439—1465. DOI: 10.1007/s11219-023-09645-1.
17. Andrea A., Juan P. G. Enhancing Search-based testing with testability transformations for existing APIs. ACM Transactions on Software Engineering and Methodology. 2022, no. 31, article 34. DOI: 10.1145/3477271.
18. Laranjeiro N., Agnelo J., Bernardino J. A black box tool for robustness testing of REST services. IEEE Access. 2021, vol. 9, pp. 24738—24754. DOI: 10.1109/ACCESS. 2021.3056505.
19. Miranda C., Avelino G., Santos-Neto P. Test co-evolution in software projects: A large-scale empirical study. Journal of Software: Evolution and Process. 2025, vol. 37, no. 7, article 70035. DOI: 10.1002/smr.70035.
20. Sun W., Guo Z., Yan M., Liu Z., Lei Y., Zhang Y. Method-level test-to-code traceability link construction by semantic correlation learning. IEEE Transactions on Software Engineering. 2024, vol. 50, no. 10, pp. 2656—2676. DOI: 10.1109/TSE.2024.3449917.