{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:07:10Z","timestamp":1745989630638,"version":"3.37.3"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National Basic Research (973) Program of China","award":["2014CB340702"],"award-info":[{"award-number":["2014CB340702"]}]},{"DOI":"10.13039\/501100001809","name":"National Science Foundation of China (NSFC)","doi-asserted-by":"publisher","award":["61502465","91418206"],"award-info":[{"award-number":["61502465","91418206"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2016,9,1]]},"DOI":"10.1109\/tse.2016.2537335","type":"journal-article","created":{"date-parts":[[2016,3,2]],"date-time":"2016-03-02T19:13:37Z","timestamp":1456946017000},"page":"825-842","source":"Crossref","is-referenced-by-count":17,"title":["Dynamic Testing for Deadlocks via Constraints"],"prefix":"10.1109","volume":"42","author":[{"given":"Yan","family":"Cai","sequence":"first","affiliation":[]},{"given":"Qiong","family":"Lu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606578"},{"key":"ref38","first-page":"309","article-title":"MulticoreSDK: A practical and efficient deadlock detector for real-world applications","author":"luo","year":"0","journal-title":"Proc IEEE 4th Int'l Conf Software Testing Verification and Validation"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref32","first-page":"406","article-title":"RaceMob: Crowdsourced data race detection","author":"kasikci","year":"0","journal-title":"Proc ACM Symp Operat Syst Principles"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_49"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958217"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref35","first-page":"235","article-title":"Detecting atomic-set serializability violations for concurrent programs through active randomized testing","author":"lai","year":"0","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref27","first-page":"22","article-title":"Automatically classifying benign and harmful data races using replay analysis","author":"narayanasamy","year":"0","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref29","first-page":"295","article-title":"Deadlock immunity: Enabling systems to defend against deadlocks","author":"jula","year":"0","journal-title":"Proc 8th USENIX Conf Operating Syst Des Implementation"},{"year":"0","key":"ref2"},{"year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"ref21","article-title":"A cross-run lock discipline checker for Java","author":"farchi","year":"0","journal-title":"Proc of Workshop on Parallel and Distributed Systems Testing and Debugging"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"ref23","first-page":"1","article-title":"Verifying concurrent programs: Tutorial talk","volume":"1","author":"gupta","year":"0","journal-title":"Proc Int Conf Formal Methods Comput -Aided Des"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"ref50","first-page":"281","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"0","journal-title":"Proc USENIX Conf Operating System Design and Implementations"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-4042-0"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-4900-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref11","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"0","journal-title":"Proc 8th USENIX Conf Operating Syst Des Implementation"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2301725"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2307864"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227156"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568312"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442560"},{"key":"ref18","article-title":"Selective symbolic execution","author":"chipounov","year":"0","journal-title":"Proc Workshop Hot Topics in System Dependability"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.14"},{"year":"0","key":"ref4"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_14"},{"year":"0","key":"ref5"},{"key":"ref8","first-page":"208","article-title":"Scalable dynamic deadlock analysis of multi-threaded programs","author":"bensalem","year":"0","journal-title":"Proc 1st Haifa Int Conf Hardware Softw Verification Testing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147412"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660238"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555262"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.68"},{"key":"ref42","first-page":"25","article-title":"CTrigger: Exposing atomicity violation bugs from their hiding places","author":"park","year":"0","journal-title":"Proc Arch Support Program Languages Operat Syst"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_7"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_16"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254126"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/32\/7569153\/07423814.pdf?arnumber=7423814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:03:19Z","timestamp":1642003399000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7423814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,1]]},"references-count":55,"journal-issue":{"issue":"9"},"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/tse.2016.2537335","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2016,9,1]]}}}