For citations:
Kamkin A.S., Kotsynyak A.M., Protsenko A.S., Tatarnikov A.D., Chupilko M.M. MicroTESK-Based Test Program Generator for the ARMv8 Architecture. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(6):87-102. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(6)-6