{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:50Z","timestamp":1763467970626},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120015"},{"type":"electronic","value":"9783642120022"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12002-2_35","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T01:20:25Z","timestamp":1268011225000},"page":"420-434","source":"Crossref","is-referenced-by-count":20,"title":["Preemption Sealing for Efficient Concurrency Testing"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ball","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Burckhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katherine E.","family":"Coons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: POPL, pp. 97\u2013105 (2003)","DOI":"10.1145\/604131.604140"},{"key":"35_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1147403.1147410","volume-title":"PADTAD 2006: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging","author":"Y. Ben-Asher","year":"2006","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Producing scheduling that causes concurrent programs to fail. In: PADTAD 2006: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging, pp. 37\u201340. ACM, New York (2006)"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Zeller, A.: Isolating failure-inducing thread schedules. In: ISSTA 2002: International Symposium on Software Testing and Analysis, pp. 210\u2013220 (2002)","DOI":"10.1145\/566172.566211"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: A calculus of atomic actions. In: POPL 2009: Principles of Programming Languages, pp. 2\u201315 (2009)","DOI":"10.1145\/1594834.1480885"},{"key":"35_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-70545-1_8","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2008","unstructured":"Farzan, A., Madhusudan, P.: Monitoring atomicity in concurrent programs. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 52\u201365. Springer, Heidelberg (2008)"},{"key":"35_CR6","first-page":"256","volume-title":"POPL 2004: Principles of Programming Languages","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: POPL 2004: Principles of Programming Languages, pp. 256\u2013267. ACM Press, New York (2004)"},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/781131.781169","volume-title":"PLDI 2003: Programming Language Design and Implementation","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI 2003: Programming Language Design and Implementation, pp. 338\u2013349. ACM, New York (2003)"},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/1375581.1375618","volume-title":"PLDI 2008","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI 2008, pp. 293\u2013303. ACM, New York (2008)"},{"issue":"3","key":"35_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A. Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. STTT\u00a08(3), 229\u2013247 (2006)","journal-title":"STTT"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1542476.1542489","volume-title":"PLDI 2009","author":"P. Joshi","year":"2009","unstructured":"Joshi, P., Park, C.-S., Sen, K., Naik, M.: A randomized dynamic program analysis technique for detecting real deadlocks. In: PLDI 2009, pp. 110\u2013120. ACM, New York (2009)"},{"key":"35_CR11","unstructured":"Jula, H., Tralamazza, D.M., Zamfir, C., Candea, G.: Deadlock immunity: Enabling systems to defend against deadlocks. In: OSDI 2008: Operating System Design and Implementation, pp. 295\u2013308 (2008)"},{"key":"35_CR12","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: ASPLOS 2008: Architectural Support for Programming Languages and Operating Systems (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: Avio: detecting atomicity violations via access interleaving invariants. In: ASPLOS 2006: Architectural Support for Programming Languages and Operating Systems, pp. 37\u201348 (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI 2007: Programming Language Design and Implementation, pp. 446\u2013455 (2007)","DOI":"10.1145\/1250734.1250785"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Fair stateless model checking. In: PLDI 2008: Programming Language Design and Implementation (2008)","DOI":"10.1145\/1375581.1375625"},{"key":"35_CR16","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI, pp. 267\u2013280 (2008)"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Rajamani, S.K., Ramalingam, G., Ranganath, V.P., Vaswani, K.: Isolator: dynamically ensuring isolation in comcurrent programs. In: ASPLOS 2009: Architectural Support for Programming Languages and Operating Systems, pp. 181\u2013192 (2009)","DOI":"10.1145\/1508244.1508266"},{"key":"35_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-642-00590-9_28","volume-title":"Programming Languages and Systems","author":"C. Sadowski","year":"2009","unstructured":"Sadowski, C., Freund, S.N., Flanagan, C.: Singletrack: A dynamic determinism checker for multithreaded programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 394\u2013409. Springer, Heidelberg (2009)"},{"key":"35_CR19","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1375581.1375584","volume-title":"PLDI 2008","author":"K. Sen","year":"2008","unstructured":"Sen, K.: Race directed random testing of concurrent programs. In: PLDI 2008, pp. 11\u201321. ACM, New York (2008)"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.A.: The theory of deadlock avoidance via discrete control. In: POPL 2009: Principles of Programming Languages, pp. 252\u2013263 (2009)","DOI":"10.1145\/1594834.1480913"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12002-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:26Z","timestamp":1606185986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12002-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120015","9783642120022"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12002-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}