О. А. Руда and Ю. Б. Моденов, “Methods and models for software testing”, PIC, vol. 2, no. 42, pp. 93–98, Jun. 2013.