An Effective Approach for Verifying Product Lines in Presence of Variability Models.

Hamideh Sabouri, Ramtin Khosravi

Browse the full SPLC paper archive.