21 citations · 54 across the 5 of their papers we have counts for
4 papers · 1 filter
Reasoning-Based Software Testing
Luca Giamattei, Roberto Pietrantuono, Stefano Russo
With software systems becoming increasingly pervasive and autonomous, our ability to test for their quality is severely challenged. Many systems are called to operate in uncertain…
Software Micro-Rejuvenation for Android Mobile Systems
Domenico Cotroneo, Luigi De Simone, Roberto Natella +2
Software aging -- the phenomenon affecting many long-running systems, causing performance degradation or an increasing failure rate over mission time, and eventually leading to fai…
Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions
Antonio Guerriero, Roberto Pietrantuono, Stefano Russo
Deep Neural Networks (DNN) are typically tested for accuracy relying on a set of unlabelled real world data (operational dataset), from which a subset is selected, manually labelle…
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities
L. Aniello, A. Bondavalli, A. Ceccarelli +8
Critical Infrastructures (CIs), such as smart power grids, transport systems, and financial infrastructures, are more and more vulnerable to cyber threats, due to the adoption of c…