For citations:

Kamkin A., Protsenko A., Tatarnikov A. An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):125-138. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-9