@inproceedings{21fae89f8b4f4f7c9876ca03a440cc48,
title = "TEAR: A multi-purpose formal language specification for TEsting at runtime",
abstract = "Collaborative systems are growing in use and in popularity. The need to boost the methods concerning the interoperability is growing as well, therefore, trustworthy interactions of the different systems are a priority. We have proposed a formal distributed network monitoring approach to analyze the packets exchanged by the entities, in order to prove a system is acting in a trustworthy manner. Using this approach, some limitations regarding the testers resources have been found. In this paper, we identify the constraints and propose and new language suited for testing at runtime in different environments.",
keywords = "Formal languages, Network Monitoring, Runtime, Testing",
author = "Jorge L{\'o}pez and Stephane Maag and Gerardo Morales",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 10th International Conference on Availability, Reliability and Security, ARES 2015 ; Conference date: 24-08-2015 Through 27-08-2015",
year = "2015",
month = oct,
day = "16",
doi = "10.1109/ARES.2015.90",
language = "English",
series = "Proceedings - 10th International Conference on Availability, Reliability and Security, ARES 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "727--734",
booktitle = "Proceedings - 10th International Conference on Availability, Reliability and Security, ARES 2015",
}