AI RESEARCH
Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
arXiv CS.AI
•
ArXi:2604.20523v1 Announce Type: cross We study whether Large Language Models (LLMs) can perform feature model analysis operations (AOs) directly on semi-formal textual blueprints, i.e., concise constrained-language descriptions of feature hierarchies and constraints, enabling early validation in Software Product Line scoping. Using 12 state-of-the-art LLMs and 16 standard AOs, we compare their outputs against the solver-based oracle