D. I. Symonov and I. O. Demenko, “FORMALIZATION OF AUTOMATED TESTING PROCESSES OF COMPLEX SOFTWARE SYSTEMS BASED ON MULTIAGENT MODELING”, ST, vol. 70, no. 2, pp. 186-194, Dec. 2025.