Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations.

Stuart Hutchesson, John A. McDermid

Browse the full SPLC paper archive.