29 citations · 151 across the 34 of their papers we have counts for
4 papers · 1 filter
Non-Functional Testing of Runtime Enforcers in Android
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Runtime enforcers can be used to ensure that running applications satisfy desired correctness properties. Although runtime enforcers that are correct-by-construction with respect t…
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments
Vera Colombo, Alessandro Tundo, Michele Ciavotta +1
Monitoring is a critical component in fog environments: it promptly provides insights about the behavior of systems, reveals Service Level Agreements (SLAs) violations, enables the…
Proactive Libraries: Enforcing Correct Behaviors in Android Apps
Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci +1
The Android framework provides a rich set of APIs that can be exploited by developers to build their apps. However, the rapid evolution of these APIs jointly with the specific char…
Exception-Driven Fault Localization for Automated Program Repair
Davide Ginelli, Oliviero Riganelli, Daniela Micucci +1
Automated Program Repair (APR) techniques typically exploit spectrum-based fault localization (SBFL) to identify the program locations that should be patched, making the effectiven…