{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:00:56Z","timestamp":1725544856894},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/hldvt.2004.1431242","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T15:07:52Z","timestamp":1216393672000},"page":"81-86","source":"Crossref","is-referenced-by-count":5,"title":["Mutation-based validation of high-level microprocessor implementations"],"prefix":"10.1109","author":[{"given":"J.","family":"Campos","sequence":"first","affiliation":[]},{"given":"H.","family":"Al-Asaad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1998.670878"},{"journal-title":"Lifetime Validation of Digital Systems Via Modeling and Test Generation","year":"1998","author":"al-asaad","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008317826940"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/AUTEST.2004.1436893"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270834"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998398"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1994.315656"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277903"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IVC.1998.660701"}],"event":{"name":"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","start":{"date-parts":[[2004,11,10]]},"location":"Sonoma Valley, CA, USA","end":{"date-parts":[[2004,11,12]]}},"container-title":["Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9785\/30870\/01431242.pdf?arnumber=1431242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T17:40:16Z","timestamp":1489513216000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1431242\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2004.1431242","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}