{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:18:05Z","timestamp":1725747485491},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693142","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:07:25Z","timestamp":1389010045000},"page":"722-725","source":"Crossref","is-referenced-by-count":27,"title":["CCmutator: A mutation generator for concurrency constructs in multithreaded C\/C++ applications"],"prefix":"10.1109","author":[{"given":"Markus","family":"Kusano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chao Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Juliet Test Suites","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"18","first-page":"351","article-title":"Para? - A partial and higher-order mutation tool with concurrency operators","author":"madiraju","year":"2011","journal-title":"Software Testing Verification and Validation"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.36"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025144"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.32"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.33"},{"journal-title":"Native Client","year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1897852.1897873"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.74"},{"key":"2","article-title":"Design of mutant operators for the C programming language","author":"argrawal","year":"1989","journal-title":"Tech Report Purdue Univ"},{"journal-title":"LLVM compiler","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.28"},{"key":"7","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Symp on Operating Systems Design and Implementation"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108795"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"8","article-title":"Enabling sophisticated analyses of x86 binaries with RevGen","author":"chipounov","year":"2011","journal-title":"IEEE Dependable Systems and Networks Workshops"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693142.pdf?arnumber=6693142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T19:32:28Z","timestamp":1490211148000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693142","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}