Article A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov April 2008
Article VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH Sergey Kanzhelev April 2008
Article APPLICATION OF GENETIC PROGRAMMING AND OF REDUCED TRANSITION TABLES METHOD AND OF DECISION TREES METHOD FOR CONSTRUCTING A CONTROL SYSTEM FOR A MODEL OF AN UNMANNED AIRCRAFT Dmitry Sokolov, Fedor Tsarev, Andrey Davydov April 2008
Article A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov April 2008
Article DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS Kirill Egorov, Shalyto Anatoly A. April 2008
Article A METHOD OF REPRESENTING AUTOMATA WITH DECISION TREES FOR GENETIC PROGRAMMING Vladimir Danilov, Kirill Timofeev April 2008
Article APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM Vitaliy Kleban, Vladimir Parfenov, Shalyto Anatoly A. April 2008