Symonov, D. I.; Demenko, I. O. FORMALIZATION OF AUTOMATED TESTING PROCESSES OF COMPLEX SOFTWARE SYSTEMS BASED ON MULTIAGENT MODELING. ST 2025, 70, 186-194.