{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T15:40:07Z","timestamp":1751816407752,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999326"},{"type":"electronic","value":"9783319999333"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99933-3_7","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T12:33:39Z","timestamp":1535200419000},"page":"108-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interleaving-Tree Based Fine-Grained Linearizability Fault Localization"],"prefix":"10.1007","author":[{"given":"Yang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenya","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"key":"7_CR1","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level data races. Softw. Test. Verif. Reliab. 13(4), 207\u2013227 (2003)"},{"key":"7_CR2","unstructured":"Ben-Asher, Y., Farchi, E., Eytani, Y.: Heuristics for finding concurrent bugs. In: International Symposium on Parallel and Distributed Processing, p. 288a (2003)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Emmi, M., Enea, C., Hamza, J.: Tractable refinement checking for concurrent objects. In: Rajamani, S.K., Walker, D. (eds.) Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, 15\u201317 January 2015, pp. 651\u2013662. ACM (2015)","DOI":"10.1145\/2676726.2677002"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.: Line-up: a complete and automatic linearizability checker. In: Zorn, B.G., Aiken, A. (eds.) Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, 5\u201310 June 2010, pp. 330\u2013340. ACM (2010)","DOI":"10.1145\/1806596.1806634"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Srinivasan, H.: Deterministic replay of java multithreaded applications. In: Proceedings of the Sigmetrics Symposium on Parallel & Distributed Tools, pp. 48\u201359 (2000)","DOI":"10.1145\/281035.281041"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Doherty, S., et al.: DCAS is not a silver bullet for nonblocking algorithm design. In: Gibbons, P.B., Adler, M. (eds.) Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2004, 27\u201330 June 2004, Barcelona, Spain, pp. 216\u2013224. ACM (2004)","DOI":"10.1145\/1007912.1007945"},{"issue":"3\u20135","key":"7_CR7","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded Java programs. Concurr. Comput.: Pract. Exp. 15(3\u20135), 485\u2013499 (2003)","journal-title":"Concurr. Comput.: Pract. Exp."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Emmi, M., Enea, C., Hamza, J.: Monitoring refinement via symbolic reasoning. In: Grove, D., Blackburn, S. (eds.) Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 15\u201317 June 2015, pp. 260\u2013269. ACM (2015)","DOI":"10.1145\/2737924.2737983"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22\u201326 April 2003, Nice, France, CD-ROM\/Abstracts Proceedings, p. 286. IEEE Computer Society (2003)","DOI":"10.1109\/IPDPS.2003.1213511"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Gottschlich, J.E., Pokam, G., Pereira, C., Wu, Y.: Concurrent predicates: a debugging technique for every parallel programmer. In: Fensch, C., O\u2019Boyle, M.F.P., Seznec, A., Bodin, F. (eds.) Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, Edinburgh, United Kingdom, 7\u201311 September 2013, pp. 331\u2013340. IEEE Computer Society (2013)","DOI":"10.1109\/PACT.2013.6618822"},{"key":"7_CR11","unstructured":"Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Elsevier (2012)"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-19195-9_4","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"A Horn","year":"2015","unstructured":"Horn, A., Kroening, D.: Faster linearizability checking via P-compositionality. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 50\u201365. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19195-9_4"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Khoshnood, S., Kusano, M., Wang, C.: Concbugassist: constraint solving for diagnosis and repair of concurrency bugs. In: Young, M., Xie, T. (eds.) Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, 12\u201317 July 2015, pp. 165\u2013176. ACM (2015)","DOI":"10.1145\/2771783.2771798"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-30186-8_9","volume-title":"Distributed Computing","author":"E Ladan-Mozes","year":"2004","unstructured":"Ladan-Mozes, E., Shavit, N.: An optimistic approach to lock-free FIFO queues. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol. 3274, pp. 117\u2013131. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30186-8_9"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Liu, B., Qi, Z., Wang, B., Ma, R.: Pinso: precise isolation of concurrency bugs via delta triaging. In: 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, 29 September\u20133 October 2014, pp. 201\u2013210. IEEE Computer Society (2014)","DOI":"10.1109\/ICSME.2014.42"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Long, Z., Zhang, Y.: Checking linearizability with fine-grained traces. In: Ossowski, S. (ed.) Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, 4\u20138 April 2016, pp. 1394\u20131400. ACM (2016)","DOI":"10.1145\/2851613.2851774"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Testing for linearizability. Concurr. Comput.: Pract. Exp. 29(4), e3928 (2017)","DOI":"10.1002\/cpe.3928"},{"key":"7_CR19","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: Eggers, S.J., Larus, J.R. (eds.) Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, 1\u20135 March 2008, pp. 329\u2013339. ACM (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: Ferrante, J., McKinley, K.S. (eds.) Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, 10\u201313 June 2007, pp. 446\u2013455. ACM (2007)","DOI":"10.1145\/1250734.1250785"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Park, C., Sen, K.: Concurrent breakpoints. In: Ramanujam, J., Sadayappan, P. (eds.) Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, 25\u201329 February 2012, pp. 331\u2013332. ACM (2012)","DOI":"10.1145\/2145816.2145880"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Park, S.: Fault comprehension for concurrent programs. In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) 35th International Conference on Software Engineering, ICSE \u201913, San Francisco, CA, USA, 18\u201326 May 2013, pp. 1444\u20131446. IEEE Computer Society (2013)","DOI":"10.1109\/ICSE.2013.6606739"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R.W., Harrold, M.J.: Falcon: fault localization in concurrent programs. In: Kramer, J., Bishop, J., Devanbu, P.T., Uchitel, S. (eds.) Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1\u20138 May 2010, pp. 245\u2013254. ACM (2010)","DOI":"10.1145\/1806799.1806838"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R.W., Harrold, M.J.: A unified approach for localizing non-deadlock concurrency bugs. In: Antoniol, G., Bertolino, A., Labiche, Y. (eds.) Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, 17\u201321 April 2012, pp. 51\u201360. IEEE Computer Society (2012)","DOI":"10.1109\/ICST.2012.85"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Shi, Y., et al.: Do I use the wrong definition?: Defuse: definition-use invariants for detecting concurrency and sequential bugs. In: Cook, W.R., Clarke, S., Rinard, M.C. (eds.) Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, 17\u201321 October 2010, Reno\/Tahoe, Nevada, USA, pp. 160\u2013174. ACM (2010)","DOI":"10.1145\/1869459.1869474"},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/S1571-0661(04)80582-6","volume":"70","author":"SD Stoller","year":"2002","unstructured":"Stoller, S.D.: Testing concurrent java programs using randomized scheduling. Electr. Not. Theor. Comput. Sci. 70(4), 142\u2013157 (2002)","journal-title":"Electr. Not. Theor. Comput. Sci."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Vechev, M.T., Yahav, E.: Deriving linearizable fine-grained concurrent objects. In: Gupta, R., Amarasinghe, S.P. (eds.) Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, 7\u201313 June 2008, pp. 125\u2013135. ACM (2008)","DOI":"10.1145\/1375581.1375598"},{"issue":"1\u20132","key":"7_CR28","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/jpdc.1993.1015","volume":"17","author":"JM Wing","year":"1993","unstructured":"Wing, J.M., Gong, C.: Testing and verifying concurrent objects. J. Parallel Distrib. Comput. 17(1\u20132), 164\u2013182 (1993)","journal-title":"J. Parallel Distrib. Comput."},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Wu, P., Zhang, Y.: Localization of linearizability faults on the coarse-grained level. In: He, X. (ed.) The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, 5\u20137 July 2017, pp. 272\u2013277. KSI Research Inc. and Knowledge Systems Institute Graduate School (2017)","DOI":"10.18293\/SEKE2017-145"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99933-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T15:19:40Z","timestamp":1751815180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99933-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999326","9783319999333"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99933-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}