Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. Chupilko, M. M., Kamkin, A. S., Kotsynyak, A., Protsenko, A., Smolov, S. A., & Tatarnikov, A. In MTV, pages 1-6, 2015. IEEE.
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. [link]Link  Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. [link]Paper  bibtex   
@inproceedings{conf/mtv/ChupilkoKKPST15,
  author = {Chupilko, Mikhail M. and Kamkin, Alexander S. and Kotsynyak, Artem and Protsenko, Alexander and Smolov, Sergey A. and Tatarnikov, Andrei},
  booktitle = {MTV},
  crossref = {conf/mtv/2015},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MTV.2015.13},
  interhash = {28c69ceb1003602237d48867da5e06e6},
  intrahash = {8e4fdae82e28e1984a21cc950e7d1eb9},
  isbn = {978-1-5090-0885-8},
  pages = {1-6},
  publisher = {IEEE},
  title = {Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.},
  url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2015.html#ChupilkoKKPST15},
  year = 2015
}

Downloads: 0