Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking.

Carlo Ghezzi, Amir Molzam Sharifloo

Browse the full SPLC paper archive.