Symonov DI, Demenko IO. FORMALIZATION OF AUTOMATED TESTING PROCESSES OF COMPLEX SOFTWARE SYSTEMS BASED ON MULTIAGENT MODELING. ST [Internet]. 2025Dec.30 [cited 2026Jan.28];70(2):186-94. Available from: https://st.umsf.in.ua/index.php/journal/article/view/235