{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:51:51Z","timestamp":1725637911673},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_48","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T09:05:35Z","timestamp":1322816735000},"page":"437-450","source":"Crossref","is-referenced-by-count":1,"title":["A Taxonomy of Concurrency Bugs in Event-Driven Programs"],"prefix":"10.1007","author":[{"given":"Guy Martin","family":"Tchamgoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ok-Kyoon","family":"Ha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyong-Hoon","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"48_CR1","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1016\/0141-9331(94)90038-8","volume":"18","author":"K.M.R. Audenaert","year":"1994","unstructured":"Audenaert, K.M.R., Levrouw, L.J.: Interrupt Replay: A Debugging Method for Parallel Programs with Interrupts. Microprocessors and Microsystems\u00a018(10), 601\u2013612 (1994)","journal-title":"Microprocessors and Microsystems"},{"key":"48_CR2","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative Task Management without Manual Stack Management. In: Proceedings of the 2002 Usenix Annual Technical Conference, pages 14, USENIX (2002)"},{"key":"48_CR3","unstructured":"Baker, A., Lozano, J.: The Windows 2000 Device Driver Book: A Guide for Programmers, 2nd edn., pages 480. Prentice Hall (2009)"},{"key":"48_CR4","unstructured":"Corbet, J., Rubini, A., Kroah-Hartman, G.: Linux Device Drivers, 3rd edn., pages 640. O\u2019Reilly Media (2009)"},{"key":"48_CR5","volume-title":"The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities","author":"M. Dowd","year":"2006","unstructured":"Dowd, M., McDonald, J., Schuh, J.: The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities, 1st edn. Addison-Wesley Professional, Massachusetts (2006)","edition":"1"},{"key":"48_CR6","unstructured":"Erickson, J., Musuvathi, M., Burckhardt, S., Olynyk, K.: Effective Data-Race Detection for the Kernel. In: The 9th USENIX Conference on Operating Systems Design and Implementation (OSDI 2010). USENIX (2010)"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent Bug Patterns and How to Test Them. In: Parallel and Distributed Processing Symposium (IPDPS 2003), pp. 22\u201326. IEEE (2003)","DOI":"10.1109\/IPDPS.2003.1213511"},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/982962.964023","volume":"39","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs. ACM SIGPLAN Notices\u00a039(1), 256\u2013267 (2004)","journal-title":"ACM SIGPLAN Notices"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., Behren, R.V., Welsh, M., Brewer, E., Culler, D.: The nesC Language: A holistic Approach to Networked Embedded Systems. In: Programming Language Design and Implementation (PLDI 2003), pp. 1\u201311. ACM (2003)","DOI":"10.1145\/781131.781133"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Gracioli, G., Fischmeister, S.: Tracing Interrupts in Embedded Software. In: International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2009), pp. 137\u2013146. ACM (2009)","DOI":"10.1145\/1542452.1542471"},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"Higashi, M., Yamamoto, T., Hayase, Y., Ishio, T., Inoue, K.: An Effective Method to Control Interrupt Handler for Data Race Detection. In: 5th International Workshop on Automation of Software Test (AST 2010), pp. 79\u201386. ACM (2010)","DOI":"10.1145\/1808266.1808278"},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D.E., Pister, K.S.J.: System Architecture Directions for Networked Sensors. In: Architectural Support for Programming Languages and Operating Systems, pp. 93\u2013104. ACM (2000)","DOI":"10.1145\/378993.379006"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Lai, Z., Cheung, S.C., Chan, W.K.: Inter-Context Control-Flow and Data-Flow Test Adequacy Criteria for nesC Applications. In: The 16th International Symposium on Foundations of Software Engineering (SIGSOFT 2008\/FSE-16), pp. 94\u2013104. ACM (2008)","DOI":"10.1145\/1453101.1453115"},{"issue":"5","key":"48_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"36","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The Problem with Threads. IEEE Computer\u00a036(5), 33\u201342 (2006)","journal-title":"IEEE Computer"},{"issue":"7","key":"48_CR15","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N.G. Leveson","year":"1993","unstructured":"Leveson, N.G., Turner, C.S.: An Investigation of the Therac-25 Accidents. IEEE Computer\u00a026(7), 18\u201341 (1993)","journal-title":"IEEE Computer"},{"key":"48_CR16","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from Mistakes? A Comprehensive Study on Real World Concurrency Bug Characteristics. In: International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2008), pp. 329\u2013339. ACM (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"48_CR17","doi-asserted-by":"crossref","unstructured":"Li, Z., Lin, T., Wang, X., Lu, S., Zhou, Y., Zhai, C.: Have Things Changed Now? - An Empirical Study of Bug Characteristics in Modern Open Source Software. In: The 9th Asian Symposium on Information Display (ASID 2006), pp. 25\u201333. ACM (2006)","DOI":"10.1145\/1181309.1181314"},{"key":"48_CR18","unstructured":"Ousterhout, J.K.: Why Threads are a Bad Idea (for most purposes). In: Invited talk at the 1996 USENIX Technical Conference. USENIX (1996)"},{"key":"48_CR19","doi-asserted-by":"crossref","unstructured":"Regehr, J.: Random Testing of Interrupt-Driven Software. In: International Conference on Embedded Software (EMSOFT 2005), pp.290\u2013298. ACM (2005)","DOI":"10.1145\/1086228.1086282"},{"key":"48_CR20","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2007.04.002","volume":"174","author":"J. Regehr","year":"2007","unstructured":"Regehr, J., Cooprider, N.: Interrupt Verification via Thread Verification. Electronic Notes in Theoretical Computer Science\u00a0174, 139\u2013150 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"48_CR21","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1145\/1113830.1113833","volume":"4","author":"J. Regehr","year":"2005","unstructured":"Regehr, J., Reid, A., Webb, K.: Eliminating Stack Overflow by Abstract Interpretation. ACM Transactions on Embedded Computing Systems\u00a04(4), 751\u2013778 (2005)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"48_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-27866-5_11","volume-title":"Euro-Par 2004 Parallel Processing","author":"M. Ronsse","year":"2004","unstructured":"Ronsse, M., Maebe, J., De Bosschere, K.: Detecting Data Races in Sequential Programs with DIOTA. In: Danelutto, M., Vanneschi, M., Laforenza, D. (eds.) Euro-Par 2004. LNCS, vol.\u00a03149, pp. 82\u201389. Springer, Heidelberg (2004)"},{"key":"48_CR23","doi-asserted-by":"crossref","unstructured":"Ryzhyk, L., Chubb, P., Kuz, I., Heiser, G.: Dingo: Taming Device Drivers. In: The 4th ACM European Conference on Computer Systems (EuroSys 2009), pp. 275\u2013288. ACM (2009)","DOI":"10.1145\/1519065.1519095"},{"key":"48_CR24","doi-asserted-by":"crossref","unstructured":"Sahoo, S.K., Criswell, J., Adve, V.: An Empirical Study of Reported Bugs in Server Software with Implications for Automated Bug Diagnosis. In: The International Conference on Software Engineering (ICSE 2010), pp. 485\u2013494. ACM (2010)","DOI":"10.1145\/1806799.1806870"},{"key":"48_CR25","doi-asserted-by":"crossref","unstructured":"Sundaram, V., Eugster, P., Zhang, X.: Lightweight Tracing for Wireless Sensor Networks Debugging. In: The Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks (MidSens 2009), pp. 13\u201318. ACM (2009)","DOI":"10.1145\/1658192.1658195"},{"key":"48_CR26","doi-asserted-by":"crossref","unstructured":"Tahara, T., Gondow, K., Ohsuga, S.: Dracula: Detector of Data Races in Signals Handlers. In: The 15th IEEE Asia-Pacific Software Engineering Conference (APSEC 2008), pp. 17\u201324. IEEE (2008)","DOI":"10.1109\/APSEC.2008.25"},{"key":"48_CR27","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-20998-7_25","volume-title":"Ubiquitous Computing and Multimedia Applications","author":"G.M. Tchamgoue","year":"2011","unstructured":"Tchamgoue, G.M., Ha, O.-K., Kim, K.-H., Jun, Y.-K.: Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers. In: Kim, T.-h., Adeli, H., Robles, R.J., Balitanas, M. (eds.) UCMA 2011, Part II. CCIS, vol.\u00a0151, pp. 201\u2013208. Springer, Heidelberg (2011)"},{"issue":"3","key":"48_CR28","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/1961296.1950395","volume":"46","author":"W. Zhang","year":"2011","unstructured":"Zhang, W., Lim, J., Olichandran, R., Scherpelz, J., Jin, G.: ConSeq: Detecting Concurrency Bugs through Sequential Errors. ACM SIGPLAN Notices\u00a046(3), 251\u2013264 (2011)","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,18]],"date-time":"2021-12-18T06:36:11Z","timestamp":1639809371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_48","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}