{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:28:15Z","timestamp":1781018895039,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Austrian Research Promotion Agency (FFG BRIDGE)","award":["915086"],"award-info":[{"award-number":["915086"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,23]]},"DOI":"10.1145\/3748522.3779903","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:17:49Z","timestamp":1781014669000},"page":"1620-1627","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5778-975X","authenticated-orcid":false,"given":"Viet-Man","family":"Le","sequence":"first","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3550-8352","authenticated-orcid":false,"given":"Thi Ngoc Trang","family":"Tran","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5024-3786","authenticated-orcid":false,"given":"Sebastian","family":"Lubos","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0108-3146","authenticated-orcid":false,"given":"Alexander","family":"Felfernig","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0993-0911","authenticated-orcid":false,"given":"Damian","family":"Garber","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","year":"2025","unstructured":"2025. All models overview - Anthropic \u2014 docs.anthropic.com. Retrieved September 29, 2025 from https:\/\/docs.claude.com\/en\/docs\/about-claude\/models\/overview#model-comparison-table."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"S. Apel D. Batory C. K\u00e4stner and G. Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer.","DOI":"10.1007\/978-3-642-37521-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3646548.3672587"},{"key":"e_1_3_2_1_4_1","volume-title":"Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS) number 7925","author":"Benavides D.","unstructured":"D. Benavides, A. Felfernig, J. Galindo, and F. Reinfrank. 2013. Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS) number 7925. Springer, Pisa, Italy, 160\u2013175."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112326"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"T. Berger J.-P. Stegh\u00f6fer T. Ziadi J. Robin and J. Martinez. 2020. The state of adoption and the challenges of systematic variability management in industry. Empirical Software Engineering 25 3 (May 2020) 1755\u20131797. 10.1007\/s10664-019-09787-6","DOI":"10.1007\/s10664-019-09787-6"},{"key":"e_1_3_2_1_8_1","volume-title":"Inc.","author":"Brown T.","year":"2020","unstructured":"T. Brown et al. 2020. Language models are few-shot learners. In Advances in Neural Information Processing Systems. H. Larochelle, M. Ranzato, R. Hadsell, M.F. Balcan, and H. Lin, (Eds.) Vol. 33. Curran Associates, Inc., 1877\u20131901."},{"key":"e_1_3_2_1_9_1","unstructured":"P.C. Clements and L. Northrop. 2002. Software product lines. Addison-wesley."},{"key":"e_1_3_2_1_10_1","unstructured":"2025. Models & Pricing | DeepSeek API Docs \u2014 api-docs.deepseek.com. Retrieved September 29 2025 from https:\/\/api-docs.deepseek.com\/quick_start\/pricing\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579027.3608973"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579028.3609008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342373"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"S. Ghosh D. Elenius W. Li P. Lincoln N. Shankar and W. Steiner. 2016. Arsenal: automatic requirements specification extraction from natural language. In NASA Formal Methods. S. Rayadurgam and O. Tkachuk (Eds.) Springer International Publishing Cham 41\u201346.","DOI":"10.1007\/978-3-319-40648-0_4"},{"key":"e_1_3_2_1_15_1","volume-title":"Gemini models | Gemini API | Google AI for Developers \u2014 ai.google.dev. Retrieved","year":"2025","unstructured":"2025. Gemini models | Gemini API | Google AI for Developers \u2014 ai.google.dev. Retrieved September 29, 2025 from https:\/\/ai.google.dev\/gemini-api\/docs\/models."},{"key":"e_1_3_2_1_16_1","first-page":"91","article-title":"Exploiting large language models for the automated generation of constraint satisfaction problems. 26th International Workshop on Configuration, ConfWS 2024","volume":"3812","author":"Hotz L.","year":"2024","unstructured":"L. Hotz, C. B\u00e4hnisch, S. Lubos, A. Felfernig, A., and J. Twiefel. 2024. Exploiting large language models for the automated generation of constraint satisfaction problems. 26th International Workshop on Configuration, ConfWS 2024. CEUR Workshop Proceedings, 3812, 91\u2013100.","journal-title":"CEUR Workshop Proceedings"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.67"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2023\/37"},{"key":"e_1_3_2_1_19_1","volume-title":"Tech.Rep. - SEI-90-TR-21.","author":"Kang K.","year":"1990","unstructured":"K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. 1990. Feature-oriented Domain Analysis (FODA) - Feasibility Study. Tech.Rep. - SEI-90-TR-21."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"C. Khor and R. R. Lutz. 2024. Enhancing the requirements engineering of configurable systems by the ongoing use of variability models. Requirements Engineering 29 3 (Sept. 2024) 303\u2013328. 10.1007\/s00766-024-00421-6","DOI":"10.1007\/s00766-024-00421-6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"T. Kojima S. (S.) Gu M. Reid Y. Matsuo and Y. Iwasawa. 2022. Large language models are zero-shot reasoners. In Advances in Neural Information Processing Systems. S. Koyejo S. Mohamed A. Agarwal D. Belgrave K. Cho and A. Oh (Eds.) Vol. 35. Curran Associates Inc. 22199\u201322213.","DOI":"10.52202\/068431-1613"},{"key":"e_1_3_2_1_22_1","volume-title":"Retrieved","year":"2025","unstructured":"LangChain. 2025. GitHub - langchain-ai\/langchain: Build context-aware reasoning applications \u2014 github.com. Retrieved April 20, 2025 from https:\/\/github.com\/langchain-ai\/langchain."},{"key":"e_1_3_2_1_23_1","volume-title":"Retrieved","year":"2025","unstructured":"LangChain. 2025. GitHub - langchain-ai\/langgraph: Build resilient language agents as graphs. \u2014 github.com. Retrieved April 20, 2025 from https:\/\/github.com\/langchain-ai\/langgraph."},{"key":"e_1_3_2_1_24_1","volume-title":"Forty-second International Conference on Machine Learning.","author":"Lin B. Y.","unstructured":"B. Y. Lin, R. Le Bras, K. Richardson, A. Sabharwal, R. Poovendran, P. Clark, and Y. Choi. 2025. Zebralogic: on the scaling limits of LLMs for logical reasoning. In Forty-second International Conference on Machine Learning."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3547012"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"K. Michailidis D. Tsouros and T. Guns. 2024. Constraint Modelling with LLMs Using In-Context Learning. In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024) (Leibniz International Proceedings in Informatics (LIPIcs)). Vol. 307. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik Dagstuhl Germany 20:1\u201320:27. 10.4230\/LIPIcs.CP.2024.20","DOI":"10.4230\/LIPIcs.CP.2024.20"},{"key":"e_1_3_2_1_27_1","volume-title":"Retrieved","year":"2025","unstructured":"2025. OpenAI models. Retrieved September 29, 2025 from https:\/\/platform.openai.com\/docs\/models."},{"key":"e_1_3_2_1_28_1","volume-title":"Retrieved","year":"2025","unstructured":"2025. Llama 4 Scout - API, Providers, Stats \u2014 openrouter.ai. Retrieved September 29, 2025 from https:\/\/openrouter.ai\/meta-llama\/llama-4-scout."},{"key":"e_1_3_2_1_29_1","volume-title":"Retrieved","year":"2025","unstructured":"2025. Llama 4 Maverick - API, Providers, Stats \u2014 openrouter.ai. Retrieved September 29, 2025 from https:\/\/openrouter.ai\/meta-llama\/llama-4-maverick."},{"key":"e_1_3_2_1_30_1","volume-title":"Forty-second International Conference on Machine Learning.","author":"Pan L.","unstructured":"L. Pan, V. Ganesh, J. Abernethy, C. Esposo, and W. Lee. 2025. Can transformers reason logically? a study in SAT solving. In Forty-second International Conference on Machine Learning."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"M. Parmar N. Patel N. Varshney M. Nakamura M. Luo S. Mashetty A. Mitra and C. Baral. 2024. Logicbench: towards systematic evaluation of logical reasoning ability of large language models. In ACL (1) 13679\u201313707. 10.18653\/v1\/2024.acl-long.739","DOI":"10.18653\/v1\/2024.acl-long.739"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112150"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3646548.3672590"},{"key":"e_1_3_2_1_35_1","volume-title":"F. Xia, E. Chi, Q. V. Le, and D. Zhou.","author":"Wei J.","year":"2022","unstructured":"J. Wei, X. Wang, D. Schuurmans, M. Bosma, b. ichter b., F. Xia, E. Chi, Q. V. Le, and D. Zhou. 2022. Chain-of-thought prompting elicits reasoning in large language models. In Advances in Neural Information Processing Systems. S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, and A. Oh, (Eds.) Vol. 35. Curran Associates, Inc., 24824\u201324837."},{"key":"e_1_3_2_1_36_1","volume-title":"Retrieved","author":"XAI.","year":"2025","unstructured":"XAI. 2025. Models and Pricing | xAI Docs \u2014 docs.x.ai. Retrieved September 29, 2025 from https:\/\/docs.x.ai\/docs\/models."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","unstructured":"J. Yan C. Wang J. Huang and W. Zhang. 2024. Do large language models understand logic or just mimick context? CoRR abs\/2402.12091. 10.48550\/arXiv.2402.12091","DOI":"10.48550\/arXiv.2402.12091"}],"event":{"name":"SAC '26: 41st ACM\/SIGAPP Symposium on Applied Computing","location":"Grand Hotel Palace Thessaloniki Greece","acronym":"SAC '26","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 41st ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748522.3779903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:41:57Z","timestamp":1781016117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748522.3779903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":37,"alternative-id":["10.1145\/3748522.3779903","10.1145\/3748522"],"URL":"https:\/\/doi.org\/10.1145\/3748522.3779903","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}