Showing 2022Show all
2 papers · 1 filter
cs.SE2022
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…
cs.SE2022
A Benchmark for Active Learning of Variability-Intensive Systems
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi +1
Behavioral models are the key enablers for behavioral analysis of Software Product Lines (SPL), including testing and model checking. Active model learning comes to the rescue when…