Adaptive Behavioral Model Learning for Software Product Lines

Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi +1

Behavioral models enable the analysis of the functionality of software product lines (SPL), e.g., model checking and model-based testing. Model learning aims at constructing behavi…