Probabilistic software product lines

• Published in: Journal of logical and algebraic methods in programming Vol. 107; pp. 54 - 78
• Main Authors: Camacho, Carlos, Llana, Luis, Núñez, Alberto, Bravetti, Mario
• Format: Journal Article
• Language: English
• Published: Elsevier 01.10.2019
• Subjects: Computation and Language; Computer Science; Feature Models; Formal Methods; Probabilistic Models; Software Product Lines

We introduce a probabilistic extension of our previous work SPLA: a formal framework to specify and analyze software product lines. We use probabilistic information to identify those features that are more frequently used. This is done by computing the probability of having a feature in a specific s...