@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
}

{"_id":"rpRxbcERMpB7bsrya","bibbaseid":"chupilko-kamkin-kotsynyak-protsenko-smolov-tatarnikov-specificationbasedtestprogramgenerationforarmvmsav864memorymanagementunits-2015","downloads":0,"creationDate":"2017-11-25T00:20:57.408Z","title":"Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.","author_short":["Chupilko, M. M.","Kamkin, A. S.","Kotsynyak, A.","Protsenko, A.","Smolov, S. A.","Tatarnikov, A."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/artem?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Chupilko"],"firstnames":["Mikhail","M."],"suffixes":[]},{"propositions":[],"lastnames":["Kamkin"],"firstnames":["Alexander","S."],"suffixes":[]},{"propositions":[],"lastnames":["Kotsynyak"],"firstnames":["Artem"],"suffixes":[]},{"propositions":[],"lastnames":["Protsenko"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Smolov"],"firstnames":["Sergey","A."],"suffixes":[]},{"propositions":[],"lastnames":["Tatarnikov"],"firstnames":["Andrei"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/mtv/ChupilkoKKPST15,\n author = {Chupilko, Mikhail M. and Kamkin, Alexander S. and Kotsynyak, Artem and Protsenko, Alexander and Smolov, Sergey A. and Tatarnikov, Andrei},\n booktitle = {MTV},\n crossref = {conf/mtv/2015},\n ee = {http://doi.ieeecomputersociety.org/10.1109/MTV.2015.13},\n interhash = {28c69ceb1003602237d48867da5e06e6},\n intrahash = {8e4fdae82e28e1984a21cc950e7d1eb9},\n isbn = {978-1-5090-0885-8},\n pages = {1-6},\n publisher = {IEEE},\n title = {Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.},\n url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2015.html#ChupilkoKKPST15},\n year = 2015\n}\n\n","author_short":["Chupilko, M. M.","Kamkin, A. S.","Kotsynyak, A.","Protsenko, A.","Smolov, S. A.","Tatarnikov, A."],"key":"conf/mtv/ChupilkoKKPST15","id":"conf/mtv/ChupilkoKKPST15","bibbaseid":"chupilko-kamkin-kotsynyak-protsenko-smolov-tatarnikov-specificationbasedtestprogramgenerationforarmvmsav864memorymanagementunits-2015","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/MTV.2015.13","Paper":"http://dblp.uni-trier.de/db/conf/mtv/mtv2015.html#ChupilkoKKPST15"},"downloads":0},"search_terms":["specification","based","test","program","generation","arm","vmsav8","memory","management","units","chupilko","kamkin","kotsynyak","protsenko","smolov","tatarnikov"],"keywords":[],"authorIDs":[],"dataSources":["7supHakfuKN3wzsvy"]}