Modular Soundness Checking of Feature Model Evolution Plans.

Ida Sandberg Motzfeldt Ingrid Chieh Yu Crystal Chang Din Violet Ka I Pun Volker Stolz

Published in: ICTAC (2023)

Keyphrases

probabilistic model
neural network
prior knowledge
cost function
computational model
theoretical framework
heuristic search
database
machine learning
input data
maximum likelihood
theoretical analysis
parameter estimation
statistical model
formal model