{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:29:51Z","timestamp":1725791391223},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/icse.2017.34","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T16:38:20Z","timestamp":1500568700000},"page":"289-299","source":"Crossref","is-referenced-by-count":28,"title":["Repairing Event Race Errors by Controlling Nondeterminism"],"prefix":"10.1109","author":[{"given":"Christoffer Quist","family":"Adamsen","sequence":"first","affiliation":[]},{"given":"Anders","family":"Moller","sequence":"additional","affiliation":[]},{"given":"Rezwana","family":"Karim","sequence":"additional","affiliation":[]},{"given":"Manu","family":"Sridharan","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1145\/2451116.2451129"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/2635868.2635885"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/2025113.2025121"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.21236\/ADA640252"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/1963405.1963517"},{"year":"2009","author":"ide","journal-title":"Workshop on Exploiting Concurrency Efficiently and Correctly","article-title":"Concurrency concerns in rich internet applications","key":"ref10"},{"year":"2015","author":"jensen","journal-title":"Proc 30th ACM SIGPLAN International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA)","article-title":"Stateless model checking of event-driven applications","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/1993498.1993544"},{"year":"2012","author":"jin","journal-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI'02)","article-title":"Automated concurrency-bug fixing","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/2771783.2771798"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/1273647.1273658"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/ICSE.2012.6227184"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/2451116.2451121"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/MM.2009.1"},{"year":"2014","author":"maiya","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation (PLDI)","article-title":"Race detection for Android applications","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/2931037.2931052"},{"year":"0","journal-title":"RequireJS","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/2043556.2043590"},{"year":"0","journal-title":"mitmproxy","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1755913.1755945"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1145\/2048066.2048071"},{"year":"2015","author":"bielik","journal-title":"Proc 30th ACM SIGPLAN International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA)","article-title":"Scalable race detection for Android applications","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/ICST.2014.17"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1839676.1839699"},{"year":"0","journal-title":"Chrome Debugging Protocol","key":"ref2"},{"year":"2014","author":"hsiao","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation (PLDI)","article-title":"Race detection for event-driven mobile applications","key":"ref9"},{"year":"0","journal-title":"W3C Document Object Model Level 2 Events Specification","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/2617548.2617549"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/2254064.2254095"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/2786805.2786820"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TC.2011.48"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/1508244.1508266"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1016\/j.jss.2016.02.051"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/2509136.2509538"}],"event":{"name":"2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2017,5,20]]},"location":"Buenos Aires","end":{"date-parts":[[2017,5,28]]}},"container-title":["2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7976701\/7985634\/07985670.pdf?arnumber=7985670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T22:20:59Z","timestamp":1506982859000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7985670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icse.2017.34","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}
