{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:21:10Z","timestamp":1730258470253,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/icsm.2010.5609529","type":"proceedings-article","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T18:01:44Z","timestamp":1288980104000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Using clone detection to identify bugs in concurrent software"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Jalbert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy S.","family":"Bradbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.129"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070566"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"12","article-title":"Systematic concurrency testing using CHESS","volume":"2008","year":"0","journal-title":"Proc of the 6th Workshop on Parallel and Distributed Systems Testing Analysis and Debugging (PADTAD 2008)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80582-6"},{"journal-title":"Using Program Mutation for the Empirical Assessment of Fault Detection Techniques A Comparison of Concurrency Testing and Model Checking","year":"2007","author":"bradbury","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095421"},{"key":"10","first-page":"6","article-title":"Defining a catalog of programming anti-patterns for concurrent java","author":"bradbury","year":"2009","journal-title":"Proc of the 3rd International Workshop on Software Patterns and Quality (SPAQu'09)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.28"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.02.007"},{"key":"5","first-page":"675","article-title":"CalFuzzer: An extensible active testing framework for concurrent programs","author":"joshi","year":"2009","journal-title":"Proc of the 21st International Conference on Computer Aided Verification (CAV 2009)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287634"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1328279.1328283"}],"event":{"name":"2010 IEEE 26th International Conference on Software Maintenance (ICSM)","start":{"date-parts":[[2010,9,12]]},"location":"Timi oara, Romania","end":{"date-parts":[[2010,9,18]]}},"container-title":["2010 IEEE International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5604771\/5609528\/05609529.pdf?arnumber=5609529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T00:40:28Z","timestamp":1489884028000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5609529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icsm.2010.5609529","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}