Buniatyan, M. P.; Grigoryan, S. V.; Danielyan, E. H. Expert Knowledge-Based RGT Solvers for Software Testing. MPCS 2023, 59, 45-56.