{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T19:44:08Z","timestamp":1748720648234},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1303338","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"265-272","source":"Crossref","is-referenced-by-count":11,"title":["Mutation-based exploration of a method for verifying concurrent java components"],"prefix":"10.1109","author":[{"given":"B.","family":"Long","sequence":"first","affiliation":[]},{"given":"R.","family":"Duke","sequence":"additional","affiliation":[]},{"given":"D.","family":"Goldson","sequence":"additional","affiliation":[]},{"given":"P.","family":"Strooper","sequence":"additional","affiliation":[]},{"given":"L.","family":"Wildman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-44685-0_5","article-title":"Using the Bandera tool set to model-check properties of concurrent Java software","author":"hatcliff","year":"2001","journal-title":"Proceedings 12th International Conference on Concurrency Theory (CONCUR 2001)"},{"key":"18","article-title":"Java PathFinder, a translator from Java to Promela","author":"havelund","year":"1999","journal-title":"Proceedings of 5th and 6th SPIN Workshops"},{"journal-title":"Software Inspection","year":"1993","author":"gilb","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2001.948498"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"},{"journal-title":"JUnit Testing Framework","year":"2002","author":"gamma","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"journal-title":"Jlint Manual","year":"2002","author":"knizhnik","key":"21"},{"journal-title":"Contes","year":"2003","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205182"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213512"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1063"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302663"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"1998","author":"szyperski","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24756-2_27"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1998.693354"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2001.948499"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1207450"},{"journal-title":"Concurrent Programming Principles and Practice","year":"1991","author":"andrews","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/32.6195"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/330908.331879"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/APAQ.2000.883775"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2037-7_15"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380080607"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2003.1236219"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870434"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01303338.pdf?arnumber=1303338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:57:46Z","timestamp":1497599866000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1303338\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1303338","relation":{},"subject":[]}}