HURALNYK, Frederik, and Viacheslav KOVTUN. “METHOD FOR QUANTITATIVE EVALUATION OF THE EMPIRICAL CONFIRMABILITY OF INVARIANT-ORIENTED SIGNALS IN AUTOMATIC SOFTWARE ERROR DETECTION”. Computer systems and information technologies, no. 2 (May 31, 2026): 100–114. Accessed June 6, 2026. https://csitjournal.khmnu.edu.ua/index.php/csit/article/view/593.