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://mpcs.sci.am/index.php/mpcs/article/view/410.