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