Bucharov Alexander V., Matrosova Anzhela Y., Kirienko Irina E., Ostanin Sergei A. «Generating all test patterns for a given stuck-at fault of a logical circuit and its ROBDD implementation» // Tomsk State University Journal of Control and Computer Science 2014. №2(27) C.82-89
Mitrofanov Evgenii Vladimirovich, Shah Toral, Matrosova Anjela Yurievna «Simplification of fully delay testable combinational circuits and finding of PDF test pairs» // Tomsk State University Journal of Control and Computer Science 2017. №39 C.85-93
Goshin G.G., Matrosova A.Yu., Tychinskiy V.Z., Andreeva V.V. «Applying ROBDDS for logical circuit delay testing» // Izvestiya vuzov. Fizika 2019. №5 C.86-94
Provkin Viktor A., Matrosova Anzhela Yu. «Graph representations of the sets of all reachable reactions of the combinational circuit» // Tomsk State University Journal of Control and Computer Science 2022. №61 C.128-138
Sukhoruchenko Ksenia A., Matrosova Anzhela Yu., Savenkova Marina M., Provkin Viktor A. «Testing of multi-output combinational circuits when reactions on test patterns are known» // Tomsk State University Journal of Control and Computer Science 2024. №69 C.134-143
Mitrofanov Evgeniy V., Matrosova Anzhela Yu. «Delay testable sequential circuit design» // 2013. №2(23) C.140-147
