7 citations · 7 across the 4 of their papers we have counts for
8 papers
Declarative Dashboard Generation
Alessandro Tundo, Chiara Castelnovo, Marco Mobilio +2
Systems of systems are highly dynamic software systems that require flexible monitoring solutions to be observed and controlled. Indeed, operators have to frequently adapt the set…
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Marco Mobilio, Oliviero Riganelli, Daniela Micucci +1
Mobile operating systems evolve quickly, frequently updating the APIs that app developers use to build their apps. Unfortunately, API updates do not always guarantee backward compa…
Test4Enforcers: Test Case Generation for Software Enforcers
Michell Guzman, Oliviero Riganelli, Daniela Micucci +1
Software enforcers can be used to modify the runtime behavior of software applications to guarantee that relevant correctness policies are satisfied. Indeed, the implementation of…
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota +2
Android apps must work correctly even if their execution is interrupted by external events. For instance, an app must work properly even if a phone call is received, or after its l…
Predicting Failures in Multi-Tier Distributed Systems
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli +1
Many applications are implemented as multi-tier software systems, and are executed on distributed infrastructures, like cloud infrastructures, to benefit from the cost reduction th…
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Android applications are executed on smartphones equipped with a variety of resources that must be properly accessed and controlled, otherwise the correctness of the executions and…