12 citations · 34 across the 10 of their papers we have counts for
7 papers · 1 filter
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
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…
Exploring the Link Between Test Suite Quality and Automatic Specification Inference
Luke Chircop, Christian Colombo, Mark Micallef
While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out -- and even when they do, it…
Comprehensive Monitor-Oriented Compensation Programming
Christian Colombo, Gordon J. Pace
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activit…
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing
Christian Colombo, Mark Micallef, Mark Scerri
One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rat…
Extensible Technology-Agnostic Runtime Verification
Christian Colombo, Adrian Francalanza, Ruth Mizzi +1
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and us…