HURALNYK, F., and V. 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 2026, pp. 100-14, doi:10.31891/csit-2026-2-10.