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

Воинов Н., Дробинцев П., Никифоров И., Котляров В., Колчин А. Метод автоматической конкретизации символических тестовых сценариев. Труды Института системного программирования РАН. 2015;27(3):115-124. https://doi.org/10.15514/ISPRAS-2015-27(3)-8

For citation:

Voinov N.V., Drobintsev P.D., Nikiforov I.V., Kotlyarov V.P., Kolchin A.V. Method of Symbolic Test Scenarios Automated Concretization. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):115-124. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-8