{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:00:07Z","timestamp":1725613207144},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484713","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T22:15:51Z","timestamp":1208297751000},"page":"396-401","source":"Crossref","is-referenced-by-count":15,"title":["A Mutation Model for the SystemC TLM 2.0 Communication Interfaces"],"prefix":"10.1109","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"OSCI TLM 2 0 PVT Modeling Examples","year":"2007","author":"kogel","key":"19"},{"key":"17","first-page":"50","article-title":"specification of timed efsm fault models in sdl","author":"batth","year":"2007","journal-title":"Proc of FORTE"},{"journal-title":"Transaction Level Modeling in Systemc","year":"2004","author":"rose","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.5"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341378"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251036"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.2"},{"key":"12","first-page":"222","article-title":"system level mutation analysis applied to a state-based language","author":"olsson","year":"2001","journal-title":"Proc of IEEE ECBS"},{"year":"0","key":"21"},{"journal-title":"Advancing Transaction Level Modeling (TLM) Linking the OSCI and OCP-IP Worlds at Transaction Level","year":"0","author":"colgan","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.1999.808702"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337771"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2006.63.71"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1118537.1123073"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129887"},{"key":"6","first-page":"264","article-title":"online minimization of transition systems","author":"lee","year":"1992","journal-title":"Proc ACM Symp Theory of Computers"},{"year":"0","key":"5"},{"journal-title":"Digital Systems Testing and Testable Design","year":"1990","author":"abramovici","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873653"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2002.1173285"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484713.pdf?arnumber=4484713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:46:00Z","timestamp":1489679160000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484713\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484713","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}