{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:07:57Z","timestamp":1725516477712},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642317583"},{"type":"electronic","value":"9783642317590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31759-0_14","type":"book-chapter","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T00:59:50Z","timestamp":1342659590000},"page":"191-207","source":"Crossref","is-referenced-by-count":6,"title":["McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking"],"prefix":"10.1007","author":[{"given":"Reng","family":"Zeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuo","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Su","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xudong","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Poulsen, K.: Software bug contributed to blackout (2004), http:\/\/www.securityfocus.com\/news\/8016 (Online accessed July 16, 2011)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: detecting atomicity violations via access interleaving invariants. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, pp. 37\u201348 (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Luk, C., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: The 2005 ACM Conference on Programming Language Design and Implementation, PLDI 2005, Chicago, IL, USA, pp. 190\u2013200 (2005)","DOI":"10.1145\/1064978.1065034"},{"key":"14_CR4","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"issue":"99","key":"14_CR5","first-page":"1","volume":"PP","author":"S. Lu","year":"2011","unstructured":"Lu, S., Park, S., Zhou, Y.: Finding Atomicity-Violation bugs through unserializable interleaving testing. IEEE Transactions on Software Engineering\u00a0PP(99), 1 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-12002-2_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C. Wang","year":"2010","unstructured":"Wang, C., Limaye, R., Ganai, M., Gupta, A.: Trace-Based Symbolic Analysis for Atomicity Violations. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 328\u2013342. Springer, Heidelberg (2010)"},{"issue":"7","key":"14_CR7","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"14_CR8","volume-title":"Concurrency control and recovery in database systems","author":"P.A. Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems, vol.\u00a05. Addison-Wesley, New York (1987)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Yu, J., Narayanasamy, S.: A case for an interleaving constrained shared-memory multi-processor. In: Proceedings of the 36th International Symposium on Computer Architecture, ISCA 2009, Austin, TX, USA, pp. 325\u2013336 (2009)","DOI":"10.1145\/1555754.1555796"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Woo, S.C., Ohara, M., Torrie, E., Singh, J.P., Gupta, A.: The SPLASH-2 programs: characterization and methodological considerations. In: Proceedings of the 22nd International Symposium on Computer Architecture, ISCA 1995, Madison, WI, USA, pp. 24\u201336 (1995)","DOI":"10.1145\/223982.223990"},{"key":"14_CR11","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008, San Diego, CA, USA, pp. 267\u2013280 (2008)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008, Tucson, AZ, USA, pp. 293\u2013303 (2008)","DOI":"10.1145\/1375581.1375618"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/TSE.2006.1599419","volume":"32","author":"L. Wang","year":"2006","unstructured":"Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multithreaded programs. IEEE Transactions on Software Engineering\u00a032, 93\u2013110 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Sorrentino, F., Farzan, A., Madhusudan, P.: Penelope: weaving threads to expose atomicity violations. In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2010, Santa Fe, NM, USA, pp. 37\u201346 (2010)","DOI":"10.1145\/1882291.1882300"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-00768-2_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Farzan","year":"2009","unstructured":"Farzan, A., Madhusudan, P.: The Complexity of Predicting Atomicity Violations. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 155\u2013169. Springer, Heidelberg (2009)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Chen, F., Serbanuta, T.F., Rosu, G.: jPredictor: a predictive runtime analysis tool for java. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, Leipzig, Germany, pp. 221\u2013230 (2008)","DOI":"10.1145\/1368088.1368119"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31759-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T02:47:56Z","timestamp":1642819676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31759-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642317583","9783642317590"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31759-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}