57 citations · 176 across the 21 of their papers we have counts for
8 papers · 1 filter
Software is infrastructure: failures, successes, costs, and the case for formal verification
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti +1
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of…
Runtime Instrumentation for Reactive Components (Extended Version)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification imposes another demand on the instrumentation, namely that…
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +1
We present a novel model-driven approach for testing RESTful applications. We introduce a (i) domain-specific language for OpenAPI specifications and (ii) a tool to support our met…
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…
Improving Runtime Overheads for detectEr
Ian Cassar, Adrian Francalanza, Simon Said
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement…