Harutunyan, G. , Melkumyan , D. , Elchyan, H. and Vardanian, V. 2021. An Efficient Method for Generation of March Tests Based on Formulas. Mathematical Problems of Computer Science. 30, (Dec. 2021), 5–17.