The 2 references without contexts in paper A. Rebrikov V., I. Rudakov V., R. Gurin E., А. Ребриков В., И. Рудаков В., Р. Гурин Е. (2016) “Методы верификации программного обеспечения // Methods of Software Verification” / spz:neicon:technomag:y:2015:i:0:p:235-251

15
Гурин Р.Е. Обзор и анализ инструментов, который осуществляют верификацию бинарного кода программы // Новые информационные технологии в автоматизированных системах: материалы 17-го научно-практического семинара. Вып. 17. М.: ИПМ им. М.В. Келдыша, 2014. C. 514-518.
(check this in PDF content)
16
Рудаков И.В., Гурин Р.Е., Ребриков А.В. Верификация программного обеспечения: обзор методов и характеристик // Национальная ассоциация ученых (НАУ). Ежемесячный журнал. 2014. No 3, ч. 2. C. 22-26. Science and Education of the Bauman MSTU,
(check this in PDF content)