2 papers
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…
cs.FL2017
Verification of Asynchronous Systems with an Unspecified Component
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Component-based systems evolve as a new component is added or an existing one is replaced by a newer version. Hence, it is appealing to assure the new system still preserves its sa…