VML* - A Family of Languages for Variability Management in Software Product Lines
Abstract elided by the publisher.
Related papers
- Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE 2023
- Correctness-by-construction for feature-oriented software product lines GPCE 2020
- A comparison of product-based, feature-based, and family-based type checking GPCE 2013
- Model-based security analysis of feature-oriented software product lines GPCE 2018
- Efficient testing of software product lines via centralization (short paper) GPCE 2014
- Family-based deductive verification of software product lines GPCE 2012
- IncLing: efficient product-line testing using incremental pairwise sampling GPCE 2016
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021