A. D. Ermakov, N. V. Yevtushenko, “Deriving test suites with the guaranteed fault coverage for extended finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016), 729–740
A. D. Ermakov, N. V. Evtushenko, “Deriving adaptive checking sequence for nondeterministic Finite State Machines”, Proceedings of ISP RAS, 28:3 (2016), 123–144
