{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:31:43Z","timestamp":1760596303610,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116198","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T23:28:37Z","timestamp":1592263717000},"page":"538-543","source":"Crossref","is-referenced-by-count":11,"title":["A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification"],"prefix":"10.23919","author":[{"given":"Nicolas","family":"Pfeifer","sequence":"first","affiliation":[]},{"given":"Bruno V.","family":"Zimpel","sequence":"additional","affiliation":[]},{"given":"Gabriel A. G.","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Luiz C. V.","family":"dos Santos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0119-0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100077"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1028176.1006710"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11796","article-title":"Rainbow: Combining improvements in deep reinforcement learning","author":"hessel","year":"2018","journal-title":"AAAI Conference on Artificial Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.41"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3194718.3194720"},{"key":"ref17","first-page":"635","article-title":"Pipe check: Specifying and verifying microarchitectural enforcement of memory consistency models","author":"lustig","year":"2014","journal-title":"Proc the annual IEEE\/ACM International Symposium on Microarchitecture"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209269"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2016.7753340"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35289-8_38"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.373"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2016.7446099"},{"journal-title":"McVerSi Framework","year":"2016","author":"elver","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593241"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2024716.2024718","article-title":"The gem5 simulator","volume":"39","author":"binkert","year":"2011","journal-title":"SIGARCH Comput Archit News"},{"key":"ref20","first-page":"3","article-title":"Automated generation of directed tests for transition coverage in cache coherence protocols","author":"qin","year":"2012","journal-title":"Design Automation and Test in Europe (DATE)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403539"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742082"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2020,3,9]]},"location":"Grenoble, France","end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116198.pdf?arnumber=9116198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,28]],"date-time":"2022-10-28T19:39:21Z","timestamp":1666985961000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116198","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}