Synthesis of auxiliary algorithms for preliminary assessment of stuck-at faults detection tests. - S. A. Belozorov; S. V. Tyurin; Yu. Ya. Agranovich (Autom. Remote. Control., 2014)