How bad can a bug get? an empirical analysis of software failures in the openstack cloud computing platform
Cloud management systems provide abstractions and APIs for programmatically configuring
cloud infrastructures. Unfortunately, residual software bugs in these systems can potentially …
cloud infrastructures. Unfortunately, residual software bugs in these systems can potentially …
An operational guide to monitorability
Monitorability underpins the technique of Runtime Verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …
properties can be verified at runtime. Although many monitorability definitions exist, few are …
A domain analysis of resource and requirements monitoring: Towards a comprehensive model of the software monitoring domain
Abstract [Context] Complex and heterogeneous software systems need to be monitored as
their full behavior often only emerges at runtime, eg, when interacting with other systems or …
their full behavior often only emerges at runtime, eg, when interacting with other systems or …
Runtime verification past experiences and future projections
The paper provides an overview of the work performed by the authors since the year 2000 in
the field of runtime verification. Runtime verification is the discipline of analyzing …
the field of runtime verification. Runtime verification is the discipline of analyzing …
Formal language constraints for markov decision processes
In order to satisfy safety conditions, an agent may be constrained from acting freely. A safe
controller can be designed a priori if an environment is well understood, but not when …
controller can be designed a priori if an environment is well understood, but not when …
[HTML][HTML] The early bird catches the worm: First verify, then monitor!
A Ferrando - Science of Computer Programming, 2019 - Elsevier
Trace expressions are a compact and expressive formalism, initially devised for runtime
verification of agent interactions in multiagent systems, which has been successfully …
verification of agent interactions in multiagent systems, which has been successfully …
Nodemop: Runtime verification for node. js applications
Node. js has become one of the most popular frameworks for general-purpose and server-
side application development in JavaScript. However, due to its dynamic, asynchronous …
side application development in JavaScript. However, due to its dynamic, asynchronous …
Detecting architectural erosion using runtime verification
D Marmsoler, A Petrovska - arXiv preprint arXiv:1909.05973, 2019 - arxiv.org
The architecture of a system captures important design decisions for the system. Over time,
changes in a system's implementation may lead to violations of specific design decisions …
changes in a system's implementation may lead to violations of specific design decisions …
[图书][B] A Unified Characterization of Runtime Verification Systems as Patterns of Communication
C Swords - 2019 - search.proquest.com
Runtime verification, as a field, provides tools to describe how programs should behave
during execution, allowing programmers to inspect and enforce properties about their code …
during execution, allowing programmers to inspect and enforce properties about their code …
[PDF][PDF] Trace expressions for runtime verification and protocol-driven behaviour
Today's software systems raise many challenges to their designers as they are required to
be more and more autonomous, recoverable and reliable to guarantee the expected level of …
be more and more autonomous, recoverable and reliable to guarantee the expected level of …