F. HURALNYK and V. KOVTUN, “METHOD FOR QUANTITATIVE EVALUATION OF THE EMPIRICAL CONFIRMABILITY OF INVARIANT-ORIENTED SIGNALS IN AUTOMATIC SOFTWARE ERROR DETECTION”, CSIT, no. 2, pp. 100–114, May 2026.