HURALNYK F, KOVTUN V. METHOD FOR QUANTITATIVE EVALUATION OF THE EMPIRICAL CONFIRMABILITY OF INVARIANT-ORIENTED SIGNALS IN AUTOMATIC SOFTWARE ERROR DETECTION. CSIT [Internet]. 2026 May 31 [cited 2026 Jun. 6];(2):100-14. Available from: https://csitjournal.khmnu.edu.ua/index.php/csit/article/view/593