Anton Ermakov

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Integration Testing

Delay Insensitive

Top Venues

Autom. Control. Comput. Sci.

Publications

Anton Ermakov, Nina Yevtushenko
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines. Autom. Control. Comput. Sci. 51 (7) (2017)
Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. ICTSS (2016)