{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T07:40:05Z","timestamp":1751096405451,"version":"3.41.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T00:00:00Z","timestamp":1749513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T00:00:00Z","timestamp":1749513600000},"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":[[2025,6,10]]},"DOI":"10.1109\/meco66322.2025.11049129","type":"proceedings-article","created":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T17:43:48Z","timestamp":1751046228000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Feature Model for Imperative Program Synthesis"],"prefix":"10.1109","author":[{"given":"Aleksandar S.","family":"Dimovski","sequence":"first","affiliation":[{"name":"Mother Teresa University,Skopje,MKD"}]},{"given":"Goran","family":"Velinov","sequence":"additional","affiliation":[{"name":"University Ss. Cyril and Methodius,Skopje,MKD"}]},{"given":"Shpetim","family":"Rexhepi","sequence":"additional","affiliation":[{"name":"Mother Teresa University,Skopje,MKD"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref2","first-page":"288","article-title":"A counterexample-guided refinement tool for open procedural programs","volume-title":"Model Checking Software, 13th International SPIN Workshop, 2006, Proceedings","volume":"3925","author":"Dimovski"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/telsks.2003.1246297"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2024.101288"},{"key":"ref6","first-page":"67","article-title":"A decision tree lifted domain for analyzing program families with numerical features","volume-title":"24th Int. Conf. FASE 2021, Proceedings","volume":"12649","author":"Dimovski"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_14"},{"key":"ref8","first-page":"14:1","article-title":"Lifted static analysis of dynamic program families by abstract interpretation","volume-title":"35th Conference ECOOP 2021","author":"Dimovski"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2018.1521996"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76384-8_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2023.101206"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_11"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66706-5_18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3434311"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1145\/3742876.3742884","article-title":"Imperative program synthesis by abstract static analysis and smt mutations","volume-title":"GPCE \u201925","author":"Dimovski"},{"key":"ref19","first-page":"12:1","article-title":"Mutation-based lifted repair of software product lines","volume-title":"38th European Conference on Object-Oriented Programming, ECOOP 2024","volume":"313","author":"Dimovski"}],"event":{"name":"2025 14th Mediterranean Conference on Embedded Computing (MECO)","start":{"date-parts":[[2025,6,10]]},"location":"Budva, Montenegro","end":{"date-parts":[[2025,6,14]]}},"container-title":["2025 14th Mediterranean Conference on Embedded Computing (MECO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11049083\/11049085\/11049129.pdf?arnumber=11049129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T07:04:16Z","timestamp":1751094256000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11049129\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/meco66322.2025.11049129","relation":{},"subject":[],"published":{"date-parts":[[2025,6,10]]}}}