Ivannikov Institute for System Programming of the RAS

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.


M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov.


Proceedings of Microprocessor Test and Verification Workshop (MTV), 2015.

Research Group

Software Engineering

All publications during 2015 All publications