Harutunyan, G. .; Melkumyan , D. .; Elchyan, H. .; Vardanian, V. . An Efficient Method for Generation of March Tests Based on Formulas. MPCS 2021, 30, 5-17.