HARUTUNYAN, G. .; MELKUMYAN , D. .; ELCHYAN, H. .; VARDANIAN, V. . An Efficient Method for Generation of March Tests Based on Formulas. Mathematical Problems of Computer Science, [S. l.], v. 30, p. 5–17, 2021. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/410. Acesso em: 5 may. 2024.