{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:47Z","timestamp":1760586587240},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T00:00:00Z","timestamp":1309910400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10664-011-9166-8","type":"journal-article","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T10:27:34Z","timestamp":1309861654000},"page":"129-165","source":"Crossref","is-referenced-by-count":9,"title":["Location pairs: a test coverage metric for shared-memory concurrent programs"],"prefix":"10.1007","volume":"17","author":[{"given":"Serdar","family":"Tasiran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Erkan","family":"Keremo\u011flu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kivan\u00e7","family":"Mu\u015flu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,7,6]]},"reference":[{"key":"9166_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1147403.1147410","volume-title":"Proceedings of the 2006 workshop on parallel and distributed systems: testing and debugging, PADTAD \u201906","author":"Y Ben-Asher","year":"2006","unstructured":"Ben-Asher Y, Eytani Y, Farchi E, Ur S (2006) Producing scheduling that causes concurrent programs to fail. In: Proceedings of the 2006 workshop on parallel and distributed systems: testing and debugging, PADTAD \u201906. ACM, New York, NY, USA, pp 37\u201340"},{"key":"9166_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/MUTATION.2006.10","volume-title":"Proceedings of the second workshop on mutation analysis, MUTATION \u201906","author":"JS Bradbury","year":"2006","unstructured":"Bradbury JS, Cordy JR, Dingel J (2006) Mutation operators for concurrent java (j2se 5.0). In: Proceedings of the second workshop on mutation analysis, MUTATION \u201906. IEEE Computer Society, Washington, DC, USA, pp 11\u201311"},{"key":"9166_CR3","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/1065944.1065972","volume-title":"PPoPP \u201905: proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"A Bron","year":"2005","unstructured":"Bron A, Farchi E, Magid Y, Nir Y, Ur S (2005) Applications of synchronization coverage. In: PPoPP \u201905: proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming. ACM Press, New York, NY, USA, pp 206\u2013212"},{"key":"9166_CR4","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/1321631.1321678","volume-title":"Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, ASE \u201907","author":"J Chen","year":"2007","unstructured":"Chen J, MacDonald S (2007) Testing concurrent programs using value schedules. In: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, ASE \u201907. ACM, New York, NY, USA, pp 313\u2013322"},{"key":"9166_CR5","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/376656.376826","volume-title":"JGI \u201901: proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande","author":"C Daly","year":"2001","unstructured":"Daly C, Horgan J, Power J, Waldron J (2001) Platform independent dynamic java virtual machine analysis: the java grande forum benchmark suite. In: JGI \u201901: proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande. ACM Press, New York, pp 106\u2013115"},{"key":"9166_CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/1065010.1065015","volume-title":"PLDI \u201905: proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation","author":"T Elmas","year":"2005","unstructured":"Elmas T, Tasiran S, Qadeer S (2005) Vyrd: verifying concurrent programs by runtime refinement-violation detection. In: PLDI \u201905: proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. ACM Press, New York, pp 27\u201337"},{"key":"9166_CR7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/1839676.1839698","volume":"53","author":"T Elmas","year":"2010","unstructured":"Elmas T, Qadeer S, Tasiran S (2010) Goldilocks: a race-aware java runtime. Commun. ACM 53:85\u201392","journal-title":"Commun. ACM"},{"key":"9166_CR8","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/ICCSSE.1996.554913","volume-title":"ICCSSE \u201996: proceedings of the 7th Israeli conference on computer-based systems and software engineering","author":"M Factor","year":"1996","unstructured":"Factor M, Farchi E, Lichtenstein Y, Malka Y (1996) Testing concurrent programs: a formal evaluation of coverage criteria. In: ICCSSE \u201996: proceedings of the 7th Israeli conference on computer-based systems and software engineering. IEEE Computer Society, Washington, DC, p\u00a0119"},{"key":"9166_CR9","first-page":"286","volume-title":"IPDPS \u201903: proceedings of the 17th international symposium on parallel and distributed processing","author":"E Farchi","year":"2003","unstructured":"Farchi E, Nir Y, Ur S (2003) Concurrent bug patterns and how to test them. In: IPDPS \u201903: proceedings of the 17th international symposium on parallel and distributed processing. IEEE Computer Society, Washington, DC, p\u00a0286.2"},{"key":"9166_CR10","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-540-70545-1_8","volume-title":"Proceedings of the 20th international conference on computer aided verification, CAV \u201908","author":"A Farzan","year":"2008","unstructured":"Farzan A, Madhusudan P (2008) Monitoring atomicity in concurrent programs. In: Proceedings of the 20th international conference on computer aided verification, CAV \u201908. Springer, Berlin, pp\u00a052\u201365"},{"issue":"1","key":"9166_CR11","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/982962.964023","volume":"39","author":"C Flanagan","year":"2004","unstructured":"Flanagan C, Freund SN (2004) Atomizer: a dynamic atomicity checker for multithreaded programs. SIGPLAN Not 39(1):256\u2013267","journal-title":"SIGPLAN Not"},{"key":"9166_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/604174.604176","volume-title":"TLDI \u201903: proceedings of the 2003 ACM SIGPLAN international workshop on types in language design and implementation","author":"C Flanagan","year":"2003","unstructured":"Flanagan C, Qadeer S (2003) Types for atomicity. In: TLDI \u201903: proceedings of the 2003 ACM SIGPLAN international workshop on types in language design and implementation. ACM, New York, pp\u00a01\u201312"},{"key":"9166_CR13","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/1375581.1375618","volume-title":"Proceedings of the 2008 ACM SIGPLAN conference on programming language design and implementation, PLDI \u201908","author":"C Flanagan","year":"2008","unstructured":"Flanagan C, Freund SN, Yi J (2008) Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: Proceedings of the 2008 ACM SIGPLAN conference on programming language design and implementation, PLDI \u201908. ACM, New York, pp\u00a0293\u2013303"},{"issue":"8","key":"9166_CR14","doi-asserted-by":"crossref","first-page":"774","DOI":"10.1109\/32.238581","volume":"19","author":"PG Frankl","year":"1993","unstructured":"Frankl PG, Weiss SN (1993) An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Trans Softw Eng 19(8):774\u2013787","journal-title":"IEEE Trans Softw Eng"},{"key":"9166_CR15","first-page":"286","volume-title":"IPDPS \u201903: proceedings of the 17th international symposium on parallel and distributed processing","author":"K Havelund","year":"2003","unstructured":"Havelund K, Stoller SD, Ur S (2003) Benchmark and framework for encouraging research on multi-threaded testing tools. In: IPDPS \u201903: proceedings of the 17th international symposium on parallel and distributed processing. IEEE Computer Society, Washington, DC, p\u00a0286.1"},{"key":"9166_CR16","doi-asserted-by":"crossref","unstructured":"Kaminsky A (2007) Parallel java: a unified api for shared memory and cluster parallel programming. In: 100 parallel and distributed processing symposium, international 0:231","DOI":"10.1109\/IPDPS.2007.370421"},{"key":"9166_CR17","doi-asserted-by":"crossref","unstructured":"Kulkarni M, Burtscher M, Cascaval C, Pingali K (2009) Lonestar: a suite of parallel irregular programs. In: ISPASS, pp 65\u201376","DOI":"10.1109\/ISPASS.2009.4919639"},{"key":"9166_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/1147403.1147407","volume-title":"PADTAD \u201906: proceeding of the 2006 workshop on parallel and distributed systems: testing and debugging","author":"ME Keremoglu","year":"2006","unstructured":"Keremoglu ME, Tasiran S, Elmas T (2006) A classification of concurrency bugs in java benchmarks by developer intent. In: PADTAD \u201906: proceeding of the 2006 workshop on parallel and distributed systems: testing and debugging. ACM Press, New York, pp 23\u201326"},{"key":"9166_CR19","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1145\/1453101.1453115","volume-title":"Proceedings of the 16th ACM SIGSOFT international symposium on foundations of software engineering, SIGSOFT \u201908\/FSE-16","author":"Z Lai","year":"2008","unstructured":"Lai Z, Cheung SC, Chan WK (2008) Inter-context control-flow and data-flow test adequacy criteria for nesc applications. In: Proceedings of the 16th ACM SIGSOFT international symposium on foundations of software engineering, SIGSOFT \u201908\/FSE-16. ACM, New York, pp 94\u2013104"},{"key":"9166_CR20","first-page":"533","volume-title":"Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering, ESEC-FSE \u201907","author":"S Lu","year":"2007","unstructured":"Lu S, Jiang W, Zhou Y (2007) A study of interleaving coverage criteria. In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering, ESEC-FSE \u201907. ACM, New York, pp\u00a0533\u2013536"},{"key":"9166_CR21","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1145\/1040305.1040336","volume-title":"POPL \u201905: proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages","author":"J Manson","year":"2005","unstructured":"Manson J, Pugh W, Adve SV (2005) The java memory model. In: POPL \u201905: proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM Press, New York, pp\u00a0378\u2013391"},{"key":"9166_CR22","first-page":"267","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI\u201908","author":"M Musuvathi","year":"2008","unstructured":"Musuvathi M, Qadeer S, Ball T, Basler G, Nainar PA, Neamtiu I (2008) Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI\u201908. USENIX Association, Berkeley, pp\u00a0267\u2013280"},{"key":"9166_CR23","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/1133981.1134018","volume-title":"PLDI \u201906: proceedings of the 2006 ACM SIGPLAN conference on programming language design and implementation","author":"M Naik","year":"2006","unstructured":"Naik M, Aiken A, Whaley J (2006) Effective static race detection for java. In: PLDI \u201906: proceedings of the 2006 ACM SIGPLAN conference on programming language design and implementation. ACM Press, New York, pp\u00a0308\u2013319"},{"key":"9166_CR24","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/1295074.1295077","volume-title":"Fourth international workshop on software quality assurance: in conjunction with the 6th ESEC\/FSE joint meeting, SOQUA \u201907","author":"Y Nir-Buchbinder","year":"2007","unstructured":"Nir-Buchbinder Y, Ur S (2007) Contest listeners: a concurrency-oriented infrastructure for java test and heal tools. In: Fourth international workshop on software quality assurance: in conjunction with the 6th ESEC\/FSE joint meeting, SOQUA \u201907. ACM, New York, pp 9\u201316"},{"key":"9166_CR25","first-page":"53","volume-title":"Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, ESEC\/FSE \u201909","author":"E Sherman","year":"2009","unstructured":"Sherman E, Dwyer MB, Elbaum S (2009) Saturation-based testing of concurrent programs. In: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, ESEC\/FSE \u201909. ACM, New York, pp 53\u201362"},{"key":"9166_CR26","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/582034.582042","volume-title":"Proceedings of the 2001 ACM\/IEEE conference on supercomputing (CDROM), Supercomputing \u201901","author":"LA Smith","year":"2001","unstructured":"Smith LA, Bull JM, Obdrz\u00e1lek J (2001) A parallel java grande benchmark suite. In: Proceedings of the 2001 ACM\/IEEE conference on supercomputing (CDROM), Supercomputing \u201901. ACM, New York, pp 8\u20138"},{"key":"9166_CR27","doi-asserted-by":"crossref","unstructured":"Sung A, Srisa-an W, Rothermel G, Yu T (2010) Testing inter-layer and inter-task interactions in rtes applications. In: Asia-Pacific software engineering conference, pp 260\u2013269","DOI":"10.1109\/APSEC.2010.38"},{"key":"9166_CR28","unstructured":"Tasiran S, Bogdanov A, Ji M (2004) Detecting concurrency errors in file systems by runtime refinement checking. Technical Report HPL-2004-177, HP Laboratories"},{"issue":"3","key":"9166_CR29","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"RN Taylor","year":"1992","unstructured":"Taylor RN, Levine DL, Kelly CD (1992) Structural testing of concurrent programs. IEEE Trans Softw Eng 18(3):206\u2013215","journal-title":"IEEE Trans Softw Eng"},{"key":"9166_CR30","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR \u201999: proceedings of the 10th international conference on concurrency theory","author":"J Tretmans","year":"1999","unstructured":"Tretmans J (1999) Testing concurrent systems: A formal approach. In: CONCUR \u201999: proceedings of the 10th international conference on concurrency theory. Springer, London, pp 46\u201365"},{"issue":"2","key":"9166_CR31","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser W, Havelund K, Brat G, Park S, Lerda F (2003) Model checking programs. Autom Softw Eng 10(2):203\u2013232","journal-title":"Autom Softw Eng"},{"key":"9166_CR32","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/1122971.1122993","volume-title":"PPoPP \u201906: proceedings of the eleventh ACM SIGPLAN symposium on principles and practice of parallel programming","author":"L Wang","year":"2006","unstructured":"Wang L, Stoller SD (2006) Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: PPoPP \u201906: proceedings of the eleventh ACM SIGPLAN symposium on principles and practice of parallel programming. ACM, New York, pp 137\u2013146"},{"key":"9166_CR33","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/271771.271804","volume-title":"Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, ISSTA \u201998","author":"C-SD Yang","year":"1998","unstructured":"Yang C-SD, Souter AL, Pollock LL (1998) All-du-path coverage for parallel programs. In: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, ISSTA \u201998. ACM, New York, pp 153\u2013162"},{"key":"9166_CR34","doi-asserted-by":"crossref","unstructured":"Yu T, Sung A, Srisa-an W, Rothermel G (2011) Using property-based oracles when testing embedded system applications. In: Proceedings of the fourth IEEE international conference on software testing","DOI":"10.1109\/ICST.2011.33"},{"issue":"4","key":"9166_CR35","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu H, Hall PAV, May JHR (1997) Software unit test coverage and adequacy. ACM Comput Surv 29(4):366\u2013427","journal-title":"ACM Comput Surv"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-011-9166-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-011-9166-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-011-9166-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T19:09:49Z","timestamp":1560366589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-011-9166-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,6]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9166"],"URL":"https:\/\/doi.org\/10.1007\/s10664-011-9166-8","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,6]]}}}