| English | Russian |
| formal theory of testing | формальная теория тестирования (в программировании ssn) |
| theory of application testing | теория тестирования приложений (Saeed L. et al. Pro Cloud Native Java EE Apps: DevOps with MicroProfile, Jakarta EE 10 APIs, and Kubernetes, 2022 Alex_Odeychuk) |