A taxonomy for classifying runtime verification tools

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and practical tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In th...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer 2021-04, Vol.23 (2), p.255-284
Hauptverfasser:	Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy
Format:	Artikel
Sprache:	eng
Schlagworte:	Classification Computer Science Software Engineering Software Engineering/Programming and Operating Systems Taxonomy Theory of Computation Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!