4 papers
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…
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…
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…
Modeling and Efficient Verification of Wireless Ad hoc Networks
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very fast as they make communication easier and more available. However, their protocols tend t…