Product-Level Test Generation from Featured Transition Systems

Companion archive for the paper "Product-Level Test Generation from Featured Transition Systems" submitted to ICTSS 2026. The archive collects the unabridged experimental tables and the underlying measurement data that the conference paper could not fit within its page limit. Contents: - unabridged-tables/ — Six experimental tables (PDF + LaTeX source) in full, including the family-level baseline columns that the paper had to drop. - data/aggregated/ — Per-software-product-line, per-operator, per-coverage-level rollup CSVs used to fill the paper tables. - data/raw/ — Per-shard / per-run raw measurement CSVs from the experiment pipeline. - models/family-level/ — The family-level Featured Transition System of each of the eight subjects (XML format). - README.md — Full guide to the archive contents.