Abstract
Over the last 15 years Runtime Verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In this work, we classify RV tools within a high-level taxonomy of concepts. We first present this taxonomy and discuss the different dimensions. Then, we survey RV tools and classify them according to the taxonomy. This paper constitutes a snapshot of the current state of the art and enables a comparison of existing tools.
Cite
CITATION STYLE
Falcone, Y., Krstić, S., Reger, G., & Traytel, D. (2019). A taxonomy for classifying runtime verification tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11237, pp. 241–262). Springer Verlag. https://doi.org/10.1007/978-3-030-03769-7_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
