Harutunyan, G. ., D. . Melkumyan, H. . Elchyan, and V. . Vardanian. “An Efficient Method for Generation of March Tests Based on Formulas”. Mathematical Problems of Computer Science, vol. 30, Dec. 2021, pp. 5-17, http://93.187.165.2/index.php/mpcs/article/view/410.