Kotlyarov Vsevolod Pavlovich

Publications in Math-Net.Ru

1. Digital modelling of production engineering for metalworking machine shops
   
   Proceedings of ISP RAS, 31:3 (2019),  85–98
2. Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 11:1 (2018),  39–46
3. Experimental aspects of memory bandwidth for HPC systems with ccNUMA architecture
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:3 (2017),  32–41
4. Conversion of abstract behavioral scenarios into scenarios applicable for testing
   
   Proceedings of ISP RAS, 28:3 (2016),  145–160
5. Model oriented approach for industrial software development
   
   Model. Anal. Inform. Sist., 22:6 (2015),  750–762
6. Analysis of UCM-model coverage by test scenarios
   
   Sistemy i Sredstva Inform., 25:1 (2015),  74–88
7. Control flow based test suite generation
   
   Sistemy i Sredstva Inform., 25:1 (2015),  54–73
8. Method of symbolic test scenarios automated concretization
   
   Proceedings of ISP RAS, 27:3 (2015),  115–124
9. Incremental approach to the technology of test design for industrial projects
   
   Model. Anal. Inform. Sist., 21:6 (2014),  144–154
10. Approach to behavior scenarios debugging
    
    Model. Anal. Inform. Sist., 21:6 (2014),  44–56
11. Principles of sms informing system testing
    
    St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 4(200),  41–46
12. 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
13. Sequence diagrams application for keyword-driven testing
    
    St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198),  78–84
14. The Guide-based Automatic Creation of Verified Test Scenarious
    
    Model. Anal. Inform. Sist., 20:6 (2013),  64–77
15. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
    
    Tr. SPIIRAN, 26 (2013),  349–383
16. An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
    
    Model. Anal. Inform. Sist., 19:6 (2012),  79–91
17. A formal requirements model, used in the process of application code and test code generation
    
    Model. Anal. Inform. Sist., 18:4 (2011),  118–130