29 citations · 163 across the 32 of their papers we have counts for
34 papers
"Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System
Maria Teresa Rossi, Leonardo Mariani, Oliviero Riganelli +3
In today's complex industrial environments, operators must often navigate through extensive technical manuals to identify troubleshooting procedures that may help react to some obs…
Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems
Qurban Ali, Andrea Stocco, Leonardo Mariani +1
Autonomous Driving Assistance Systems (ADAS) rely on extensive testing to ensure safety and reliability, yet road scenario datasets often contain redundant cases that slow down the…
From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems
Maria Teresa Rossi, Leonardo Mariani, Oliviero Riganelli
Complex and large industrial systems often misbehave, for instance, due to wear, misuse, or faults. To cope with these incidents, it is important to timely detect their occurrences…
MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants
Benedetta Donato, Leonardo Mariani, Daniela Micucci +2
The integration of AI assistants into software development workflows is rapidly evolving, shifting from automation-assisted tasks to collaborative interactions between developers a…
OpenCat: Improving Interoperability of ADS Testing
Qurban Ali, Andrea Stocco, Leonardo Mariani +1
Testing Advanced Driving Assistance Systems (ADAS), such as lane-keeping functions, requires creating road topologies or using predefined benchmarks. However, the test cases in exi…
Studying How Configurations Impact Code Generation in LLMs: the Case of ChatGPT
Benedetta Donato, Leonardo Mariani, Daniela Micucci +1
Leveraging LLMs for code generation is becoming increasingly common, as tools like ChatGPT can suggest method implementations with minimal input, such as a method signature and bri…
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…
Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects
Qurban Ali, Oliviero Riganelli, Leonardo Mariani
In the ever-evolving field of Deep Learning (DL), ensuring project quality and reliability remains a crucial challenge. This research investigates testing practices within DL proje…
ReProbe: An Architecture for Reconfigurable and Adaptive Probes
Federico Alessi, Alessandro Tundo, Marco Mobilio +2
Modern distributed systems are highly dynamic and scalable, requiring monitoring solutions that can adapt to rapid changes. Monitoring systems that rely on external probes can only…
Assessing AI-Based Code Assistants in Method Generation Tasks
Vincenzo Corso, Leonardo Mariani, Daniela Micucci +1
AI-based code assistants are increasingly popular as a means to enhance productivity and improve code quality. This study compares four AI-based code assistants, GitHub Copilot, Ta…
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants
Vincenzo Corso, Leonardo Mariani, Daniela Micucci +1
AI-based code assistants are promising tools that can facilitate and speed up code development. They exploit machine learning algorithms and natural language processing to interact…
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot
Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci +1
Generative AI is changing the way developers interact with software systems, providing services that can produce and deliver new content, crafted to satisfy the actual needs of dev…
Automated Probe Life-Cycle Management for Monitoring-as-a-Service
Alessandro Tundo, Marco Mobilio, Oliviero Riganelli +1
Cloud services must be continuously monitored to guarantee that misbehaviors can be timely revealed, compensated, and fixed. While simple applications can be easily monitored and c…
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…
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment
Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo +2
Hierarchical Temporal Memory (HTM) is an unsupervised learning algorithm inspired by the features of the neocortex that can be used to continuously process stream data and detect a…
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…
Anomaly Detection As-a-Service
Marco Mobilio, Matteo Orrù, Oliviero Riganelli +2
Cloud systems are complex, large, and dynamic systems whose behavior must be continuously analyzed to timely detect misbehaviors and failures. Although there are solutions to flexi…