Article

A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING

Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov

Article

APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM

Vitaliy Kleban, Vladimir Parfenov, Shalyto Anatoly A.

Article

MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS

Article

AUTOMATIC PROGRAMMING AND PARALLEL CALCULATIONS

Article

REDUNDANT ELECTRIC MOTOR DRIVE CONTROL UNIT DESIGN USING AUTOMATA-BASED APPROACH