Maxim Gromov

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 5

Top Topics

Regular Expressions

Finite State Machines

Mutation Testing

Top Venues

Autom. Control. Comput. Sci.

Publications

Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. EWDTS (2021)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Autom. Control. Comput. Sci. 51 (7) (2017)
Maxim Gromov, Natalia Shabaldina
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II. Autom. Control. Comput. Sci. 51 (7) (2017)
Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko
Testing components of interacting timed finite state machines. EWDTS (2016)
Maxim Gromov
On simplification of timed automata. EWDTS (2016)
Natalia Shabaldina, Maxim Gromov
FSMTest-1.0: A manual for researches. EWDTS (2015)
Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko
Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. 21 (2) (2013)
Maxim Gromov, Nina Yevtushenko
Synthesis of distinguishing test cases for timed finite state machines. Program. Comput. Softw. 36 (4) (2010)
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE (2009)
Maxim Gromov, Tim A. C. Willemse
Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES (2007)