Для цитирования:

Иванников В.П., Петренко А.К., Кулямин В.В., Максимов А.В. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. Труды Института системного программирования РАН. 2013;24.

For citation:

Ivannikov V.P., Petrenko A.K., Kuliamin V.V., Maksimov A.V. How the story of UniTESK technology applications mirrors development of model based testing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;24. (In Russ.)