For citations:

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.)