{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T17:25:16Z","timestamp":1763227516159,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031646256"},{"type":"electronic","value":"9783031646263"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64626-3_6","type":"book-chapter","created":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T13:01:58Z","timestamp":1720875718000},"page":"91-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Intrathread Method Orders Based Adaptive Testing of\u00a0Concurrent Objects"],"prefix":"10.1007","author":[{"given":"Yibo","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shecheng","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linhai","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,14]]},"reference":[{"issue":"8","key":"6_CR1","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1109\/TSE.2017.2707089","volume":"44","author":"FA Bianchi","year":"2017","unstructured":"Bianchi, F.A., Margara, A., Pezz\u00e8, M.: A survey of recent trends in testing concurrent software systems. IEEE Trans. Softw. Eng. 44(8), 747\u2013783 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1007\/s11390-016-1669-8","volume":"31","author":"J Huang","year":"2016","unstructured":"Huang, J., Zhang, C.: Debugging concurrent software: advances and challenges. J. Comput. Sci. Technol. 31, 861\u2013868 (2016)","journal-title":"J. Comput. Sci. Technol."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.infsof.2018.07.001","volume":"103","author":"L Ma","year":"2018","unstructured":"Ma, L., Wu, P., Chen, T.Y.: Diversity driven adaptive test generation for concurrent data structures. Inf. Softw. Technol. 103, 162\u2013173 (2018)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/1735970.1736040","volume":"38","author":"S Burckhardt","year":"2010","unstructured":"Burckhardt, S., Kothari, P., Musuvathi, M., Nagarakatte, S.: A randomized scheduler with probabilistic guarantees of finding bugs. ACM SIGARCH Comput. Archit. News 38(1), 167\u2013178 (2010)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1047659.1040315","volume":"40","author":"C Flanagan","year":"2005","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. ACM Sigplan Not. 40(1), 110\u2013121 (2005)","journal-title":"ACM Sigplan Not."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"26984","DOI":"10.1109\/ACCESS.2019.2901588","volume":"7","author":"L Bo","year":"2019","unstructured":"Bo, L., Jiang, S., Qian, J., Wang, R., Wang, X.: Efficient test case generation for thread-safe classes. IEEE Access 7, 26984\u201326995 (2019)","journal-title":"IEEE Access"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Wen, C., He, M., Wu, B., Xu, Z., Qin, S.: Controlled concurrency testing via periodical scheduling. In: Proceedings of the 44th International Conference on Software Engineering, pp. 474\u2013486 (2022)","DOI":"10.1145\/3510003.3510178"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Choudhary, A., Lu, S., Pradel, M.: Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. In: 2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE), pp. 266\u2013277 (2017)","DOI":"10.1109\/ICSE.2017.32"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Terragni, V., Cheung, S. C.: Coverage-driven test code generation for concurrent classes. In: Proceedings of the 38th International Conference on Software Engineering, pp. 1121\u20131132 (2016)","DOI":"10.1145\/2884781.2884876"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Wang, Z., Zhao, Y., Liu, S., Sun, J., Chen, X., Lin, H.: Map-coverage: a novel coverage criterion for testing thread-safe classes. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 722\u2013734 (2019)","DOI":"10.1109\/ASE.2019.00073"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: International Symposium on Code Generation and Optimization, pp. 75-86 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Sui, Y., Xue, J.: SVF: interprocedural static value-flow analysis in LLVM. In: Proceedings of the 25th International Conference on Compiler Construction, pp. 265\u2013266 (2016)","DOI":"10.1145\/2892208.2892235"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-72951-8_11","volume-title":"Structural Information and Communication Complexity","author":"M Herlihy","year":"2007","unstructured":"Herlihy, M., Lev, Y., Luchangco, V., Shavit, N.: A simple optimistic skiplist algorithm. In: Prencipe, G., Zaks, S. (eds.) SIROCCO 2007. LNCS, vol. 4474, pp. 124\u2013138. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72951-8_11"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11795490_3","volume-title":"Principles of Distributed Systems","author":"S Heller","year":"2006","unstructured":"Heller, S., Herlihy, M., Luchangco, V., Moir, M., Scherer, W.N., Shavit, N.: A lazy concurrent list-based set algorithm. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol. 3974, pp. 3\u201316. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11795490_3"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Michael, M.M., Scott, M.L.: Simple, fast, and practical non-blocking and blocking concurrent queue algorithms. In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 267\u2013275 (1996)","DOI":"10.1145\/248052.248106"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Hendler, D., Shavit, N., Yerushalmi, L.: A scalable lock-free stack algorithm. In: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, pp. 206-215 (2004)","DOI":"10.1145\/1007912.1007944"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Nagarakatte, S., Burckhardt, S., Martin, M.M., Musuvathi, M.: Multicore acceleration of priority-based schedulers for concurrency bug detection. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 543\u2013554 (2012)","DOI":"10.1145\/2254064.2254128"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Emmi, M., Qadeer, S., Rakamari\u0107, Z.: Delay-bounded scheduling. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 411\u2013422 (2011)","DOI":"10.1145\/1926385.1926432"},{"key":"6_CR19","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI (2008)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Wang, C., Said, M., Gupta, A.: Coverage guided systematic concurrency testing. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 221\u2013230 (2011)","DOI":"10.1145\/1985793.1985824"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Wang, Z., Zhang, D., Liu, S., Sun, J., Zhao, Y.: Adaptive randomized scheduling for concurrency bug detection. In: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 124\u2013133 (2019)","DOI":"10.1109\/ICECCS.2019.00021"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Yuan, M., Lee, Y., Zhang, C., Li, Y., Cai, Y., Zhao, B.: RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 593\u2013606 (2021)","DOI":"10.1145\/3460319.3464831"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Zhu, S., Guo, Y., Zhang, L., Cai, Y.: Tolerate control-flow changes for sound data race prediction. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), pp. 1342\u20131354 (2023)","DOI":"10.1109\/ICSE48619.2023.00118"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Cai, Y., Yun, H., Wang, J., Qiao, L., Palsberg, J.: Sound and efficient concurrency bug prediction. In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 255\u2013267 (2021)","DOI":"10.1145\/3468264.3468549"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Pradel, M., Gross, T. R.: Fully automatic and precise detection of thread safety violations. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 521\u2013530 (2012)","DOI":"10.1145\/2254064.2254126"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., et al.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 329\u2013339 (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"6_CR27","unstructured":"Herlihy, M., Shavit, N., Luchangco, V., Spear, M.: The Art of Multiprocessor Programming. Newnes (2020)"},{"key":"6_CR28","unstructured":"SkipList. https:\/\/github.com\/shreyas-gopalakrishna\/Concurrent-Skip-list. Accessed 11 Jan 2021"},{"key":"6_CR29","unstructured":"Ring_Queue. https:\/\/github.com\/dodng\/fast_ring_queue. Accessed 12 Sept 2018"},{"key":"6_CR30","unstructured":"Hashmap. https:\/\/github.com\/kumagi\/hashmap. Accessed 29 Mar 2011"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64626-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T16:16:39Z","timestamp":1741796199000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64626-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031646256","9783031646263"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64626-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guiyang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tase2024.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}