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

Корныхин Е.В. Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам. Труды Института системного программирования РАН. 2010;18.

For citation:

Kornykhin E.V. Mirror-based method of constraints generation for test programs generation by test template. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)