Anzhela Yu. Matrosova Eugeniy Mitrofanov Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults. 1-4 2016 EWDTS https://doi.org/10.1109/EWDTS.2016.7807694 https://doi.ieeecomputersociety.org/10.1109/EWDTS.2016.7807694 conf/ewdts/2016 db/conf/ewdts/ewdts2016.html#MatrosovaM16