Voinov N V

Publications in Math-Net.Ru

1. Approach to end-to-end testing of the application for managing the configuration of enterprise virtual infrastructure
   
   Proceedings of ISP RAS, 35:2 (2023),  143–156
2. A web application to promote blood donation in Russia
   
   Proceedings of ISP RAS, 34:2 (2022),  179–190
3. Conversion of abstract behavioral scenarios into scenarios applicable for testing
   
   Proceedings of ISP RAS, 28:3 (2016),  145–160
4. Model oriented approach for industrial software development
   
   Model. Anal. Inform. Sist., 22:6 (2015),  750–762
5. Analysis of UCM-model coverage by test scenarios
   
   Sistemy i Sredstva Inform., 25:1 (2015),  74–88
6. Control flow based test suite generation
   
   Sistemy i Sredstva Inform., 25:1 (2015),  54–73
7. Method of symbolic test scenarios automated concretization
   
   Proceedings of ISP RAS, 27:3 (2015),  115–124
8. Approach to concurrent systems testing based on ucm specification
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198),  85–91