Cited By
View all- Murphy LSaifi MDi Sandro AChechik M(2025)A structural taxonomy for lifted software product line analysesJournal of Systems and Software10.1016/j.jss.2024.112280222(112280)Online publication date: Apr-2025
- Scaletta MHähnle RSteinhöfel DBubel RTilevich EDe Roover C(2021)Delta-based verification of software product familiesProceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3486609.3487200(69-82)Online publication date: 17-Oct-2021
- Damiani FLienhardt MPaolini L(2020)On Slicing Software Product Line SignaturesLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_5(81-102)Online publication date: 29-Oct-2020
- Show More Cited By