{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:49:52Z","timestamp":1761130192335,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1145\/3744915.3748474","type":"proceedings-article","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T14:54:43Z","timestamp":1756565683000},"page":"161-171","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On Synthesizing Presence Conditions in Numerical Software Product Lines"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3601-2631","authenticated-orcid":false,"given":"Aleksandar S.","family":"Dimovski","sequence":"first","affiliation":[{"name":"Informatics, Mother Teresa University, Skopje, Skopje, Macedonia"}]}],"member":"320","published-online":{"date-parts":[[2025,8,31]]},"reference":[{"key":"e_1_3_3_3_2_2","doi-asserted-by":"publisher","unstructured":"Mustafa Al-Hajjaji Thomas Th\u00fcm Malte Lochau Jens Meinicke and Gunter Saake. 2019. Effective product-line testing using similarity-based product prioritization. Softw. Syst. Model. 18 1 (2019) 499\u2013521.10.1007\/S10270-016-0569-2","DOI":"10.1007\/S10270-016-0569-2"},{"key":"e_1_3_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837628"},{"key":"e_1_3_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"e_1_3_3_3_5_2","first-page":"355","volume-title":"ACM SIGPLAN Conference on PLDI \u201913","author":"Bodden Eric","year":"2013","unstructured":"Eric Bodden, T\u00e1rsis Tol\u00eado, M\u00e1rcio Ribeiro, Claus Brabrand, Paulo Borba, and Mira Mezini. 2013. SPLLIFT: statically analyzing software product lines in minutes instead of years. In ACM SIGPLAN Conference on PLDI \u201913.ACM,USA, 355\u2013364."},{"key":"e_1_3_3_3_6_2","doi-asserted-by":"crossref","unstructured":"Claus Brabrand M\u00e1rcio Ribeiro T\u00e1rsis Tol\u00eado Johnni Winther and Paulo Borba. 2013. Intraprocedural Dataflow Analysis for Software Product Lines. T. Aspect-Oriented Software Development 10 (2013) 73\u2013108.","DOI":"10.1007\/978-3-642-36964-3_3"},{"key":"e_1_3_3_3_7_2","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","year":"2001","unstructured":"Paul Clements and Linda Northrop. 2001. Software Product Lines: Practices and Patterns.Addison-Wesley,USA."},{"key":"e_1_3_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"e_1_3_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_46"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_20"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254087"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509511"},{"key":"e_1_3_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_32"},{"key":"e_1_3_3_3_16_2","doi-asserted-by":"publisher","unstructured":"Aleksandar\u00a0S. Dimovski. 2021. A binary decision diagram lifted domain for analyzing program families. J. Comput. Lang. 63 (2021) 101032.10.1016\/j.cola.2021.101032","DOI":"10.1016\/j.cola.2021.101032"},{"key":"e_1_3_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3486609.3487202"},{"key":"e_1_3_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99429-7_6"},{"key":"e_1_3_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_10"},{"key":"e_1_3_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_11"},{"key":"e_1_3_3_3_21_2","doi-asserted-by":"publisher","unstructured":"Aleksandar\u00a0S. Dimovski. 2024. Fault localization by abstract interpretation and its applications. J. Comput. Lang. 80 (2024) 101288.10.1016\/J.COLA.2024.101288","DOI":"10.1016\/J.COLA.2024.101288"},{"key":"e_1_3_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ECOOP.2024.12"},{"key":"e_1_3_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3742876.3742884"},{"key":"e_1_3_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3732771.3742722"},{"key":"e_1_3_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3672608.3707849"},{"key":"e_1_3_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2021.14"},{"key":"e_1_3_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71500-7_4"},{"key":"e_1_3_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76384-8_7"},{"key":"e_1_3_3_3_29_2","doi-asserted-by":"publisher","unstructured":"Aleksandar\u00a0S. Dimovski Sven Apel and Axel Legay. 2022. Several lifted abstract domains for static analysis of numerical program families. Sci. Comput. Program. 213 (2022) 102725.10.1016\/j.scico.2021.102725","DOI":"10.1016\/j.scico.2021.102725"},{"key":"e_1_3_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_14"},{"key":"e_1_3_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.84"},{"key":"e_1_3_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"e_1_3_3_3_33_2","unstructured":"Christian K\u00e4stner. 2010. Virtual Separation of Concerns: Toward Preprocessors 2.0. Ph.D. Dissertation.University of Magdeburg Germany."},{"key":"e_1_3_3_3_34_2","doi-asserted-by":"publisher","unstructured":"Antoine Min\u00e9. 2014. Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions. Sci. Comput. Program. 93 (2014) 154\u2013182.10.1016\/j.scico.2013.09.014","DOI":"10.1016\/j.scico.2013.09.014"},{"key":"e_1_3_3_3_35_2","doi-asserted-by":"publisher","unstructured":"Antoine Min\u00e9. 2017. Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. Foundations and Trends in Programming Languages 4 3-4 (2017) 120\u2013372.10.1561\/2500000034","DOI":"10.1561\/2500000034"},{"key":"e_1_3_3_3_36_2","doi-asserted-by":"publisher","unstructured":"Thu-Trang Nguyen Kien-Tuan Ngo Son Nguyen and Hieu\u00a0Dinh Vo. 2022. A Variability Fault Localization Approach for Software Product Lines. IEEE Trans. Software Eng. 48 10 (2022) 4100\u20134118.10.1109\/TSE.2021.3113859","DOI":"10.1109\/TSE.2021.3113859"},{"key":"e_1_3_3_3_37_2","doi-asserted-by":"publisher","unstructured":"Ramy Shahin and Marsha Chechik. 2020. Automatic and efficient variability-aware lifting of functional programs. Proc. ACM Program. Lang. 4 OOPSLA (2020) 157:1\u2013157:27.10.1145\/3428225","DOI":"10.1145\/3428225"},{"key":"e_1_3_3_3_38_2","doi-asserted-by":"publisher","unstructured":"Maurice\u00a0H. ter Beek Ferruccio Damiani Michael Lienhardt Franco Mazzanti and Luca Paolini. 2022. Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27 1 (2022) 10.10.1007\/S10664-020-09930-8","DOI":"10.1007\/S10664-020-09930-8"},{"key":"e_1_3_3_3_39_2","doi-asserted-by":"publisher","unstructured":"Alexander von Rhein J\u00f6rg Liebig Andreas Janker Christian K\u00e4stner and Sven Apel. 2018. Variability-Aware Static Analysis at Scale: An Empirical Study. ACM Trans. Softw. Eng. Methodol. 27 4 (2018) 18:1\u201318:33.10.1145\/3280986","DOI":"10.1145\/3280986"},{"key":"e_1_3_3_3_40_2","doi-asserted-by":"publisher","unstructured":"Alexander von Rhein Thomas Th\u00fcm Ina Schaefer J\u00f6rg Liebig and Sven Apel. 2016. Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85 1 (2016) 125\u2013145.10.1016\/j.jlamp.2015.06.007","DOI":"10.1016\/j.jlamp.2015.06.007"}],"event":{"name":"SPLC-A '25: 29th ACM International Systems and Software Product Line Conference - Volume A","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"A Coru\u00f1a Spain","acronym":"SPLC-A '25"},"container-title":["Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3744915.3748474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:07:25Z","timestamp":1756829245000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3744915.3748474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"references-count":39,"alternative-id":["10.1145\/3744915.3748474","10.1145\/3744915"],"URL":"https:\/\/doi.org\/10.1145\/3744915.3748474","relation":{},"subject":[],"published":{"date-parts":[[2025,8,31]]},"assertion":[{"value":"2025-08-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}