57 citations · 234 across the 31 of their papers we have counts for
1 paper · 2 filters
Ian Cassar, Adrian Francalanza, Luca Aceto +1
Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other exter…