{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T05:06:19Z","timestamp":1745643979215},"reference-count":89,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T00:00:00Z","timestamp":1613001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T00:00:00Z","timestamp":1613001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11704-020-9501-6","type":"journal-article","created":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T14:36:22Z","timestamp":1613054182000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On interleaving space exploration of multi-threaded programs"],"prefix":"10.1007","volume":"15","author":[{"given":"Dongjie","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanyan","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,11]]},"reference":[{"key":"9501_CR1","doi-asserted-by":"crossref","unstructured":"Voung J W, Jhala R, Lerner S. RELAY: static race detection on millions of lines of code. In: Proceedings of Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2007, 205\u2013214","DOI":"10.1145\/1287624.1287654"},{"key":"9501_CR2","doi-asserted-by":"crossref","unstructured":"Naik M, Aiken A, Whaley J. Effective static race detection for java. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2006, 308\u2013319","DOI":"10.1145\/1133255.1134018"},{"key":"9501_CR3","doi-asserted-by":"crossref","unstructured":"Blackshear S, Gorogiannis N, O\u2019Hearn P W, Sergey I. RacerD: compositional static race detection. In: Proceedings of ACM International Conference on Object Oriented Programming, Systems, Languages, and Applications. 2018, 1\u201328","DOI":"10.1145\/3276514"},{"key":"9501_CR4","doi-asserted-by":"crossref","unstructured":"Gorogiannis N, O\u2019Hearn P W, Sergey I. A true positives theorem for a static race detector. In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2019, 1\u201329","DOI":"10.1145\/3290370"},{"issue":"4","key":"9501_CR5","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T. Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 1997, 15(4): 391\u2013411","journal-title":"ACM Transactions on Computer Systems"},{"key":"9501_CR6","unstructured":"Netzer R. Race Condition Detection for Debugging Shared-memory Parallel Programs. University of Wisconsin-Madison, 1991"},{"key":"9501_CR7","doi-asserted-by":"crossref","unstructured":"Smaragdakis Y, Evans J, Sadowski C, Yi J, Flanagan C. Sound predictive race detection in polynomial time. In: Proceedings of Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2012, 387\u2013400","DOI":"10.1145\/2103621.2103702"},{"issue":"10","key":"9501_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/966049.781528","volume":"38","author":"R O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan R, Choi J D. Hybrid dynamic data race detection. ACM SIGPLAN Notices, 2003, 38(10): 167\u2013178","journal-title":"ACM SIGPLAN Notices"},{"key":"9501_CR9","unstructured":"Sheng T, Vachharajani N, Eranian S, Hundt R, Chen W, Zheng W. RACEZ: a lightweight and non-invasive race detection tool for production applications. In: Proceedings of International Conference on Software Engineering. 2011, 401\u2013410"},{"key":"9501_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan C, Freund S N. FastTrack: efficient and precise dynamic race detection. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2009, 121\u2013133","DOI":"10.1145\/1543135.1542490"},{"key":"9501_CR11","doi-asserted-by":"crossref","unstructured":"Marino D, Musuvathi M, Narayanasamy S. LiteRace: effective sampling for lightweight data-race detection. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2009, 134\u2013143","DOI":"10.1145\/1543135.1542491"},{"issue":"6","key":"9501_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/1809028.1806626","volume":"45","author":"M D Bond","year":"2010","unstructured":"Bond M D, Coons K E, McKinley K S. PACER: proportional detection of data races. ACM SIGPLAN Notices, 2010, 45(6): 255\u2013268","journal-title":"ACM SIGPLAN Notices"},{"key":"9501_CR13","doi-asserted-by":"crossref","unstructured":"Prvulovic M, Torrellas J. ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes. In: Proceedings of Annual International Symposium on Computer Architecture. 2003, 110\u2013121","DOI":"10.1145\/871656.859632"},{"key":"9501_CR14","doi-asserted-by":"crossref","unstructured":"Rajagopalan A K, Huang J. RDIT: race detection from incomplete traces. In: Proceedings of Joint Meeting on Foundations of Software Engineering. 2015, 914\u2013917","DOI":"10.1145\/2786805.2803209"},{"key":"9501_CR15","doi-asserted-by":"crossref","unstructured":"Cai Y, Cao L. Effective and precise dynamic detection of hidden races for java programs. In: Proceedings of Joint Meeting on Foundations of Software Engineering. 2015, 450\u2013461","DOI":"10.1145\/2786805.2786839"},{"key":"9501_CR16","doi-asserted-by":"crossref","unstructured":"Petrov B, Vechev M, Sridharan M, Dolby J. Race detection for web applications. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2012, 251\u2013262","DOI":"10.1145\/2345156.2254095"},{"key":"9501_CR17","doi-asserted-by":"crossref","unstructured":"Raychev V, Vechev M, Sridharan M. Effective race detection for event-driven programs. In: Proceedings of ACM SIGPLAN International Conference on Object Oriented Programming, Systems, Languages, and Applications. 2013, 151\u2013166","DOI":"10.1145\/2544173.2509538"},{"key":"9501_CR18","doi-asserted-by":"crossref","unstructured":"Maiya P, Kanade A, Majumdar R. Race detection for android applications. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014, 316\u2013325","DOI":"10.1145\/2666356.2594311"},{"key":"9501_CR19","doi-asserted-by":"crossref","unstructured":"Yu Y, Rodeheffer T, Chen W. RaceTrack: efficient detection of data race conditions via adaptive tracking. In: Proceedings of ACM Symposium on Operating Systems Principles. 2005, 221\u2013234","DOI":"10.1145\/1095809.1095832"},{"key":"9501_CR20","doi-asserted-by":"crossref","unstructured":"Kasikci B, Zamfir C, Candea G. RaceMob: crowdsourced data race detection. In: Proceedings of ACM Symposium on Operating Systems Principles. 2013, 406\u2013422","DOI":"10.1145\/2517349.2522736"},{"key":"9501_CR21","doi-asserted-by":"crossref","unstructured":"Choi J D, Lee K, Loginov A, O\u2019Callahan R, Sarkar V, Sarkar V, Sridharan M. Efficient and precise datarace detection for multithreaded object oriented programs. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2002, 258\u2013269","DOI":"10.1145\/543552.512560"},{"issue":"6","key":"9501_CR22","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1273442.1250738","volume":"42","author":"S Narayanasamy","year":"2007","unstructured":"Narayanasamy S, Wang Z, Tigani J, Edwards A, Calder B. Automatically classifying benign and harmful data races using replay analysis. ACM SIGPLAN Notices, 2007, 42(6): 22\u201331","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"9501_CR23","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/2248487.2150997","volume":"47","author":"B Kasikci","year":"2012","unstructured":"Kasikci B, Zamfir C, Candea G. Data races vs. data race bugs: telling the difference with portend. ACM SIGPLAN Notices, 2012, 47(4): 185\u2013198","journal-title":"ACM SIGPLAN Notices"},{"key":"9501_CR24","doi-asserted-by":"crossref","unstructured":"Lu S, Tucek J, Qin F, Zhou Y. AVIO: detecting atomicity violations via access interleaving invariants. In: Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems. 2006, 37\u201348","DOI":"10.1145\/1168917.1168864"},{"key":"9501_CR25","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 ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008, 293\u2013303","DOI":"10.1145\/1379022.1375618"},{"key":"9501_CR26","doi-asserted-by":"crossref","unstructured":"Park C S, Sen K. Randomized active atomicity violation detection in concurrent programs. In: Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2008, 135\u2013145","DOI":"10.1145\/1453101.1453121"},{"key":"9501_CR27","doi-asserted-by":"crossref","unstructured":"Park S, Lu S, Zhou Y. CTrigger: exposing atomicity violation bugs from their hiding places. In: Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems. 2009, 25\u201336","DOI":"10.1145\/1508284.1508249"},{"key":"9501_CR28","doi-asserted-by":"crossref","unstructured":"Park S, Vuduc R W, Harrold M J. Falcon: fault localization in concurrent programs. In: Proceedings of ACM\/IEEE International Conference on Software Engineering. 2010, 245\u2013254","DOI":"10.1145\/1806799.1806838"},{"key":"9501_CR29","doi-asserted-by":"crossref","unstructured":"Biswas S, Huang J, Sengupta A, Bond M D. DoubleChecker: efficient sound and precise atomicity checking. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014, 28\u201339","DOI":"10.1145\/2666356.2594323"},{"key":"9501_CR30","doi-asserted-by":"crossref","unstructured":"Flanagan C, Freund S N. Atomizer: a dynamic atomicity checker for multithreaded programs. In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2004, 256\u2013267","DOI":"10.1145\/982962.964023"},{"key":"9501_CR31","doi-asserted-by":"crossref","unstructured":"Lu S, Park S, Hu C, Ma X, Jiang W, Li Z, Popa R A, Zhou Y. MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: Proceedings of ACM SIGOPS Symposium on Operating Systems Principles. 2007, 103\u2013116","DOI":"10.1145\/1323293.1294272"},{"key":"9501_CR32","doi-asserted-by":"crossref","unstructured":"Havelund K. Using runtime analysis to guide model checking of java programs. In: Proceedings of International SPIN Workshop on Model Checking of Software. 2000, 245\u2013264","DOI":"10.1007\/10722468_15"},{"key":"9501_CR33","doi-asserted-by":"crossref","unstructured":"Cai Y, Wu S, Chan W K. ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. In: Proceedings of International Conference on Software Engineering. 2014, 491\u2013502","DOI":"10.1145\/2568225.2568312"},{"key":"9501_CR34","doi-asserted-by":"crossref","unstructured":"Eslamimehr M, Palsberg J. Sherlock: scalable deadlock detection for concurrent programs. In: Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2014, 353\u2013365","DOI":"10.1145\/2635868.2635918"},{"key":"9501_CR35","doi-asserted-by":"crossref","unstructured":"Sen K. Effective random testing of concurrent programs. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering. 2007, 323\u2013332","DOI":"10.1145\/1321631.1321679"},{"issue":"8","key":"9501_CR36","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1109\/TSE.2017.2707089","volume":"44","author":"F A Bianchi","year":"2018","unstructured":"Bianchi F A, Margara A, Pezz\u00e8 M. A survey of recent trends in testing concurrent software systems. IEEE Transactions on Software Engineering, 2018, 44(8): 747\u2013783","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9501_CR37","doi-asserted-by":"crossref","unstructured":"Thomson P, Donaldson A F, Betts A. Concurrency testing using schedule bounding: an empirical study. In: Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. 2014, 15\u201328","DOI":"10.1145\/2692916.2555260"},{"key":"9501_CR38","doi-asserted-by":"crossref","unstructured":"Desai A, Qadeer S, Seshia S A. Systematic testing of asynchronous reactive systems. In: Proceedings of Joint Meeting on Foundations of Software Engineering. 2015, 73\u201383","DOI":"10.1145\/2786805.2786861"},{"issue":"3","key":"9501_CR39","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/s11219-017-9385-3","volume":"26","author":"H Fu","year":"2018","unstructured":"Fu H, Wang Z, Chen X, Fan X. A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. Software Quality Journal, 2018, 26(3): 855\u2013889","journal-title":"Software Quality Journal"},{"issue":"5","key":"9501_CR40","doi-asserted-by":"publisher","first-page":"1572","DOI":"10.1002\/cpe.3711","volume":"28","author":"V Arora","year":"2016","unstructured":"Arora V, Bhatia R, Singh M. A systematic review of approaches for testing concurrent programs. Concurrency and Computation: Practice and Experience, 2016, 28(5): 1572\u20131611","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"9501_CR41","doi-asserted-by":"crossref","unstructured":"Souza S R S, Brito M A S, Silva R A, Souza P S L, Zaluska E. Research in concurrent software testing: a systematic review. In: Proceedings of Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. 2011, 1\u20135","DOI":"10.1145\/2002962.2002964"},{"issue":"7","key":"9501_CR42","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1785414.1785443","volume":"53","author":"P Sewell","year":"2010","unstructured":"Sewell P, Sarkar S, Owens S, Nardelli F Z, Myreen M O. X86-TSO: a rigorous and usable programmer\u2019s model for x86 multiprocessors. Communications of the ACM, 2010, 53(7): 89\u201397","journal-title":"Communications of the ACM"},{"key":"9501_CR43","doi-asserted-by":"crossref","unstructured":"Manson J, Pugh W, Adve S V. The java memory model. In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2005, 378\u2013391","DOI":"10.1145\/1047659.1040336"},{"key":"9501_CR44","doi-asserted-by":"crossref","unstructured":"Godefroid P. Model checking for programming languages using veriSoft. In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1997, 174\u2013186","DOI":"10.1145\/263699.263717"},{"issue":"6","key":"9501_CR45","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/1273442.1250785","volume":"42","author":"M Musuvathi","year":"2007","unstructured":"Musuvathi M, Qadeer S. Iterative context bounding for systematic testing of multithreaded programs. ACM SIGPLAN Notices, 2007, 42(6): 446\u2013455","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"9501_CR46","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/1925844.1926432","volume":"46","author":"M Emmi","year":"2011","unstructured":"Emmi M, Qadeer S, Rakamari\u0107 Z. Delay-bounded scheduling. ACM SIGPLAN Notices, 2011, 46(1): 411\u2013422","journal-title":"ACM SIGPLAN Notices"},{"key":"9501_CR47","doi-asserted-by":"crossref","unstructured":"Burckhardt S, Kothari P, Musuvathi M, Nagarakatte S. A randomized scheduler with probabilistic guarantees of finding bugs. In: Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems. 2010, 167\u2013178","DOI":"10.1145\/1735971.1736040"},{"key":"9501_CR48","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/978-3-319-10575-8_19","volume-title":"Handbook of Model Checking","author":"P Godefroid","year":"2018","unstructured":"Godefroid P, Sen K. Combining Model Checking and Testing. In: Handbook of Model Checking. Springer, Cham, 2018, 613\u2013649"},{"key":"9501_CR49","unstructured":"Andoni A, Daniliuc D, Khurshid S. Evaluating the \u201cSmall Scope Hypothesis\u201d. 2003"},{"key":"9501_CR50","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: Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems. 2008, 329\u2013339","DOI":"10.1145\/1353535.1346323"},{"key":"9501_CR51","doi-asserted-by":"crossref","unstructured":"Qadeer S, Rehof J. Context-bounded model checking of concurrent software. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2005, 93\u2013107","DOI":"10.1007\/978-3-540-31980-1_7"},{"key":"9501_CR52","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 ACM SIGPLAN Conference on Programming Language Design and Implementation. 2012, 543\u2013554","DOI":"10.1145\/2345156.2254128"},{"key":"9501_CR53","doi-asserted-by":"crossref","unstructured":"Nistor A, Luo Q, Pradel M, Gross T R, Marinov D. BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code. In: Proceedings of International Conference on Software Engineering. 2012, 727\u2013737","DOI":"10.1109\/ICSE.2012.6227145"},{"key":"9501_CR54","doi-asserted-by":"crossref","unstructured":"Li G, Lu S, Musuvathi M, Nath S, Padhye R. Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. In: Proceedings of ACM Symposium on Operating Systems Principles. 2019, 162\u2013180","DOI":"10.1145\/3341301.3359638"},{"key":"9501_CR55","doi-asserted-by":"crossref","unstructured":"Sen K. Race directed random testing of concurrent programs. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008, 11\u201321","DOI":"10.1145\/1379022.1375584"},{"key":"9501_CR56","doi-asserted-by":"crossref","unstructured":"Joshi P, Park C S, Sen K, Naik M. A randomized dynamic program analysis technique for detecting real deadlocks. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2009, 110\u2013120","DOI":"10.1145\/1543135.1542489"},{"key":"9501_CR57","doi-asserted-by":"crossref","unstructured":"Yuan X, Yang J, Gu R. Partial order aware concurrency sampling. In: Proceedings of International Conference on Computer Aided Verification. 2018, 317\u2013335","DOI":"10.1007\/978-3-319-96142-2_20"},{"key":"9501_CR58","unstructured":"Arpaci-Dusseau R H, Arpaci-Dusseau A C. Operating Systems: Three Easy Pieces. Arpaci-Dusseau Books, LLC, 2018"},{"key":"9501_CR59","doi-asserted-by":"crossref","unstructured":"Davis R I, Cucu-Grosjean L, Bertogna M, Burns A. A review of priority assignment in real-time systems. Journal of Systems Architecture, 2016, 65: 64\u201382","DOI":"10.1016\/j.sysarc.2016.04.002"},{"key":"9501_CR60","doi-asserted-by":"crossref","unstructured":"Chen D, Jiang Y, Xu C, Ma X, Lu J. Testing multithreaded programs via thread speed control. In: Proceedings of ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2018, 15\u201325","DOI":"10.1145\/3236024.3236077"},{"key":"9501_CR61","unstructured":"Musuvathi M, Qadeer S, Ball T, Basler G, Nainar P A, Neamtiu I. Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of USENIX Conference on Operating Systems Design and Implementation. 2008, 267\u2013280"},{"key":"9501_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"P Godefroid","year":"1996","unstructured":"Godefroid P. Partial-order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Heidelberg: Springer, 1996"},{"key":"9501_CR63","doi-asserted-by":"crossref","unstructured":"Flanagan C, Godefroid P. Dynamic partial-order reduction for model checking software. In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2005, 110\u2013121","DOI":"10.1145\/1047659.1040315"},{"key":"9501_CR64","unstructured":"Yang Y, Chen X, Gopalakrishnan G. Inspect: a runtime model checker for multithreaded C programs. Technical Report, 2008"},{"key":"9501_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3360599","volume":"3","author":"M Kokologiannakis","year":"2019","unstructured":"Kokologiannakis M, Raad A, Vafeiadis V. Effective lock handling in stateless model checking. Proceedings of the ACM on Programming Languages. 2019, 3(OOPSLA): 1\u201326","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"9501_CR66","doi-asserted-by":"crossref","unstructured":"Lu S, Jiang W, Zhou Y. A study of interleaving coverage criteria. In: Proceedings of Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers. 2007, 533\u2013536","DOI":"10.1145\/1295014.1295034"},{"key":"9501_CR67","doi-asserted-by":"crossref","unstructured":"Bron A, Farchi E, Magid Y, Nir Y, Ur S. Applications of synchronization coverage. In: Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. 2005, 206\u2013212","DOI":"10.1145\/1065944.1065972"},{"key":"9501_CR68","doi-asserted-by":"crossref","unstructured":"Hong S, Ahn J, Park S, Kim M, Harrold M J. Testing concurrent programs to achieve high synchronization coverage. In: Proceedings of International Symposium on Software Testing and Analysis. 2012, 210\u2013220","DOI":"10.1145\/2338965.2336779"},{"key":"9501_CR69","doi-asserted-by":"crossref","unstructured":"Yu J, Narayanasamy S. A case for an interleaving constrained shared-memory multi-processor. In: Proceedings of Annual International Symposium on Computer Architecture. 2009, 325\u2013336","DOI":"10.1145\/1555815.1555796"},{"key":"9501_CR70","doi-asserted-by":"crossref","unstructured":"Wang C, Said M, Gupta A. Coverage guided systematic concurrency testing. In: Proceedings of International Conference on Software Engineering. 2011, 221\u2013230","DOI":"10.1145\/1985793.1985824"},{"key":"9501_CR71","unstructured":"Burnim J, Elmas T, Necula G, Sen K. CONCURRIT: testing concurrent programs with programmable state-space exploration. In: Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism. 2012"},{"key":"9501_CR72","doi-asserted-by":"crossref","unstructured":"Huang J, Meredith P O, Rosu G. Maximal sound predictive race detection with control flow abstraction. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014, 337\u2013348","DOI":"10.1145\/2666356.2594315"},{"key":"9501_CR73","doi-asserted-by":"crossref","unstructured":"Huang S, Huang J. Maximal causality reduction for TSO and PSO. In: Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. 2016, 447\u2013461","DOI":"10.1145\/3022671.2984025"},{"key":"9501_CR74","doi-asserted-by":"crossref","unstructured":"Huang J, Luo Q, Rosu G. GPredict: generic predictive concurrency analysis. In: Proceedings of International Conference on Software Engineering. 2015, 847\u2013857","DOI":"10.1109\/ICSE.2015.96"},{"key":"9501_CR75","doi-asserted-by":"crossref","unstructured":"Eslamimehr M, Palsberg J. Race directed scheduling of concurrent programs. In: Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. 2014, 301\u2013314","DOI":"10.1145\/2692916.2555263"},{"key":"9501_CR76","doi-asserted-by":"crossref","unstructured":"Godefroid P, Klarlund N, Sen K. DART: directed automated random testing. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2005, 213\u2013223","DOI":"10.1145\/1064978.1065036"},{"key":"9501_CR77","doi-asserted-by":"crossref","unstructured":"Sen K. Concolic testing. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering. 2007, 571\u2013572","DOI":"10.1145\/1321631.1321746"},{"key":"9501_CR78","doi-asserted-by":"crossref","unstructured":"Sorrentino F, Farzan A, Madhusudan P. PENELOPE: weaving threads to expose atomicity violations. In: Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2010, 37\u201346","DOI":"10.1145\/1882291.1882300"},{"issue":"6","key":"9501_CR79","doi-asserted-by":"publisher","first-page":"62101","DOI":"10.1007\/s11432-018-9826-x","volume":"62","author":"G Lu","year":"2019","unstructured":"Lu G, Xu L, Yang Y, Xu B. Predictive analysis for race detection in software-defined networ. Sciece China Information Sciences, 2019, 62(6): 62101","journal-title":"Sciece China Information Sciences"},{"key":"9501_CR80","doi-asserted-by":"crossref","unstructured":"De Moura L, Bj\u00f8rner N. Z3: an efficient SMT solver. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2008, 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"9501_CR81","doi-asserted-by":"crossref","unstructured":"Joshi P, Naik M, Sen K, Gay D. An effective dynamic analysis for detecting generalized deadlocks. In: Proceedings of ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2010, 327\u2013336","DOI":"10.1145\/1882291.1882339"},{"key":"9501_CR82","doi-asserted-by":"crossref","unstructured":"Musuvathi M, Qadeer S. Fair stateless model checking. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008, 362\u2013371","DOI":"10.1145\/1379022.1375625"},{"key":"9501_CR83","doi-asserted-by":"crossref","unstructured":"Batty M, Owens S, Sarkar S, Sewell P, Weber T. Mathematizing C++ concurrency. In: Proceedings of Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2011, 55\u201366","DOI":"10.1145\/1925844.1926394"},{"issue":"10","key":"9501_CR84","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/2544173.2509514","volume":"48","author":"B Norris","year":"2013","unstructured":"Norris B, Demsky B. CDSchecker: checking concurrent data structures written with C\/C++ atomics. ACM SIGPLAN Notices, 2013, 48(10): 131\u2013150","journal-title":"ACM SIGPLAN Notices"},{"key":"9501_CR85","doi-asserted-by":"crossref","unstructured":"Kasikci B, Cui W, Ge X, Niu B. Lazy diagnosis of in-production concurrency bugs. In: Proceedings of the 26th Symposium on Operating Systems Principles. 2017, 582\u2013598","DOI":"10.1145\/3132747.3132767"},{"key":"9501_CR86","doi-asserted-by":"crossref","unstructured":"Guo S, Kusano M, Wang C, Yang Z, Gupta A. Assertion guided symbolic execution of multithreaded programs. In: Proceedings of Joint Meeting on Foundations of Software Engineering. 2015, 854\u2013865","DOI":"10.1145\/2786805.2786841"},{"key":"9501_CR87","doi-asserted-by":"crossref","unstructured":"Bergan T, Grossman D, Ceze L. Symbolic execution of multithreaded programs from arbitrary program contexts. In: Proceedings of ACM International Conference on Object Oriented Programming, Systems, Languages, and Applications. 2014, 491\u2013506","DOI":"10.1145\/2714064.2660200"},{"key":"9501_CR88","doi-asserted-by":"crossref","unstructured":"Guo S, Kusano M, Wang C. Conc-ISE: incremental symbolic execution of concurrent software. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering. 2016, 531\u2013542","DOI":"10.1145\/2970276.2970332"},{"key":"9501_CR89","doi-asserted-by":"crossref","unstructured":"Farzan A, Holzer A, Razavi N, Veith H. Con2colic testing. In: Proceedings of Joint Meeting on Foundations of Software Engineering. 2013, 37\u201347","DOI":"10.1145\/2491411.2491453"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-9501-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-020-9501-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-9501-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T20:42:25Z","timestamp":1663620145000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-020-9501-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,11]]},"references-count":89,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9501"],"URL":"https:\/\/doi.org\/10.1007\/s11704-020-9501-6","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,11]]},"assertion":[{"value":"14 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 February 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"154206"}}