{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:41:16Z","timestamp":1782834076207,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":124,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"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":["2013\/05046-9"],"award-info":[{"award-number":["2013\/05046-9"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2804322.2804328","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Concurrent software testing in practice: a catalog of tools"],"prefix":"10.1145","author":[{"given":"Silvana M.","family":"Melo","sequence":"first","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simone R. S.","family":"Souza","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rodolfo A.","family":"Silva","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paulo S. L.","family":"Souza","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.10.056"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.74"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04167-9_4"},{"issue":"10","key":"e_1_3_2_1_4_1","first-page":"971","article-title":"On the effectiveness of contracts as test oracles in the detection and diagnosis of functional faults in concurrent object-oriented software. Software Engineering","volume":"40","author":"Araujo W.","year":"2014","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_5_1","unstructured":"C. Artho. Finding faults in multi-threaded programs. Master\u2019s thesis Swiss Federal Institute of Technology ETH Z\u02c7 urich Z\u02c7 urich 2001.  C. Artho. Finding faults in multi-threaded programs. Master\u2019s thesis Swiss Federal Institute of Technology ETH Z\u02c7 urich Z\u02c7 urich 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_28"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.1998.699448"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"e_1_3_2_1_9_1","first-page":"16","volume-title":"Proceedings of the 4th USENIX Conference on Hot Topics in Parallelism, HotPar\u201912","author":"Burnim J.","year":"2012"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145879"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001436"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2013.20"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1995.521884"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"S. Chaki E. Clarke J. Ouaknine N. Sharygina and N. Sinha. Concurrent software verification with states events and deadlocks. Formal Aspects of Computing V17(4):461\u2013483 December 2005.  S. Chaki E. Clarke J. Ouaknine N. Sharygina and N. Sinha. Concurrent software verification with states events and deadlocks. Formal Aspects of Computing V17(4):461\u2013483 December 2005.","DOI":"10.1007\/s00165-005-0071-z"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_21"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_12"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_30"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755945"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566211"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693458"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337625"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-012-0214-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029900"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00101-4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.003"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491453"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100134"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.33"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483773"},{"key":"e_1_3_2_1_32_1","unstructured":"A. Grama G. Karypis V. Kumar and A. Gupta. Introduction to Parallel Computing. Addison Wesley 2 o edition January 2003.  A. Grama G. Karypis V. Kumar and A. Gupta. Introduction to Parallel Computing. Addison Wesley 2 o edition January 2003."},{"key":"e_1_3_2_1_33_1","first-page":"419","volume-title":"TACAS \u201999","author":"Gunter E. L.","year":"1999"},{"key":"e_1_3_2_1_34_1","volume-title":"TRANSACT 2009","author":"Harmanci D.","year":"2009"},{"key":"e_1_3_2_1_35_1","first-page":"6","volume-title":"XX SBES","author":"Hausen A. C.","year":"2006"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940728"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"K. Havelund and G. Rosu. Monitoring java programs with java pathexplorer. Technical report 2001.   K. Havelund and G. Rosu. Monitoring java programs with java pathexplorer. Technical report 2001.","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2010.33"},{"key":"e_1_3_2_1_39_1","series-title":"Lecture Notes in Computer Science","first-page":"322","volume-title":"Software Engineering and Formal Methods","author":"Ibing A."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/785407.785492"},{"key":"e_1_3_2_1_41_1","first-page":"1187","volume-title":"Weiss. Software Testing: Tools","author":"E. M."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025145"},{"key":"e_1_3_2_1_43_1","first-page":"19","volume-title":"International Journal of Parallel Programming","author":"Jannesari A.","year":"2015"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.20"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.09.002"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13374-9_25"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/521008.785646"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019917329895"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.08.030"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24688-6_61"},{"key":"e_1_3_2_1_51_1","volume-title":"Massachusetts Institute of Technology","author":"Krawczyk H.","year":"1999"},{"key":"e_1_3_2_1_52_1","unstructured":"H. Krawczyk B. Wiszniewski P. Kuzora M. Neyman and J. Proficz. Integrated static and dynamic analysis of pvm programs with steps. Computers and Artificial Intelligence 17(5) 1998.  H. Krawczyk B. Wiszniewski P. Kuzora M. Neyman and J. Proficz. Integrated static and dynamic analysis of pvm programs with steps. Computers and Artificial Intelligence 17(5) 1998."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273658"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693142"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866210.1866215"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445318"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205182"},{"key":"e_1_3_2_1_61_1","volume-title":"EUROMICRO 97, page 291","author":"J. Louren\u00b8","year":"1997"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555252"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594300"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_23"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879211.1879247"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594311"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647508.2647523"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/174266.171370"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-013-0370-9"},{"key":"e_1_3_2_1_70_1","first-page":"280","volume-title":"OSDI\u201908","author":"Musuvathi M.","year":"2008"},{"key":"e_1_3_2_1_71_1","unstructured":"G. J. Myers. The Art of Software Testing. John Wiley & Sons New York 2 edition 2004.   G. J. Myers. The Art of Software Testing. John Wiley & Sons New York 2 edition 2004."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669180"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.55"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509514"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1998.649209"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597959.2597972"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528521.1508256"},{"key":"e_1_3_2_1_78_1","first-page":"333","volume-title":"GPC\u201907","author":"Park M.-Y.","year":"2007"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227115.2227123"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810460"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628094"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596655.1596676"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2134243.2134248"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660238"},{"key":"e_1_3_2_1_88_1","unstructured":"F. S. Sarmanho. Teste de programas concorrentes com mem\u00f3ria compartilhada. Master\u2019s thesis ICMC\/USP S\u02dc ao Carlos SP 2009.  F. S. Sarmanho. Teste de programas concorrentes com mem\u00f3ria compartilhada. Master\u2019s thesis ICMC\/USP S\u02dc ao Carlos SP 2009."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69384-0_39"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065956"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595750"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_95_1","first-page":"182","volume-title":"Haifa Verification Conference","author":"Sen K.","year":"2006"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0291-0"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985848"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75416-9_8"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.5555\/2358952.2359173"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBAC-PAD.2014.20"},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87475-1_35"},{"key":"e_1_3_2_1_104_1","first-page":"158","volume-title":"ICCS","author":"Souza P. S. L.","year":"2013"},{"key":"e_1_3_2_1_105_1","first-page":"391","volume-title":"SEKE","author":"Souza S. R. S.","year":"2005"},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042243.2042260"},{"key":"e_1_3_2_1_107_1","volume-title":"Second Workshop on Runtime Verification (RV)","volume":"2002","author":"Stoller S. D."},{"key":"e_1_3_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.32"},{"key":"e_1_3_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30793-5_14"},{"key":"e_1_3_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555260"},{"key":"e_1_3_2_1_111_1","unstructured":"J. Turpie E. Reisner J. S. Foster and M. Hicks. Multiotter: Multiprocess symbolic execution. Technical report 2011.  J. Turpie E. Reisner J. S. Foster and M. Hicks. Multiotter: Multiprocess symbolic execution. Technical report 2011."},{"key":"e_1_3_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"e_1_3_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"e_1_3_2_1_114_1","first-page":"294","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908","author":"Wang Y.","year":"2008"},{"key":"e_1_3_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_33"},{"key":"e_1_3_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869473"},{"key":"e_1_3_2_1_117_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-014-0304-y"},{"key":"e_1_3_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271804"},{"key":"e_1_3_2_1_119_1","unstructured":"Y. Yang X. Chen and G. Gopalakrishnan. Inspect: A runtime model checker for multithreaded c programs. Technical report 2008.  Y. Yang X. Chen and G. Gopalakrishnan. Inspect: A runtime model checker for multithreaded c programs. Technical report 2008."},{"key":"e_1_3_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201080"},{"key":"e_1_3_2_1_121_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384651"},{"key":"e_1_3_2_1_122_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40047-6_3"},{"key":"e_1_3_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336780"},{"key":"e_1_3_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2012.02.008"}],"event":{"name":"ESEC\/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Bergamo Italy","acronym":"ESEC\/FSE'15","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804322.2804328","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804322.2804328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:10Z","timestamp":1750223230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804322.2804328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":124,"alternative-id":["10.1145\/2804322.2804328","10.1145\/2804322"],"URL":"https:\/\/doi.org\/10.1145\/2804322.2804328","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}