{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T20:15:42Z","timestamp":1781727342326,"version":"3.54.5"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227156","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"606-616","source":"Crossref","is-referenced-by-count":47,"title":["MagicFuzzer: Scalable deadlock detection for large-scale applications"],"prefix":"10.1109","author":[{"given":"Yan","family":"Cai","sequence":"first","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W. K.","family":"Chan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_14"},{"key":"ref2","article-title":"Scalable Dynamic Deadlock Analysis of Multi-threaded Programs","author":"Bensalem","year":"2005","journal-title":"the 2005 workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD \u201905)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147412"},{"key":"ref5","article-title":"A Cross-Run Lock Discipline Checker for Java","author":"Farchi","year":"2005","journal-title":"the 2005 workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD \u201905)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_15"},{"key":"ref8","article-title":"RADBench: A Concurrency Bug Benchmark Suite","author":"Jalbert","year":"2011","journal-title":"Proceedings of the 3rd USENIX conference on Hot topic in parallelism (HotPar\u201911)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref11","first-page":"295","article-title":"and G.e Candea. Deadlock Immunity: Enabling Systems to Defend against Deadlocks","author":"Jula","year":"2008","journal-title":"Proceedings of The 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1065010"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.22"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.68"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref25","first-page":"281","article-title":"Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs","author":"Wang","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI \u201908)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227156.pdf?arnumber=6227156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:40:57Z","timestamp":1747806057000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6227156\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227156","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}