G. . Harutunyan, D. . Melkumyan, H. . Elchyan, and V. . Vardanian, “An Efficient Method for Generation of March Tests Based on Formulas”, MPCS, vol. 30, pp. 5–17, Dec. 2021.