{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T15:41:38Z","timestamp":1766504498107,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,17]],"date-time":"2011-07-17T00:00:00Z","timestamp":1310860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2008\/04614-52009\/04517-22010\/04935-62010\/02839-0"],"award-info":[{"award-number":["2008\/04614-52009\/04517-22010\/04935-62010\/02839-0"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["1191\/10-1"],"award-info":[{"award-number":["1191\/10-1"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,17]]},"DOI":"10.1145\/2002962.2002964","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T12:34:54Z","timestamp":1311165294000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Research in concurrent software testing"],"prefix":"10.1145","author":[{"given":"Simone R. S.","family":"Souza","sequence":"first","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria A. S.","family":"Brito","sequence":"additional","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodolfo A.","family":"Silva","sequence":"additional","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo S. L.","family":"Souza","sequence":"additional","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ed","family":"Zaluska","sequence":"additional","affiliation":[{"name":"ECS, University of Southampton, Southampton, England"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.1998.699448"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v18:5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647882.738094"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/74261.74301"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390841.1390849"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"M. Christakis and K. Sagonas. Detection of asynchronous message passing errors using static analysis. Lecture Notes in Computer Science 6539 LNCS:5--18 2011.   M. Christakis and K. Sagonas. Detection of asynchronous message passing errors using static analysis. Lecture Notes in Computer Science 6539 LNCS:5--18 2011.","DOI":"10.1007\/978-3-642-18378-2_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549468_81"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"O. Edelstein E. Farchi E. Goldin Y. Nir G. Ratsaby and S. Ur. Framework for testing multi-threaded java programs. Concurrency Computation Practice and Experience 15(3--5 SPEC.):485--499 2003.  O. Edelstein E. Farchi E. Goldin Y. Nir G. Ratsaby and S. Ur. Framework for testing multi-threaded java programs. Concurrency Computation Practice and Experience 15(3--5 SPEC.):485--499 2003.","DOI":"10.1002\/cpe.654"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838485"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.33"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.396"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/84797.84806"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194095000241"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2009.5207390"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1010062"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226298"},{"key":"e_1_3_2_1_25_1","unstructured":"H. Krawczyk and B. Wiszniewski. A method for determining testing scenarios for parallel and distributed software 1996.  H. Krawczyk and B. Wiszniewski. A method for determining testing scenarios for parallel and distributed software 1996."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273658"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866210.1866215"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025117.1025516"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v17:4"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ChinaGrid.2009.12"},{"key":"e_1_3_2_1_32_1","first-page":"2730","volume-title":"Man and Cybernetics, 2004 IEEE International Conference on","volume":"3","author":"Li S. Q.","year":"2004"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273655"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353536.1346323"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250785"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375625"},{"volume-title":"Microsoft Research","year":"2007","author":"Musuvathi M.","key":"e_1_3_2_1_37_1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508284.1508256"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"M.-Y. Park S. J. Shim Y.-K. Jun and H.-R. Park. MPIRace-check: Detection of message races in MPI programs. Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4459 LNCS:322--333 2007.   M.-Y. Park S. J. Shim Y.-K. Jun and H.-R. Park. MPIRace-check: Detection of message races in MPI programs. Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4459 LNCS:322--333 2007.","DOI":"10.1007\/978-3-540-72360-8_28"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838506"},{"key":"e_1_3_2_1_42_1","first-page":"1559","volume-title":"Sensing and Control, 2008. ICNSC 2008. IEEE International Conference on","author":"Pu F.","year":"2008"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69384-0_39"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496659"},{"key":"e_1_3_2_1_45_1","first-page":"166","volume-title":"Haifa Verification Conference","author":"Sen K.","year":"2006"},{"key":"e_1_3_2_1_46_1","first-page":"221","volume-title":"Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific","author":"Seo H.-S.","year":"2001"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87475-1_35"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v20:16"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.76"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147409"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194008003878"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.37"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/783734.783816"},{"key":"e_1_3_2_1_55_1","unstructured":"C.-S. D. Yang. Program-Based Structural Testing of Shared Memory Parallel Programs. PhD thesis University of Delaware 1999.   C.-S. D. Yang. Program-Based Structural Testing of Shared Memory Parallel Programs . PhD thesis University of Delaware 1999."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271804"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.1990.101652"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(92)90093-5"},{"volume-title":"University of Utah","year":"2008","author":"Yang Y.","key":"e_1_3_2_1_59_1"}],"event":{"name":"ISSTA '11: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Toronto Ontario Canada","acronym":"ISSTA '11"},"container-title":["Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2002962.2002964","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2002962.2002964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:22Z","timestamp":1750244782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2002962.2002964"}},"subtitle":["a systematic review"],"short-title":[],"issued":{"date-parts":[[2011,7,17]]},"references-count":57,"alternative-id":["10.1145\/2002962.2002964","10.1145\/2002962"],"URL":"https:\/\/doi.org\/10.1145\/2002962.2002964","relation":{},"subject":[],"published":{"date-parts":[[2011,7,17]]},"assertion":[{"value":"2011-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}