{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T02:10:05Z","timestamp":1746065405473,"version":"3.40.4"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/ewdts.2013.6673203","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T19:45:40Z","timestamp":1386186340000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Comparison of Model-Based Error Localization algorithms for C designs"],"prefix":"10.1109","author":[{"given":"Urmas","family":"Repinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"year":"2012","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1029005"},{"key":"7","first-page":"528","author":"jain","year":"1988","journal-title":"Algorithms for clustering data"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2011.6116412"},{"journal-title":"Hardware Design Verification Simulation and Formal Method-Based Approaches","year":"2005","author":"lam","key":"5"},{"key":"4","first-page":"448","volume":"16","author":"kas'janov","year":"1975","journal-title":"Distinguishing Hammocks in A Directed Graph"},{"year":"2012","key":"9"},{"key":"8","first-page":"528","article-title":"Lightweight defect localization for Java","volume":"3568","author":"dallmeier","year":"2005","journal-title":"ECOOP 2005 19th European Conference"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"12","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1007\/3-540-63531-9_29","article-title":"The use of program profiling for software maintenance with applications to the year 2000 problem","volume":"1301","author":"reps","year":"1997","journal-title":"Proceedings of the Sixth European Software Engineering Conference (ESEC\/FSE 97)"}],"event":{"name":"2013 11th East-West Design and Test Symposium (EWDTS)","start":{"date-parts":[[2013,9,27]]},"location":"Rostov-on-Don, Russia","end":{"date-parts":[[2013,9,30]]}},"container-title":["East-West Design & Test Symposium (EWDTS 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6663756\/6673074\/06673203.pdf?arnumber=6673203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T01:47:59Z","timestamp":1746064079000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6673203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2013.6673203","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}