For citations:

Ivannikov A.D. Debugging Input Set Generation for Testing of Control Digital Systems Functions. Mekhatronika, Avtomatizatsiya, Upravlenie. 2017;18(12):795-801. (In Russ.) https://doi.org/10.17587/mau.18.795-801