{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:52:28Z","timestamp":1730281948868,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T00:00:00Z","timestamp":1718064000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T00:00:00Z","timestamp":1718064000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,11]]},"DOI":"10.1109\/meco62516.2024.10577846","type":"proceedings-article","created":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T17:26:54Z","timestamp":1720027614000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Fault Localization for Mutation-based Program Repair"],"prefix":"10.1109","author":[{"given":"Aleksandar S.","family":"Dimovski","sequence":"first","affiliation":[{"name":"Mother Teresa University,Skopje,North Macedonia"}]},{"given":"Shpetim","family":"Rexhepi","sequence":"additional","affiliation":[{"name":"Mother Teresa University,Skopje,North Macedonia"}]},{"given":"Goran","family":"Velinov","sequence":"additional","affiliation":[{"name":"University Ss. Cyril and Methodius,Skopje,North Macedonia"}]},{"given":"Izet","family":"Zeqiri","sequence":"additional","affiliation":[{"name":"Mother Teresa University,Skopje,North Macedonia"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-540-24730-2_15"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/512760.512770"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-319-63121-9_13"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/3357765.3359518"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.tcs.2020.06.011"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/s10009-006-0005-y"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/s10009-019-00528-0"},{"key":"ref8","first-page":"14:1","article-title":"Lifted static analysis of dynamic program families by abstract interpretation","volume-title":"35th Conference ECOOP 2021","volume":"194","author":"Dimovski"},{"key":"ref9","first-page":"772","article-title":"Semfix: program repair via semantic analysis","volume-title":"35th International Conference ICSE \u201913","author":"Nguyen"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/978-3-319-48989-6_36","article-title":"Sound and complete mutation-based program repair","volume-title":"FM 2016: Formal Methods - 21st International Symposium, Proceedings","volume":"9995","author":"Rothenberg"},{"key":"ref11","first-page":"190","article-title":"Error invariants for fault localization via abstract interpretation","volume-title":"Static Analysis - 30th International Symposium, SAS 2023, Proceedings","volume":"14284","author":"Dimovski"},{"key":"ref12","first-page":"658","article-title":"Must fault localization for program repair","volume-title":"32nd International Conference, CAV 2020, Proceedings, Part II","volume":"12225","author":"Rothenberg"},{"key":"ref13","first-page":"96","article-title":"Lifted termination analysis by abstract interpretation and its applications","volume-title":"GPCE \u201921","author":"Dimovski","year":"2021"},{"key":"ref14","first-page":"102725","article-title":"Several lifted abstract domains for static analysis of numerical program families","volume-title":"Sci. Comput. Program.","volume":"213","author":"Dimovski","year":"2022"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1109\/TELSKS.2003.1246297","article-title":"Generating highly nonlinear boolean functions using a genetic algorithm","volume-title":"6th Int. Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service, TELSIKS 2003","volume":"2","author":"Dimovski"},{"key":"ref16","first-page":"95","article-title":"Program sketching using lifted analysis for numerical program families","volume-title":"NASA Formal Methods, NFM 2021","volume":"12673","author":"Dimovski","year":"2021"},{"key":"ref17","first-page":"212","article-title":"Generalized program sketching by abstract interpretation and logical abduction","volume-title":"Static Analysis - 30th International Symposium, SAS 2023, Proceedings","volume":"14284","author":"Dimovski"},{"key":"ref18","first-page":"101206","article-title":"Quantitative program sketching using decision tree-based lifted analysis","volume-title":"J. Comput. Lang.","volume":"75","author":"Dimovski","year":"2023"}],"event":{"name":"2024 13th Mediterranean Conference on Embedded Computing (MECO)","start":{"date-parts":[[2024,6,11]]},"location":"Budva, Montenegro","end":{"date-parts":[[2024,6,14]]}},"container-title":["2024 13th Mediterranean Conference on Embedded Computing (MECO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10577658\/10577767\/10577846.pdf?arnumber=10577846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T05:57:36Z","timestamp":1720331856000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10577846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/meco62516.2024.10577846","relation":{},"subject":[],"published":{"date-parts":[[2024,6,11]]}}}