Ермаков А. Д. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01 / Ермаков Антон Дмитриевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т. - Томск : [б. и.], 2016. - 144 л.: ил., табл.. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565581