Protsenko Alexander Sergeevich

Publications in Math-Net.Ru

1. Functional testing of language virtual machines based on formal ISA specifications
   
   Proceedings of ISP RAS, 37:1 (2025),  65–86
2. MicroTESK-based test program generator for the ARMv8 architecture
   
   Proceedings of ISP RAS, 28:6 (2016),  87–102
3. An approach to test program generation based on formal specifications of caching and address translation mechanisms
   
   Proceedings of ISP RAS, 27:3 (2015),  125–138