Проценко Александр Сергеевич

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

1. Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин
   
   Труды ИСП РАН, 37:1 (2025),  65–86
2. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
   
   Труды ИСП РАН, 28:6 (2016),  87–102
3. An approach to test program generation based on formal specifications of caching and address translation mechanisms
   
   Труды ИСП РАН, 27:3 (2015),  125–138