Ivannikov Institute for System Programming of the RAS


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

Authors

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

Edition

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

Research Group

Software Engineering

All publications during 2015 All publications