A taxonomy for classifying runtime verification tools.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

A taxonomy for classifying runtime verification tools. / Falcone, Yliès; Krstić, Srđan; Reger, Giles; Traytel, Dmitriy.

I: International Journal on Software Tools for Technology Transfer, Bind 23, Nr. 2, 2021, s. 255-284.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Falcone, Y, Krstić, S, Reger, G & Traytel, D 2021, 'A taxonomy for classifying runtime verification tools.', International Journal on Software Tools for Technology Transfer, bind 23, nr. 2, s. 255-284. https://doi.org/10.1007/S10009-021-00609-Z

APA

Falcone, Y., Krstić, S., Reger, G., & Traytel, D. (2021). A taxonomy for classifying runtime verification tools. International Journal on Software Tools for Technology Transfer, 23(2), 255-284. https://doi.org/10.1007/S10009-021-00609-Z

Vancouver

Falcone Y, Krstić S, Reger G, Traytel D. A taxonomy for classifying runtime verification tools. International Journal on Software Tools for Technology Transfer. 2021;23(2):255-284. https://doi.org/10.1007/S10009-021-00609-Z

Author

Falcone, Yliès ; Krstić, Srđan ; Reger, Giles ; Traytel, Dmitriy. / A taxonomy for classifying runtime verification tools. I: International Journal on Software Tools for Technology Transfer. 2021 ; Bind 23, Nr. 2. s. 255-284.

Bibtex

@article{d010e7fb8d7446c0b3d89132f9e1fbf2,
title = "A taxonomy for classifying runtime verification tools.",
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.",
author = "Yli{\`e}s Falcone and Sr{\d}an Krsti{\'c} and Giles Reger and Dmitriy Traytel",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2021",
doi = "10.1007/S10009-021-00609-Z",
language = "English",
volume = "23",
pages = "255--284",
journal = "Software-Concepts and Tools",
issn = "1433-2779",
publisher = "Springer",
number = "2",

}

RIS

TY - JOUR

T1 - A taxonomy for classifying runtime verification tools.

AU - Falcone, Yliès

AU - Krstić, Srđan

AU - Reger, Giles

AU - Traytel, Dmitriy

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

U2 - 10.1007/S10009-021-00609-Z

DO - 10.1007/S10009-021-00609-Z

M3 - Journal article

VL - 23

SP - 255

EP - 284

JO - Software-Concepts and Tools

JF - Software-Concepts and Tools

SN - 1433-2779

IS - 2

ER -

ID: 275271968