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

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