Buniatyan, M.P., Grigoryan, S.V. and Danielyan, E.H. 2023. Expert Knowledge-Based RGT Solvers for Software Testing. Mathematical Problems of Computer Science. 59, (May 2023), 45–56. DOI:https://doi.org/10.51408/1963-0101.