Zobrazeno 1 - 10
of 71
pro vyhledávání: '"Khosravi, Ramtin"'
Autor:
Tavassoli, Shaghayegh, Damasceno, Carlos Diego Nascimento, Khosravi, Ramtin, Mousavi, Mohammad Reza
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 behavioral models for software systems in some form of a finite state machin
Externí odkaz:
http://arxiv.org/abs/2207.04823
Autor:
Tavassoli, Shaghayegh, Damasceno, Carlos Diego Nascimento, Mousavi, Mohammad Reza, Khosravi, Ramtin
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 family behavioral models are non-existent or outdated. A key challeng
Externí odkaz:
http://arxiv.org/abs/2203.05215
Publikováno v:
In Journal of Computer and System Sciences September 2024 144
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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 safety properties. However, instead of inspecting the new system as a wh
Externí odkaz:
http://arxiv.org/abs/1709.03245
Autor:
Zakeriyan, Arvin, Khosravi, Ramtin, Safari, Hadi, Khamespanah, Ehsan, Shamsabadi, Seyede Mehrnaz
Publikováno v:
In Science of Computer Programming November 2022
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 to be difficult to design due to topology dependent behavior of wireles
Externí odkaz:
http://arxiv.org/abs/1604.07179
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.