Anton Dmitrievich ErmakovRussia, TomskResearch areaprogram verificationprogram testingprogramming languagesAffiliation & position Tomsk State University — postgraduate student of radiophysical faculty E-mailanton.d.ermakov@gmail.comantonermak@inbox.ru List of Articles in System Informatics: N. Yevtushenko A. Ermakov Increasing the fault coverage of tests derived against Extended Finite State Machines // System Informatics. — 2016. — # 7. — P. 23-32