Kolchin Alexander Valentinovich

Publications in Math-Net.Ru

1. Method of symbolic test scenarios automated concretization
   
   Proceedings of ISP RAS, 27:3 (2015),  115–124
2. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383
3. An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
   
   Model. Anal. Inform. Sist., 19:6 (2012),  79–91