For citations:

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