Колчин Александр Валентинович

Публикации в базе данных Math-Net.Ru

1. Method of symbolic test scenarios automated concretization
   
   Труды ИСП РАН, 27:3 (2015),  115–124
2. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
   
   Тр. СПИИРАН, 26 (2013),  349–383
3. Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов
   
   Модел. и анализ информ. систем, 19:6 (2012),  79–91