{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T07:42:00Z","timestamp":1774942920757,"version":"3.50.1"},"reference-count":140,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,10,13]],"date-time":"2016-10-13T00:00:00Z","timestamp":1476316800000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11432-015-0203-2","type":"journal-article","created":{"date-parts":[[2016,10,18]],"date-time":"2016-10-18T10:13:22Z","timestamp":1476785602000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Surveying concurrency bug detectors based on types of detected bugs","\u6839\u636ebug\u7c7b\u578b\u7efc\u8ff0\u5e76\u884cbug\u68c0\u6d4b\u5668"],"prefix":"10.1007","volume":"60","author":[{"given":"Zhendong","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoping","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,13]]},"reference":[{"key":"203_CR1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N G Leveson","year":"1993","unstructured":"Leveson N G, Turner C S. An investigation of the therac-25 accidents. Computer, 1993, 26: 18\u201341","journal-title":"Computer"},{"key":"203_CR2","unstructured":"Godefroid P, Nagappan N. Concurrency at Microsoft an Exploratory Survey. Technical Report, Microsoft Research, MSR-TR-2008-75. 2008"},{"key":"203_CR3","first-page":"458","volume-title":"Proceedings of the International Conference on Informatics and Applications, Kuala Terengganu","author":"D Abdelqawy","year":"2012","unstructured":"Abdelqawy D, Kamel A, Omara F. A survey on testing concurrent and multi-threaded applications tools and methodologies. In: Proceedings of the International Conference on Informatics and Applications, Kuala Terengganu, 2012. 458\u2013470"},{"key":"203_CR4","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1007\/11753728_54","volume-title":"Proceedings of the 1st International Conference on Computer Science Theory and Applications. Berlin: Springer","author":"A Raza","year":"2006","unstructured":"Raza A. A review of race detection mechanisms. In: Proceedings of the 1st International Conference on Computer Science Theory and Applications. Berlin: Springer, 2006. 534\u2013543"},{"key":"203_CR5","first-page":"205","volume-title":"Proceedings of the 15th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"J W Voung","year":"2007","unstructured":"Voung J W, Jhala R, Lerner S. RELAY: static race detection on millions of lines of code. In: Proceedings of the 15th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, 2007. 205\u2013214"},{"key":"203_CR6","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles","author":"D Engler","year":"2003","unstructured":"Engler D, Ashcraft K. RacerX: effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles. New York: ACM, 2003. 237\u2013252"},{"key":"203_CR7","first-page":"14","volume-title":"Proceedings of the 25th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"S Qadeer","year":"2004","unstructured":"Qadeer S, Wu D. KISS: keep it simple and sequential. In: Proceedings of the 25th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2004. 14\u201324"},{"key":"203_CR8","first-page":"219","volume-title":"Proceedings of the 21st Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"C Flanagan","year":"2000","unstructured":"Flanagan C, Freund S N. Type-based race detection for Java. In: Proceedings of the 21st Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2000. 219\u2013232"},{"key":"203_CR9","first-page":"13","volume-title":"Proceedings of ACM SIGPLAN Workshop on Types in Language Design and Implementation","author":"D Grossman","year":"2003","unstructured":"Grossman D. Type-safe multithreading in cyclone. In: Proceedings of ACM SIGPLAN Workshop on Types in Language Design and Implementation. New York: ACM, 2003. 13\u201325"},{"key":"203_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1889997.1890000","volume":"33","author":"P Pratikakis","year":"2011","unstructured":"Pratikakis P, Foster J S, Hicks M. Locksmith: practical static race detection for C. ACM Trans Program Lang Syst, 2011, 33: 1\u201355","journal-title":"ACM Trans Program Lang Syst"},{"key":"203_CR11","first-page":"97","volume-title":"Proceedings of USENIx Winter, San Diego","author":"N Sterling","year":"1993","unstructured":"Sterling N. WARLOCK-A static data race analysis tool. In: Proceedings of USENIx Winter, San Diego, 1993. 97\u2013106"},{"key":"203_CR12","first-page":"25","volume-title":"Proceedings of the 14th Architectural Support for Programming Languages and Operating Systems","author":"S Park","year":"2009","unstructured":"Park S, Lu S, Zhou Y Y. CTrigger: exposing atomicity violation bugs from their hiding places. In: Proceedings of the 14th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2009. 25\u201336"},{"key":"203_CR13","first-page":"11","volume-title":"Proceedings of the 29th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"K Sen","year":"2008","unstructured":"Sen K. Race directed random testing of concurrent programs. In: Proceedings of the 29th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2008. 11\u201321"},{"key":"203_CR14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/1453101.1453121","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"C S Park","year":"2008","unstructured":"Park C S, Sen K. Randomized active atomicity violation detection in concurrent programs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, 2008. 135\u2013145"},{"key":"203_CR15","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1145\/2384616.2384651","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications","author":"J Yu","year":"2012","unstructured":"Yu J, Narayanasamy S, Pereira C, et al. Maple: a coverage-driven testing tool for multithreaded programs. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2012. 485\u2013502"},{"key":"203_CR16","first-page":"235","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering","author":"Z Lai","year":"2010","unstructured":"Lai Z, Cheung S C, Chan W K. Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering. New York: ACM, 2010. 235\u2013244"},{"key":"203_CR17","first-page":"144","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"J Huang","year":"2011","unstructured":"Huang J, Zhang C. Persuasive prediction of concurrency access anomalies. In: Proceedings of the International Symposium on Software Testing and Analysis. New York: ACM, 2011. 144\u2013154"},{"key":"203_CR18","first-page":"245","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering","author":"S Park","year":"2010","unstructured":"Park S, Vuduc R W, Harrold M J. Falcon: fault localization in concurrent programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering. New York: ACM, 2010. 245\u2013254"},{"key":"203_CR19","first-page":"51","volume-title":"Proceedings of IEEE 5th International Conference on Software Testing, Verification and Validation, Montreal","author":"S Park","year":"2012","unstructured":"Park S, Vuduc R, Harrold M J. A unified approach for localizing non-deadlock concurrency bugs. In: Proceedings of IEEE 5th International Conference on Software Testing, Verification and Validation, Montreal, 2012. 51\u201360"},{"key":"203_CR20","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/1869459.1869474","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications","author":"Y Shi","year":"2010","unstructured":"Shi Y, Park S, Yin Z, et al. Do I use the wrong definition? DefUse: definition-use invariants for detecting concurrency and sequential bugs. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2010. 160\u2013174"},{"key":"203_CR21","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, et al. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans Comput Syst, 1997, 15: 391\u2013411","journal-title":"ACM Trans Comput Syst"},{"key":"203_CR22","first-page":"231","volume-title":"Proceedings of the 30th ACM\/IEEE International Conference on Software Engineering","author":"C Hammer","year":"2008","unstructured":"Hammer C, Dolby J, Vaziri M, et al. Dynamic detection of atomic-set-serializability violations. In: Proceedings of the 30th ACM\/IEEE International Conference on Software Engineering. New York: ACM, 2008. 231\u2013240"},{"key":"203_CR23","first-page":"262","volume-title":"Proceedings of the 16th Annual International Conference on Automated Software Engineering, San Diego","author":"G Brat","year":"2001","unstructured":"Brat G, Visser W. Combining static analysis and model checking for software analysis. In: Proceedings of the 16th Annual International Conference on Automated Software Engineering, San Diego, 2001. 262\u2013269"},{"key":"203_CR24","first-page":"8","volume-title":"Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging","author":"J M Chen","year":"2008","unstructured":"Chen J, Mac Donald S. Towards a better collaboration of static and dynamic analyses for testing concurrent programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. New York: ACM, 2008. 8"},{"key":"203_CR25","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1145\/2517349.2522736","volume-title":"Proceedings of the 23rd ACM Symposium on Operating Systems Principles","author":"B Kasikci","year":"2013","unstructured":"Kasikci B, Zamfir C, Candea G. RaceMob: crowdsourced data race detection. In: Proceedings of the 23rd ACM Symposium on Operating Systems Principles. New York: ACM, 2013. 406\u2013422"},{"key":"203_CR26","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/s10766-014-0304-y","volume":"43","author":"Z D Wu","year":"2015","unstructured":"Wu Z D, Lu K, Wang X P, et al. Collaborative technique for concurrency bug detection. Int J Parall Program, 2015, 43: 260\u2013285","journal-title":"Int J Parall Program"},{"key":"203_CR27","unstructured":"Fiedor J, Krena B, Letko Z, et al. A Uniform Classification of Common Concurrency Errors. Technical Report, Brno University of Technology, FIT-TR-2010-03. 2010"},{"key":"203_CR28","first-page":"329","volume-title":"Proceedings of Architectural Support for Programming Languages and Operating Systems","author":"S Lu","year":"2008","unstructured":"Lu S, Park S, Seo E, et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2008. 329\u2013339"},{"key":"203_CR29","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/1542476.1542489","volume-title":"Proceedings of the 30th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"P Joshi","year":"2009","unstructured":"Joshi P, Park C S, Sen K, et al. A randomized dynamic program analysis technique for detecting real deadlocks. In: Proceedings of the 30th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2009. 110\u2013120"},{"key":"203_CR30","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1145\/1869459.1869481","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications","author":"G Jin","year":"2010","unstructured":"Jin G, Thakur A, Liblit B, et al. Instrumentation and sampling strategies for cooperative concurrency bug isolation. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2010. 241\u2013255"},{"key":"203_CR31","doi-asserted-by":"crossref","unstructured":"Corp I. Parallel Inspector. http:\/\/software.intel.com\/en-us\/articles\/intel-parallel-inspector. 2012","DOI":"10.1007\/978-0-387-09766-4_191"},{"key":"203_CR32","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/2688204.2688205","volume-title":"Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools","author":"C Sadowski","year":"2014","unstructured":"Sadowski C, Yi J. How developers use data race detection tools. In: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. New York: ACM, 2014. 43\u201351"},{"key":"203_CR33","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/1646353.1646374","volume":"53","author":"A Bessey","year":"2010","unstructured":"Bessey A, Block K, Chelf B, et al. A few billion lines of code later: using static analysis to find bugs in the real world. Commun ACM, 2010, 53: 66\u201375","journal-title":"Commun ACM"},{"key":"203_CR34","first-page":"1","volume-title":"Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, Berkeley","author":"J Erickson","year":"2010","unstructured":"Erickson J, Musuvathi M, Burckhardt S, et al. Effective data-race detection for the kernel. In: Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, Berkeley, 2010. 1\u201316"},{"key":"203_CR35","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/1133981.1134018","volume-title":"Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"M Naik","year":"2006","unstructured":"Naik M, Aiken A, Whaley J. Effective static race detection for Java. In: Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2006. 308\u2013319"},{"key":"203_CR36","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/1101908.1101944","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering","author":"R Agarwal","year":"2005","unstructured":"Agarwal R, Sasturkar A, Wang L, et al. Optimized run-time race detection and atomicity checking using partial discovered types. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering. New York: ACM, 2005. 233\u2013242"},{"key":"203_CR37","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/379605.379687","volume-title":"Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","author":"C Flanagan","year":"2001","unstructured":"Flanagan C, Freund S. Detecting race conditions in large programs. In: Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. New York: ACM, 2001. 90\u201396"},{"key":"203_CR38","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/1119479.1119480","volume":"28","author":"M Abadi","year":"2006","unstructured":"Abadi M, Flanagan C, Freund S N. Types for safe locking: static race detection for Java. ACM Trans Program Lang Syst, 2006, 28: 207\u2013255","journal-title":"ACM Trans Program Lang Syst"},{"key":"203_CR39","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1595696.1595701","volume-title":"Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"V Kahlon","year":"2009","unstructured":"Kahlon V, Sinha N, Kruus E, et al. Static data race detection for concurrent programs with asynchronous calls. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York: ACM, 2009. 13\u201322"},{"key":"203_CR40","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/978-3-540-27864-1_11","volume-title":"Static Analysis. Berlin: Springer","author":"C Flanagan","year":"2004","unstructured":"Flanagan C, Freund S N. Type inference against races. In: Static Analysis. Berlin: Springer, 2004. 116\u2013132"},{"key":"203_CR41","volume-title":"Softw Tools Tech Transfer","author":"N Kidd","year":"2010","unstructured":"Kidd N, Lammich P, Touilli T, et al. A static technique for checking for multiple-variable data races. Softw Tools Tech Transfer, 2010"},{"key":"203_CR42","first-page":"185","volume-title":"data race bugs: telling the difference with portend. In: Proceedings of the 17th Architectural Support for Programming Languages and Operating Systems","author":"B Kasikci","year":"2012","unstructured":"Kasikci B, Zamfir C, Candea G. Data races vs. data race bugs: telling the difference with portend. In: Proceedings of the 17th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2012. 185\u2013198"},{"key":"203_CR43","first-page":"27","volume-title":"Proceedings of the 18th Architectural Support for Programming Languages and Operating Systems","author":"B Wester","year":"2013","unstructured":"Wester B, Devecsery D, Chen P M, et al. Parallelizing data race detection. In: Proceedings of the 18th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2013. 27\u201338"},{"key":"203_CR44","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1145\/2384616.2384650","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications","author":"L Effinger-Dean","year":"2012","unstructured":"Effinger-Dean L, Lucia B, Ceze L, et al. IFRit: interference-free regions for dynamic data-race detection. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2012. 467\u2013484"},{"key":"203_CR45","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1542476.1542490","volume-title":"Proceedings of the 30th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"C Flanagan","year":"2009","unstructured":"Flanagan C, Freund S N. FastTrack: efficient and precise dynamic race detection. In: Proceedings of the 30th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2009. 121\u2013133"},{"key":"203_CR46","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/1542476.1542491","volume-title":"Proceedings of the 30th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"D Marino","year":"2009","unstructured":"Marino D, Musuvathi M, Narayanasamy S. LiteRace: effective sampling for lightweight data-race detection. In: Proceedings of the 30th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2009. 134\u2013143"},{"key":"203_CR47","first-page":"167","volume-title":"Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"R Callahan","year":"2003","unstructured":"Callahan R, Choi J D. Hybrid dynamic data race detection. In: Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. New York: ACM, 2003. 167\u2013178"},{"key":"203_CR48","first-page":"258","volume-title":"Proceedings of the 23rd Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"J D Choi","year":"2002","unstructured":"Choi J D. Efficient and precise data race detection for multithreaded object-oriented programs. In: Proceedings of the 23rd Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2002. 258\u2013269"},{"key":"203_CR49","unstructured":"Helmbold D P, Mc Dowell C E. A Taxonomy of Race Detection Algorithms. Technical Report UCSC-CRL-94-35. 1994"},{"key":"203_CR50","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M d Ronsse","year":"1999","unstructured":"Ronsse M, de Bosschere K. RecPlay: a fully integrated practical record\/replay system. ACM Trans Comput Syst, 1999, 17: 133\u2013152","journal-title":"ACM Trans Comput Syst"},{"key":"203_CR51","first-page":"337","volume-title":"Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"J Huang","year":"2014","unstructured":"Huang J, Meredith P O, Rosu G. Maximal sound predictive race detection with control flow abstraction. In: Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2014. 337\u2013348"},{"key":"203_CR52","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1145\/2555243.2555263","volume-title":"Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"M Eslamimehr","year":"2014","unstructured":"Eslamimehr M, Palsberg J. Race directed scheduling of concurrent programs. In: Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. New York: ACM, 2014. 301\u2013314"},{"key":"203_CR53","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/2541940.2541955","volume-title":"Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"B P Wood","year":"2014","unstructured":"Wood B P, Ceze L, Grossman D. Low-level detection of language-level data races with LARD. In: Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2014. 671\u2013686"},{"key":"203_CR54","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/11494881_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems. Berlin: Springer","author":"K Sen","year":"2005","unstructured":"Sen K, Rosu G, Agha G. Detecting errors in multithreaded programs by generalized predictive analysis of executions. In: Formal Methods for Open Object-Based Distributed Systems. Berlin: Springer, 2005. 211\u2013226"},{"key":"203_CR55","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/2568225.2568294","volume-title":"Proceedings of the ACM\/IEEE 36th International Conference on Software Engineering","author":"T S-a W Yu","year":"2014","unstructured":"Yu T, Srisa-an W, Rothermel G. SimRT: an automated framework to support regression testing for data races. In: Proceedings of the ACM\/IEEE 36th International Conference on Software Engineering. New York: ACM, 2014. 48\u201359"},{"key":"203_CR56","first-page":"671","volume-title":"Proceedings of the 19th Architectural Support for Programming Languages and Operating Systems","author":"B P Wood","year":"2014","unstructured":"Wood B P, Ceze L, Grossman D. Low-level detection of language-level data races with LARD. In: Proceedings of the 19th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2014. 671\u2013686"},{"key":"203_CR57","first-page":"110","volume-title":"Runtime Verification. Berlin: Springer","author":"K Serebryany","year":"2011","unstructured":"Serebryany K, Potapenko A, Iskhodzhanov T, et al. Dynamic race detection with LLVM compiler. In: Runtime Verification. Berlin: Springer, 2011. 110\u2013114"},{"key":"203_CR58","first-page":"78","volume-title":"Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Turku","author":"K Lu","year":"2015","unstructured":"Lu K, Wu Z, Wang X, et al. RaceChecker: efficient identification of harmful data races. In: Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Turku, 2015. 78\u201385"},{"key":"203_CR59","first-page":"22","volume-title":"Proceedings of the 28th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"S Narayanasamy","year":"2007","unstructured":"Narayanasamy S, Tigani J, Edwards A, et al. Automatically classifying benign and harmful data races using replay analysis. In: Proceedings of the 28th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2007. 22\u201331"},{"key":"203_CR60","first-page":"316","volume-title":"Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"P Maiya","year":"2014","unstructured":"Maiya P, Kanade A, Majumdar R. Race detection for android applications. In: Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2014. 316\u2013325"},{"key":"203_CR61","first-page":"326","volume-title":"Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"C H Hsiao","year":"2014","unstructured":"Hsiao C H, Yu J, Narayanasamy S, et al. Race detection for event-driven mobile applications. In: Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2014. 326\u2013336"},{"key":"203_CR62","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.jss.2013.08.031","volume":"89","author":"X G Mao","year":"2014","unstructured":"Mao X G, Lei Y, Dai Z Y, et al. Slice-based statistical fault localization. J Syst Softw, 2014, 89: 51\u201362","journal-title":"J Syst Softw"},{"key":"203_CR63","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2464996.2465000","volume-title":"Proceedings of the 27th International ACM Conference on Supercomputing","author":"C S Park","year":"2013","unstructured":"Park C S, Sen K, Iancu C. Scaling data race detection for partitioned global address space programs. In: Proceedings of the 27th International ACM Conference on Supercomputing. New York: ACM, 2013. 47\u201358"},{"key":"203_CR64","first-page":"1","volume-title":"Proceedings of IEEE International Symposium on Parallel and Distributed Processing, Atlanta","author":"A Jannesari","year":"2010","unstructured":"Jannesari A, Tichy W F. Identifying ad-hoc synchronization for enhanced race detection. In: Proceedings of IEEE International Symposium on Parallel and Distributed Processing, Atlanta, 2010. 1\u201310"},{"key":"203_CR65","first-page":"163","volume-title":"Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, Vancouver","author":"W Xiong","year":"2010","unstructured":"Xiong W, Park S, Zhang J, et al. Ad hoc synchronization considered harmful. In: Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, Vancouver, 2010. 163\u2013176"},{"key":"203_CR66","first-page":"143","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"C Tian","year":"2008","unstructured":"Tian C, Nagarajan V, Gupta R, et al. Dynamic recognition of synchronization operations for improved data race detection. In: Proceedings of the International Symposium on Software Testing and Analysis. New York: ACM, 2008. 143\u2013154"},{"key":"203_CR67","first-page":"103","volume-title":"Proceedings of the 21st ACM Symposium on Operating Systems Principles","author":"S Lu","year":"2007","unstructured":"Lu S, Park S, Hu C, et al. MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: Proceedings of the 21st ACM Symposium on Operating Systems Principles. New York: ACM, 2007. 103\u2013116"},{"key":"203_CR68","first-page":"158","volume-title":"Proceedings of the 9th Joint Meeting on Foundations of Software Engineering","author":"P Liu","year":"2013","unstructured":"Liu P, Dolby J, Zhang C. Finding incorrect compositions of atomicity. In: Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. New York: ACM, 2013. 158\u2013168"},{"key":"203_CR69","first-page":"37","volume-title":"Proceedings of Architectural Support for Programming Languages and Operating Systems","author":"S Lu","year":"2006","unstructured":"Lu S, Tucek J, Qin F, et al. AVIO: detecting atomicity violations via access interleaving invariants. In: Proceedings of Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2006. 37\u201348"},{"key":"203_CR70","first-page":"287","volume-title":"Proceedings of the 43rd Annual IEEE\/ACM International Symposium on Microarchitecture","author":"A Muzahid","year":"2010","unstructured":"Muzahid A, Otsuki N, Torrellas J. AtomTracker: a comprehensive approach to atomic region inference and violation detection. In: Proceedings of the 43rd Annual IEEE\/ACM International Symposium on Microarchitecture. New York: ACM, 2010. 287\u2013297"},{"key":"203_CR71","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/964001.964023","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"C Flanagan","year":"2004","unstructured":"Flanagan C, Freund S N. Atomizer: a dynamic atomicity checker for multithreaded programs. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York: ACM, 2004. 256\u2013267"},{"key":"203_CR72","unstructured":"Kidd N, Reps T, Dolby J, et al. Static Detection of Atomic-Set-Serializability Violations. Technical Report #1623. University of Wisconsin-Madison, 2007"},{"key":"203_CR73","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-3-642-00593-0_30","volume-title":"Fundamental Approaches to Software Engineering. Berlin: Springer","author":"Q Chen","year":"2009","unstructured":"Chen Q, Wang L, Yang Z, et al. HAVE: detecting atomicity violations via integrated dynamic and static analysis. In: Fundamental Approaches to Software Engineering. Berlin: Springer, 2009. 425\u2013439"},{"key":"203_CR74","first-page":"235","volume-title":"Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"C Ye","year":"2007","unstructured":"Ye C, Cheung S, Chan W, et al. Detection and resolution of atomicity violation in service composition. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York: ACM, 2007. 235\u2013244"},{"key":"203_CR75","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1145\/1755913.1755945","volume-title":"Proceedings of the 5th European Conference on Computer Systems","author":"L Chew","year":"2010","unstructured":"Chew L, Lie D. Kivati: fast detection and prevention of atomicity violations. In: Proceedings of the 5th European Conference on Computer Systems. New York: ACM, 2010. 307\u2013320"},{"key":"203_CR76","first-page":"277","volume-title":"Proceedings of the 35th Annual International Symposium on Computer Architecture, Beijing","author":"B Lucia","year":"2008","unstructured":"Lucia B, Devietti J, Strauss K, et al. Atom-aid: detecting and surviving atomicity violations. In: Proceedings of the 35th Annual International Symposium on Computer Architecture, Beijing, 2008. 277\u2013288"},{"key":"203_CR77","first-page":"57","volume":"1","author":"B Liblit","year":"2004","unstructured":"Liblit B, Naik M, Zheng A X, et al. Public deployment of cooperative bug isolation. In: Proceedings of the 2nd International Workshop on Remote Analysis and Measurement of Software Systems, 2004. 1: 57\u201362","journal-title":"Proceedings of the 2nd International Workshop on Remote Analysis and Measurement of Software Systems"},{"key":"203_CR78","first-page":"15","volume-title":"Proceedings of the 26th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"B Liblit","year":"2005","unstructured":"Liblit B, Naik M, Zheng A X, et al. Scalable statistical bug isolation. In: Proceedings of the 26th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2005. 15\u201326"},{"key":"203_CR79","first-page":"38","volume-title":"Proceedings of the 39th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"S Lu","year":"2006","unstructured":"Lu S, Zhou P, Liu W, et al. PathExpander: architectural support for increasing the path coverage of dynamic bug detection. In: Proceedings of the 39th Annual IEEE\/ACM International Symposium on Microarchitecture. New York: ACM, 2006. 38\u201352"},{"key":"203_CR80","first-page":"54","volume-title":"New York: ACM","author":"S Okur","year":"2012","unstructured":"Okur S, Dig D. How do developers use parallel libraries? In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. New York: ACM, 2012. 54"},{"key":"203_CR81","first-page":"141","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"B Liblit","year":"2003","unstructured":"Liblit B, Aiken A, Zheng A X, et al. Bug isolation via remote program sampling. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2003. 141\u2013154"},{"key":"203_CR82","first-page":"37","volume-title":"Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"F F A Sorrentino","year":"2010","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. New York: ACM, 2010. 37\u201346"},{"key":"203_CR83","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1145\/1669112.1669181","volume-title":"Proceedings of the 42th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"B Lucia","year":"2009","unstructured":"Lucia B, Ceze L. Finding concurrency bugs with context-aware communication graphs. In: Proceedings of the 42th Annual IEEE\/ACM International Symposium on Microarchitecture. New York: ACM, 2009. 553\u2013563"},{"key":"203_CR84","first-page":"179","volume-title":"Proceedings of the 15th Architectural Support for Programming Languages and Operating Systems","author":"W Zhang","year":"2010","unstructured":"Zhang W, Sun C, Lu S. ConMem: detecting severe concurrency bugs through an effect-oriented approach. In: Proceedings of the 15th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2010. 179\u2013192"},{"key":"203_CR85","first-page":"251","volume-title":"Proceedings of the 16th Architectural Support for Programming Languages and Operating Systems","author":"W Zhang","year":"2011","unstructured":"Zhang W, Lim J, Olichandran R, et al. ConSeq: detecting concurrency bugs through sequential errors. In: Proceedings of the 16th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2011. 251\u2013264"},{"key":"203_CR86","first-page":"239","volume-title":"Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Q Gao","year":"2012","unstructured":"Gao Q, Zhang W, Chen Z, et al. 2ndStrike: toward manifesting hidden concurrency typestate bugs. In: Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2012. 239\u2013250"},{"key":"203_CR87","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/1555754.1555796","volume-title":"Proceedings of the 36th Annual International Symposium on Computer Architecture","author":"J Yu","year":"2009","unstructured":"Yu J, Narayanasamy S. A case for an interleaving constrained shared-memory multi-processor. In: Proceedings of the 36th Annual International Symposium on Computer Architecture. New York: ACM, 2009. 325\u2013336"},{"key":"203_CR88","first-page":"134","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"P Sangmin","year":"2013","unstructured":"Sangmin P, Mary J H, Richard V. Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs. In: Proceedings of the International Symposium on Software Testing and Analysis. New York: ACM, 2013. 134\u2013144"},{"key":"203_CR89","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/1735971.1736040","volume":"45","author":"S Burckhardt","year":"2010","unstructured":"Burckhardt S, Kothari P, Musuvathi M, et al. A randomized scheduler with probabilistic guarantees of finding bugs. ACM Sigplan Notices, 2010, 45: 167\u2013178","journal-title":"ACM Sigplan Notices"},{"key":"203_CR90","first-page":"327","volume-title":"Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"P Joshi","year":"2010","unstructured":"Joshi P, Naik M, Sen K, et al. An effective dynamic analysis for detecting generalized deadlocks. In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, 2010. 327\u2013336"},{"key":"203_CR91","first-page":"322","volume-title":"Proceedings of the 35th International Conference on Software Engineering, San Francisco","author":"D Marino","year":"2013","unstructured":"Marino D, Hammer C, Dolby J, et al. Detecting deadlock in programs with data-centric synchronization. In: Proceedings of the 35th International Conference on Software Engineering, San Francisco, 2013. 322\u2013331"},{"key":"203_CR92","first-page":"297","volume-title":"Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures","author":"E Koskinen","year":"2008","unstructured":"Koskinen E, Herlihy M. Dreadlocks: efficient deadlock detection. In: Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures. New York: ACM, 2008. 297\u2013303"},{"key":"203_CR93","first-page":"295","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. Berkeley: USENIX Association","author":"H Jula","year":"2008","unstructured":"Jula H, Tralamazza D, Zamfir C, et al. Deadlock immunity: enabling systems to defend against deadlocks. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. Berkeley: USENIX Association, 2008. 295\u2013308"},{"key":"203_CR94","first-page":"606","volume-title":"Proceedings of the 34th International Conference on Software Engineering, Zurich","author":"Y Cai","year":"2012","unstructured":"Cai Y, Chan W. MagicFuzzer: scalable deadlock detection for large-scale applications. In: Proceedings of the 34th International Conference on Software Engineering, Zurich, 2012. 606\u2013616"},{"key":"203_CR95","first-page":"31","volume-title":"Proceedings of the Annual Conference on USENIX Annual Technical Conference. Berkeley: USENIX Association","author":"T Li","year":"2005","unstructured":"Li T, Ellis C S, Lebeck A R, et al. Pulse: a dynamic deadlock detection mechanism using speculative execution. In: Proceedings of the Annual Conference on USENIX Annual Technical Conference. Berkeley: USENIX Association, 2005. 31\u201344"},{"key":"203_CR96","first-page":"386","volume-title":"Proceedings of the 31st International Conference on Software Engineering, Vancouver","author":"M Naik","year":"2009","unstructured":"Naik M, Park C S, Sen K, et al. Effective static deadlock detection. In: Proceedings of the 31st International Conference on Software Engineering, Vancouver, 2009. 386\u2013396"},{"key":"203_CR97","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/2555243.2555262","volume-title":"Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"M Samak","year":"2014","unstructured":"Samak M, Ramanathan M K. Trace driven dynamic deadlock detection and reproduction. In: Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. New York: ACM, 2014. 29\u201342"},{"key":"203_CR98","first-page":"727","volume-title":"Proceedings of the 34th International Conference on Software Engineering, Zurich","author":"A Nistor","year":"2012","unstructured":"Nistor A, Luo Q, Pradel M, et al. Ballerina: automatic generation and clustering of efficient random unit tests for multithreaded code. In: Proceedings of the 34th International Conference on Software Engineering, Zurich, 2012. 727\u2013737"},{"key":"203_CR99","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/2568225.2568312","volume-title":"Proceedings of the ACM\/IEEE 36th International Conference on Software Engineering","author":"Y Cai","year":"2014","unstructured":"Cai Y, Wu S, Chan W K. ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. In: Proceedings of the ACM\/IEEE 36th International Conference on Software Engineering. New York: ACM, 2014. 491\u2013502"},{"key":"203_CR100","first-page":"37","volume-title":"Proceedings of the 9th Joint Meeting on Foundations of Software Engineering","author":"A Farzan","year":"2013","unstructured":"Farzan A, Holzer A, Razavi N, et al. Con2colic testing. In: Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. New York: ACM, 2013. 37\u201347"},{"key":"203_CR101","first-page":"267","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"M Musuvathi","year":"2008","unstructured":"Musuvathi M, Qadeer S, Ball T, et al. Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. New York: ACM, 2008. 267\u2013280"},{"key":"203_CR102","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1985793.1985824","volume-title":"Proceedings of the 33rd International Conference on Software Engineering, Honolulu","author":"C Wang","year":"2011","unstructured":"Wang C, Said M, Gupta A. Coverage guided systematic concurrency testing. In: Proceedings of the 33rd International Conference on Software Engineering, Honolulu, 2011. 221\u2013230"},{"key":"203_CR103","unstructured":"Yang Y, Chen X, Gopalakrishnan G. Inspect: a Runtime Model Checker for Multithreaded C Programs. University of Utah, Technology Report UUCS-08-004. 2008"},{"key":"203_CR104","first-page":"411","volume-title":"Proceedings of the 38th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages","author":"M Emmi","year":"2011","unstructured":"Emmi M, Qadeer S, Rakamari Z. Delay-bounded scheduling. In: Proceedings of the 38th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. New York: ACM, 2011. 411\u2013422"},{"key":"203_CR105","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/263699.263717","volume-title":"Proceedings of the 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages","author":"P Godefroid","year":"1997","unstructured":"Godefroid P. Model checking for programming languages using VeriSoft. In: Proceedings of the 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. New York: ACM, 1997. 174\u2013186"},{"key":"203_CR106","first-page":"145","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"B Sandeep","year":"2013","unstructured":"Sandeep B, Sorav B, Akash L. Variable and thread bounding for systematic testing of multithreaded programs. In: Proceedings of the International Symposium on Software Testing and Analysis. New York: ACM, 2013. 145\u2013155"},{"key":"203_CR107","first-page":"446","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"M Musuvathi","year":"2007","unstructured":"Musuvathi M, Qadeer S. Iterative context bounding for systematic testing of multithreaded programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2007. 446\u2013455"},{"key":"203_CR108","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2555243.2555260","volume-title":"Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"P Thomson","year":"2014","unstructured":"Thomson P, Donaldson A F, Betts A. Concurrency testing using schedule bounding: an empirical study. In: Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. New York: ACM, 2014. 15\u201328"},{"key":"203_CR109","first-page":"677","volume-title":"Proceedings of the ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications","author":"T Bergan","year":"2013","unstructured":"Bergan T, Ceze L, Grossman D. Input-covering schedules for multithreaded programs. In: Proceedings of the ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2013. 677\u2013692"},{"key":"203_CR110","first-page":"17","volume-title":"Proceedings of the 4th USENIX Conference on Hot Topics in Parallelism. Berkeley: USENIX Association","author":"D Deng","year":"2012","unstructured":"Deng D, Zhang W, Wang B, et al. Understanding the interleaving-space overlap across inputs and software versions. In: Proceedings of the 4th USENIX Conference on Hot Topics in Parallelism. Berkeley: USENIX Association, 2012. 17"},{"key":"203_CR111","first-page":"785","volume-title":"Proceedings of the ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications","author":"D Deng","year":"2013","unstructured":"Deng D, Zhang W, Lu S. Efficient concurrency-bug detection across inputs. In: Proceedings of the ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2013. 785\u2013802"},{"key":"203_CR112","first-page":"178","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"C Radoi","year":"2013","unstructured":"Radoi C, Dig D. Practical static race detection for Java parallel loops. In: Proceedings of the International Symposium on Software Testing and Analysis. New York: ACM, 2013. 178\u2013190"},{"key":"203_CR113","first-page":"305","volume-title":"Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"D Dimitrov","year":"2014","unstructured":"Dimitrov D, Raychev V, Vechev M, et al. Commutativity race detection. In: Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2014. 305\u2013315"},{"key":"203_CR114","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-70889-6_13","volume-title":"Hardware and Software, Verification and Testing. Berlin: Springer","author":"K Sen","year":"2007","unstructured":"Sen K, Agha G. A race-detection and flipping algorithm for automated testing of multi-threaded programs. In: Hardware and Software, Verification and Testing. Berlin: Springer, 2007. 166\u2013182"},{"key":"203_CR115","first-page":"223","volume-title":"Proceedings of the 19th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"V Jagannath","year":"2011","unstructured":"Jagannath V, Gligoric M, Jin D, et al. Improved multithreaded unit testing. In: Proceedings of the 19th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, 2011. 223\u2013233"},{"key":"203_CR116","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1095809.1095832","volume":"39","author":"Y Yu","year":"2005","unstructured":"Yu Y, Rodeheffer T, Chen W. Racetrack: efficient detection of data race conditions via adaptive tracking. ACM SIGOPS Oper Syst Rev, 2005, 39: 221\u2013234","journal-title":"ACM SIGOPS Oper Syst Rev"},{"key":"203_CR117","first-page":"255","volume-title":"Proceedings of the 31st Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"M D Bond","year":"2010","unstructured":"Bond M D, Coons K E, Mc Kinley K S. PACER: proportional detection of data races. In: Proceedings of the 31st Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2010. 255\u2013268"},{"key":"203_CR118","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/cpe.1064","volume":"19","author":"E Pozniansky","year":"2007","unstructured":"Pozniansky E, Schuster A. MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs. Concurr Comput Pract Exper, 2007, 19: 327\u2013340","journal-title":"Concurr Comput Pract Exper"},{"key":"203_CR119","first-page":"28","volume-title":"Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"S Biswas","year":"2014","unstructured":"Biswas S, Huang J, Sengupta A, et al. DoubleChecker: efficient sound and precise atomicity checking. In: Proceedings of the 35th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2014. 28\u201339"},{"key":"203_CR120","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar C, Sen K. Symbolic execution for software testing: three decades later. Commun ACM, 2013, 56: 82\u201390","journal-title":"Commun ACM"},{"key":"203_CR121","first-page":"209","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation. Berkeley: USENIX Association","author":"C Cadar","year":"2008","unstructured":"Cadar C, Dunbar D, Engler D R. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation. Berkeley: USENIX Association, 2008. 209\u2013224"},{"key":"203_CR122","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1713254.1713257","volume":"43","author":"L Ciortea","year":"2010","unstructured":"Ciortea L, Zamfir C, Bucur S, et al. Cloud9: a software testing service. ACM SIGOPS Oper Syst Rev, 2010, 43: 5\u201310","journal-title":"ACM SIGOPS Oper Syst Rev"},{"key":"203_CR123","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/1455518.1455522","volume":"12","author":"C Cadar","year":"2008","unstructured":"Cadar C, Ganesh V, Pawlowski P M, et al. EXE: automatically generating inputs of death. ACM Trans Inf Syst Secur, 2008, 12: 322\u2013335","journal-title":"ACM Trans Inf Syst Secur"},{"key":"203_CR124","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/s11704-009-0003-9","volume":"3","author":"W W Liu","year":"2009","unstructured":"Liu W W, Wang J, Chen H W, et al. Symbolic model checking APSL. Front Comput Sci China, 2009, 3: 130\u2013141","journal-title":"Front Comput Sci China"},{"key":"203_CR125","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/1629575.1629594","volume-title":"Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles","author":"G Altekar","year":"2009","unstructured":"Altekar G, Stoica I. ODR: output-deterministic replay for multicore debugging. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles. New York: ACM, 2009. 193\u2013206"},{"key":"203_CR126","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/2384616.2384649","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications","author":"J Huang","year":"2012","unstructured":"Huang J, Zhang C. LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. New York: ACM, 2012. 451\u2013466"},{"key":"203_CR127","first-page":"207","volume-title":"Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"J Huang","year":"2010","unstructured":"Huang J, Liu P, Zhang C. LEAP: lightweight deterministic multi-processor replay of concurrent java programs. In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, 2010. 207\u2013216"},{"key":"203_CR128","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/2110356.2110359","volume":"30","author":"K Veeraraghavan","year":"2012","unstructured":"Veeraraghavan K, Lee D, Wester B, et al. DoublePlay: parallelizing sequential logging and replay. ACM Trans Comput Syst, 2012, 30: 3","journal-title":"ACM Trans Comput Syst"},{"key":"203_CR129","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1145\/2517349.2522734","volume-title":"Proceedings of the 24th ACM Symposium on Operating Systems Principles","author":"Z Weiss","year":"2013","unstructured":"Weiss Z, Harter T, Arpaci-Dusseau A C, et al. ROOT: replaying multithreaded traces with resource-oriented ordering. In: Proceedings of the 24th ACM Symposium on Operating Systems Principles. New York: ACM, 2013. 373\u2013387"},{"key":"203_CR130","first-page":"141","volume-title":"Proceedings of the 34th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"J Huang","year":"2013","unstructured":"Huang J, Zhang C, Dolby J. CLAP: recording local executions to reproduce concurrency failures. In: Proceedings of the 34th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2013. 141\u2013152"},{"key":"203_CR131","first-page":"85","volume-title":"Proceedings of the 14th Architectural Support for Programming Languages and Operating Systems","author":"J Devietti","year":"2009","unstructured":"Devietti J, Lucia B, Ceze L, et al. DMP: deterministic shared memory multiprocessing. In: Proceedings of the 14th Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2009. 85\u201396"},{"key":"203_CR132","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1016\/j.jpdc.2012.02.008","volume":"72","author":"X Zhou","year":"2012","unstructured":"Zhou X, Lu K, Wang X, et al. Exploiting parallelism in deterministic shared memory multiprocessing. J Parall Distrib Comput, 2012, 72: 716\u2013727","journal-title":"J Parall Distrib Comput"},{"key":"203_CR133","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1595696.1595700","volume-title":"Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"J Burnim","year":"2009","unstructured":"Burnim J, Sen K. Asserting and checking determinism for multithreaded programs. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York: ACM, 2009. 3\u201312"},{"key":"203_CR134","first-page":"26","volume-title":"New York: ACM","author":"Z Yin","year":"2011","unstructured":"Yin Z, Yuan D, Zhou Y, et al. How do fixes become bugs? In: Proceedings of the 19th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, 2011. 26\u201336"},{"key":"203_CR135","first-page":"102","volume-title":"Proceedings of the 3rd Workshop on Hot Topics in System Dependability. Berkeley: USENIX Association","author":"S Sidiroglou","year":"2007","unstructured":"Sidiroglou S, Ioannidis S, Keromytis A D. Band-aid patching. In: Proceedings of the 3rd Workshop on Hot Topics in System Dependability. Berkeley: USENIX Association, 2007. 102\u2013106"},{"key":"203_CR136","doi-asserted-by":"crossref","unstructured":"Gu Z, Barr E T, Hamilton D J, et al. Has the bug really been fixed? In: Proceedings of ACM\/IEEE 32nd International Conference on Software Engineering, Cape Town, 2010. 55\u201364","DOI":"10.1145\/1806799.1806812"},{"key":"203_CR137","first-page":"389","volume-title":"Proceedings of the 32th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation","author":"G Jin","year":"2011","unstructured":"Jin G, Song L, Zhang W, et al. Automated atomicity-violation fixing. In: Proceedings of the 32th Annual ACMSIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2011. 389\u2013400"},{"key":"203_CR138","first-page":"221","volume-title":"Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation. Berkeley: USENIX Association","author":"G Jin","year":"2012","unstructured":"Jin G, Zhang W, Deng D, et al. Automated concurrency-bug fixing. In: Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation. Berkeley: USENIX Association, 2012. 221\u2013246"},{"key":"203_CR139","first-page":"299","volume-title":"Proceedings of the International Conference on Software Engineering, Zurich","author":"P Liu","year":"2012","unstructured":"Liu P, Zhang C. Axis: automatically fixing atomicity violations through solving control constraints. In: Proceedings of the International Conference on Software Engineering, Zurich, 2012. 299\u2013309"},{"key":"203_CR140","first-page":"052105","volume":"58","author":"D D Deng","year":"2015","unstructured":"Deng D D, Jin G L, de Kruijf M, et al. Fixing, preventing, and recovering from concurrency bugs. Sci China Inf Sci, 2015, 58: 052105","journal-title":"Sci China Inf Sci"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-0203-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-015-0203-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-0203-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T16:08:14Z","timestamp":1657469294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-015-0203-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,13]]},"references-count":140,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["203"],"URL":"https:\/\/doi.org\/10.1007\/s11432-015-0203-2","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,13]]},"article-number":"031101"}}