Для цитирования:
Батаев А.В., Давыдов А.А., Налютин Н.Ю., Синицын С.В. Генерация тестовых данных на основе формального анализа данных конфигурации проекта. Моделирование и анализ информационных систем. 2010;17(4):17-26.
For citation:
Bataev A.V., Davydov A.A., Nalutin N.Y., Sinitsyn S.V. Test data generation based on a formal analysis of the project conguration. Modeling and Analysis of Information Systems. 2010;17(4):17-26. (In Russ.)