{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:56:26Z","timestamp":1730274986583,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iske.2008.4731013","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T14:18:38Z","timestamp":1231942718000},"page":"662-667","source":"Crossref","is-referenced-by-count":1,"title":["A race condition graph for concurrent program behavior"],"prefix":"10.1109","author":[{"family":"Yan Chen","sequence":"first","affiliation":[]},{"family":"Yann-Hang Lee","sequence":"additional","affiliation":[]},{"given":"W.Eric","family":"Wong","sequence":"additional","affiliation":[]},{"family":"Donghui Guo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/238020.238033"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1991.184003"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"6","first-page":"321","volume":"35","author":"klein","year":"2003","journal-title":"Detecting Race Conditions in Parallel Programs that Use Semaphores Algorithmica"},{"key":"5","first-page":"261","article-title":"race analysis of traces of asynchronous message-passing programs","author":"tai","year":"1997","journal-title":"Proc of ICDCS'97"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01901615"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"8","first-page":"179","author":"pozniansky","year":"2003","journal-title":"Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs PPoPP'03"}],"event":{"name":"2008 3rd International Conference on Intelligent System and Knowledge Engineering (ISKE 2008)","start":{"date-parts":[[2008,11,17]]},"location":"Xiamen, China","end":{"date-parts":[[2008,11,19]]}},"container-title":["2008 3rd International Conference on Intelligent System and Knowledge Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4711037\/4730884\/04731013.pdf?arnumber=4731013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:17:25Z","timestamp":1489749445000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4731013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iske.2008.4731013","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}