7 citations · 16 across the 14 of their papers we have counts for
18 papers · 1 filter
On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT
Gaia Colombo, Leonardo Mariani, Daniela Micucci +1
AI assistants can help developers by recommending code to be included in their implementations (e.g., suggesting the implementation of a method from its signature). Although useful…
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…
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…
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…