Ermakov Anton Dmitrievich

Publications in Math-Net.Ru

1. Deriving test suites with the guaranteed fault coverage for extended finite state machines
   
   Model. Anal. Inform. Sist., 23:6 (2016),  729–740
2. Deriving adaptive checking sequence for nondeterministic Finite State Machines
   
   Proceedings of ISP RAS, 28:3 (2016),  123–144