Application of genetic programming for finite-state machine induction on the base of specification.

1. Egorov K.V., Shalyto A.A., “Metodika verifikatsii avtomatnykh programm”, Informatsionno-upravlyayuschie sistemy, 2008, № 5, 15–21
2. Egorov K.V., Shalyto A.A., “Razrabotka verifikatora avtomatnykh programm”, Nauchno-tekhnicheskii vestnik SPbGU ITMO, 2008, № 53, 177–188
3. Egorov K.V., Tsarev F.N., Shalyto A.A., “Primenenie geneticheskogo programmirovaniya dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem na osnove obuchayuschikh primerov i spetsifikatsii”, Nauchno-tekhnicheskii vestnik SPbGU ITMO, 2010, № 69, 81–85
4. Egorov K.V., Tsarev F.N., “Sovmestnoe primenenie geneticheskogo programmirovaniya i verifikatsii modelei dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem”, Informatsionnye tekhnologii i sistemy, IPPI RAN, M., 2009, 72–82
5. Egorov K.V., Parfenov V.G., Tsarev F.N., “Sovmestnoe primenenie geneticheskogo programmirovaniya i verifikatsii modelei dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem”, Trudy XVII Vserossiiskoi nauchno-metodicheskoi konferentsii “Telematika`2010”, т. 2, 2010, 344–345

• St. Petersburg National Research University of Information Technologies, Mechanics and Optics