Managing evolution in software product lines: a model-checking perspective

@inproceedings{Cordy2012ManagingEI,
  title={Managing evolution in software product lines: a model-checking perspective},
  author={Maxime Cordy and Andreas Classen and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay},
  booktitle={VaMoS},
  year={2012}
}
In Software Product Line (SPL) engineering, similar software products are developed in families rather than individually. Developing similar software at once leads to new challenges. In particular, the model checking problem for SPL is harder because it has to deal with potentially many products and identify exactly which ones do not work properly. In previous work, we introduced Featured Transition Systems as a compact behavioural model for SPL. We also proposed new algorithms that model check… CONTINUE READING