Воинов Никита Владимирович

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

1. Approach to end-to-end testing of the application for managing the configuration of enterprise virtual infrastructure
   
   Труды ИСП РАН, 35:2 (2023),  143–156
2. A web application to promote blood donation in Russia
   
   Труды ИСП РАН, 34:2 (2022),  179–190
3. Conversion of abstract behavioral scenarios into scenarios applicable for testing
   
   Труды ИСП РАН, 28:3 (2016),  145–160
4. Model oriented approach for industrial software development
   
   Модел. и анализ информ. систем, 22:6 (2015),  750–762
5. Анализ покрытия UCM-модели тестовыми сценариями
   
   Системы и средства информ., 25:1 (2015),  74–88
6. Генерация тестового набора на основе потока управления
   
   Системы и средства информ., 25:1 (2015),  54–73
7. Method of symbolic test scenarios automated concretization
   
   Труды ИСП РАН, 27:3 (2015),  115–124
8. Подход к тестированию параллельных систем на основе UCM-спецификаций
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198),  85–91