{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:21:00Z","timestamp":1732033260799},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/ase.2009.82","type":"proceedings-article","created":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T14:48:44Z","timestamp":1269442124000},"page":"495-499","source":"Crossref","is-referenced-by-count":16,"title":["Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking"],"prefix":"10.1109","author":[{"given":"KyungHee","family":"Kim","sequence":"first","affiliation":[]},{"given":"Tuba","family":"Yavuz-Kahveci","sequence":"additional","affiliation":[]},{"given":"Beverly A.","family":"Sanders","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0130-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.82"},{"journal-title":"Amino Concurrent Building Blocks","year":"0","key":"ref6"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"ref5"},{"journal-title":"The Java Grande forum benchmark suite","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74591-4_4"},{"journal-title":"POPL '05 Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","first-page":"378","year":"2005","author":"manson","key":"ref1"}],"event":{"name":"2009 24th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2009,11,16]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2009,11,20]]}},"container-title":["2009 IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5431684\/5431686\/05431746.pdf?arnumber=5431746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:39:05Z","timestamp":1489865945000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5431746\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/ase.2009.82","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}
