Yevtushenko N., Ermakov A. Increasing the fault coverage of tests derived against Extended Finite State Machines // # 7, 2016
