{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:06:13Z","timestamp":1761581173075,"version":"3.40.4"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,2,22]],"date-time":"2014-02-22T00:00:00Z","timestamp":1393027200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10766-014-0304-y","type":"journal-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T02:49:05Z","timestamp":1392950945000},"page":"260-285","source":"Crossref","is-referenced-by-count":21,"title":["Collaborative Technique for Concurrency Bug Detection"],"prefix":"10.1007","volume":"43","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"}]},{"given":"Xu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,22]]},"reference":[{"key":"304_CR1","unstructured":"Securityfocus: Software bug contributed to blackout. http:\/\/www.securityfocus.com\/news\/8016 (2013). Accessed 1 May 2013"},{"key":"304_CR2","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: Architectural Support for Programming Languages and Operating Systems (ASPLOS 2008), pp. 329\u2013339. Seattle, Washington, USA (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"304_CR3","doi-asserted-by":"crossref","unstructured":"Koskinen, E., Herlihy, M.: Dreadlocks: efficient deadlock detection. In: Proceedings of the 12th annual symposium on Parallelism in algorithms and architectures, Munich, Germany, pp. 297\u2013303 (2008)","DOI":"10.1145\/1378533.1378585"},{"key":"304_CR4","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: 30th annual ACMSIGPLAN conference on Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, pp. 110\u2013120 (2009)","DOI":"10.1145\/1542476.1542489"},{"key":"304_CR5","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: detecting atomicity violations via access interleaving invariants. In: Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006), pp. 37\u201348. San Jose, CA, USA (2006)","DOI":"10.1145\/1168918.1168864"},{"key":"304_CR6","doi-asserted-by":"crossref","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(FSE), pp. 135\u2013145. Atlanta, Georgia, USA (2008)","DOI":"10.1145\/1453101.1453121"},{"key":"304_CR7","doi-asserted-by":"crossref","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: exposing atomicity violation bugs from their hiding places. Ctrigger: exposing atomicity violation bugs from their hiding places. In: 15th Architectural Support for Programming Languages and Operating Systems (ASPLOS 2009), pp. 25\u201336. Washington, DC, USA (2009)","DOI":"10.1145\/1508284.1508249"},{"key":"304_CR8","doi-asserted-by":"crossref","unstructured":"Huang, J., Zhang, C.: Persuasive prediction of concurrency access anomalies. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), pp. 144\u2013154. Toronto, ON, Canada (2011)","DOI":"10.1145\/2001420.2001438"},{"key":"304_CR9","doi-asserted-by":"crossref","unstructured":"Chen, J., MacDonald, 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 (PADTAD 2008). Seattle, WA, USA (2008)","DOI":"10.1145\/1390841.1390849"},{"key":"304_CR10","doi-asserted-by":"crossref","unstructured":"Zhang, W., Sun, C., Lu, S.: ConMem: detecting severe concurrency bugs through an effect-oriented approach. In: 15th Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010), pp. 179\u2013192. Pittsburgh, PA, USA (2010)","DOI":"10.1145\/1735971.1736041"},{"key":"304_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, W., Lim, J., Olichandran, R., Scherpelz, J., Jin, G., Lu, S., Reps, T.: ConSeq: detecting concurrency bugs through sequential errors. In: 16th Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), pp. 251\u2013264. Newport Beach, CA, USA (2011)","DOI":"10.1145\/1961296.1950395"},{"key":"304_CR12","doi-asserted-by":"crossref","unstructured":"Yu, J., Narayanasamy, S., Pereira, C., Pokam, G.: Maple: a coverage-driven testing tool for multithreaded programs. In: Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA 2012), pp. 485\u2013502. Tucson, AZ, USA (2012)","DOI":"10.1145\/2384616.2384651"},{"key":"304_CR13","doi-asserted-by":"crossref","unstructured":"Brat, G., Visser, W.: Combining static analysis and model checking for software analysis. In: Proceedings of the 16th IEEE international conference on Automated software engineering (ASE 2001), pp. 262\u2013269 (2001)","DOI":"10.1109\/ASE.2001.989812"},{"key":"304_CR14","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 the 21th ACM symposium on Operating systems principles (SOSP 2007), pp. 103\u2013116. Stevenson, WA, USA (2007)","DOI":"10.1145\/1323293.1294272"},{"key":"304_CR15","doi-asserted-by":"crossref","unstructured":"S. Narayanasamy, Z.W., J. Tigani, A. Edwards, and B. Calder: Automatically classifying benign and harmful data races using replay analysis. In: 28th annual ACMSIGPLAN conference on Programming Language Design and Implementation (PLDI 2007), pp. 22\u201331 (2007)","DOI":"10.1145\/1250734.1250738"},{"issue":"3","key":"304_CR16","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. (TOPLAS) 33(3), 1\u201355 (2011)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"304_CR17","doi-asserted-by":"crossref","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: 15th ACM SIGSOFT International Symposium on Foundations of software engineering (FSE 2007), pp. 205\u2013214. Cavtat near Dubrovnik, Croatia (2007)","DOI":"10.1145\/1287624.1287654"},{"key":"304_CR18","doi-asserted-by":"crossref","unstructured":"Giffhorn, D., Hammer, C.: Precise slicing of concurrent programs. J. Autom. Softw. Eng. doi: 10.1007\/s10515-009-0048-x pp. 197\u2013234 (2009)","DOI":"10.1007\/s10515-009-0048-x"},{"key":"304_CR19","doi-asserted-by":"crossref","unstructured":"X. Zhang, R.G.: Cost effective dynamic program slicing. In: 25th annual ACMSIGPLAN conference on Progr-amming Language Design and Implementation (PLDI 2004), pp. 94\u2013106 (2004)","DOI":"10.1145\/996841.996855"},{"key":"304_CR20","doi-asserted-by":"crossref","unstructured":"Luk, C.-K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: 26th annual ACMSIGPLAN conference on Programming Language Design and Implementation (PLDI 2005), pp. 190\u2013200. Chicago, Illinois, USA (2005)","DOI":"10.1145\/1064978.1065034"},{"key":"304_CR21","doi-asserted-by":"crossref","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 (SOSP 2003), pp. 237\u2013252 (2003)","DOI":"10.1145\/1165389.945468"},{"key":"304_CR22","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G., Gruian, R., Reps, T., Teitelbaum, T.: CodeSurfer\/x86 - A platform for analyzing x86 executables. In: Proceedings of the 14th International Conference on Compiler Construction (CC 2005), pp. 250\u2013254 (2005)","DOI":"10.1007\/978-3-540-31985-6_19"},{"key":"304_CR23","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. In: Proceedings of the 13th international conference on Compiler Construction (CC 2004), pp. 5\u201323 (2004)","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"304_CR24","unstructured":"Lyle, J.R., Wallace, D.R.: Using the unravel program slicing tool to evaluate high integrity software. In: Proceedings of 10th International Software Quality Week, vol. 301, pp. 975\u20133270 (1997)"},{"key":"304_CR25","doi-asserted-by":"crossref","unstructured":"Sen, K.: Race directed random testing of concurrent programs. In: 29th annual ACMSIGPLAN conference on Program-ming Language Design and Implementation (PLDI 2008), pp. 11\u201321. Tucson, Arizona, USA (2008)","DOI":"10.1145\/1375581.1375584"},{"key":"304_CR26","doi-asserted-by":"crossref","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 (ICSE 2010), pp. 235\u2013244. Cape Town, South, Africa (2010)","DOI":"10.1145\/1806799.1806836"},{"key":"304_CR27","doi-asserted-by":"crossref","unstructured":"Chew, L., Lie, D.: Kivati: fast detection and prevention of atomicity violations. In: Proceedings of the 5th European conference on Computer systems (Eurosys 2010), pp. 307\u2013320. Paris, France (2010)","DOI":"10.1145\/1755913.1755945"},{"key":"304_CR28","unstructured":"Apache-2.0.48, https:\/\/issues.apache.org\/bugzilla\/show_bug.cgi?id=25520 . Accessed 1 May 2013 (2013)"},{"key":"304_CR29","doi-asserted-by":"crossref","unstructured":"Narayanasamy, S., Wang, Z., Tigani, J., Edwards, A., Calder, B.: Automatically classifying benign and harmful data races using replay analysis. In: 28th annual ACMSIGPLAN conference on Programming Language Design and Implementation (PLDI 2007), pp. 22\u201331 (2007)","DOI":"10.1145\/1250734.1250738"},{"key":"304_CR30","doi-asserted-by":"crossref","unstructured":"Lucia, B., Devietti, J., Strauss, K., Ceze, L.: Atom-aid: Detecting and surviving atomicity violations. In: Proceedings of the 35th Annual International Symposium on Computer Architecture (ISCA 2008), pp. 277\u2013288 (2008)","DOI":"10.1109\/ISCA.2008.4"},{"key":"304_CR31","doi-asserted-by":"crossref","unstructured":"Woo, S.C., Ohara, M., Torrie, E., Singh, J.P., Gupta, A.: The SPLASH-2 programs: characterization and methodological considerations. In: Proceedings of the 22th Annual Interna-tional Symposium on Computer Architecture (ISCA 1995), pp. 24\u201336 (1995)","DOI":"10.1109\/ISCA.1995.524546"},{"key":"304_CR32","doi-asserted-by":"crossref","unstructured":"Xu, Z., Kai L., Xiaoping W., Xu L.: Exploiting parallelism in deterministic shared memory multiprocessing. J. Parallel Distrib. Comput. (JPDC), pp. 716\u2013727 (2012)","DOI":"10.1016\/j.jpdc.2012.02.008"},{"key":"304_CR33","unstructured":"Kai L., Xu, Z., Tom B., Xiaoping W.: Efficient Deterministic Multithreading Without Global Barriers. In PPoPP (2014)"},{"key":"304_CR34","doi-asserted-by":"crossref","unstructured":"Zhendong W., Kai L., Xiaoping W., Xu Z.: ColFinder: Collaborative Concurrency Bug Detection. The 13th International Conference on Quality Software (QSIC 2013), pp. 208\u2013211 (2013)","DOI":"10.1109\/QSIC.2013.67"},{"key":"304_CR35","doi-asserted-by":"crossref","unstructured":"Benjamin, W., David D., Peter M. C., Jason F. and Satish N.: Parallelizing Data Race Detection. In: 18th Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013), pp. 27\u201338 (2013)","DOI":"10.1145\/2451116.2451120"},{"key":"304_CR36","doi-asserted-by":"crossref","unstructured":"Sangmin, P., Mary J. H., Richard V.: Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs. In: Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013), pp. 134\u2013144 (2013)","DOI":"10.1145\/2483760.2483792"},{"key":"304_CR37","unstructured":"Madanlal, M., Shaz, Q., Thomas, B., Gerard, B., Piramanayagam, A. N., Iulian, N.: Finding and Reproducing Heisenbugs in Concurrent Programs. In: 8th USENIX symposium on Operating Systems Design and Implementation (OSDI 2008), pp. 267\u2013280 (2008)"},{"key":"304_CR38","unstructured":"Sandeep, B., Sorav, B., Akash, L.: Variable and Thread Bounding for Systematic Testing of Multithreaded Programs. In: Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013)"},{"key":"304_CR39","unstructured":"Jeff, H., Charles, Z., Julian, D.: CLAP: Recording Local Executions to Reproduce Concurrency Failures. In: 34th annual ACMSIGPLAN conference on Program-ming Language Design and Implementation (PLDI 2013), Seattle, WA, USA (2013)"},{"key":"304_CR40","unstructured":"Baris, K., Cristian Z., George C.: RaceMob: Crowdsourced Data Race Detection. In: Proceedings of the 23th ACM symposium on Operating systems principles (SOSP 2013)"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-014-0304-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-014-0304-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-014-0304-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:11:40Z","timestamp":1746137500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-014-0304-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,22]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["304"],"URL":"https:\/\/doi.org\/10.1007\/s10766-014-0304-y","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2014,2,22]]}}}