HURALNYK, Frederik, and Viacheslav KOVTUN. 2026. “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):100-114. https://doi.org/10.31891/csit-2026-2-10.