Scalable Tree-based Register Automata Learning

Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite state machine models, such as Mealy machines. For many analysis...

Celý popis

Podrobná bibliografie

Vydáno v:	Tools and Algorithms for the Construction and Analysis of Systems Ročník 14571; s. 87
Hlavní autoři:	Dierl, Simon, Fiterau-Brostean, Paul, Howar, Falk, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik
Médium:	Kapitola Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Switzerland Springer International Publishing AG 2024
Edice:	Lecture Notes in Computer Science
Témata:	Active automata learning Register automata
ISBN:	9783031572487, 3031572483, 3031572491, 9783031572494
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!