Published December 12, 2025 | Version v1

Appendix of Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis

Description

This document serves as the Appendix to the paper "Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis", accepted for publication at the 41st ACM/SIGAPP Symposium on Applied Computing (SAC '26). This appendix provides comprehensive supplementary materials that support the empirical evaluation presented in the main paper.

 

 

Files

Appendix_of_Early_Stage_Product_Line_Validation_Using_LLMs__A_Study_on_Semi_Formal_Blueprint_Analysis__SAC_2026.pdf

Additional details

Funding

Austrian Research Promotion Agency
GenRE - Generative AI for Requirements Engineering 915086