Paolo Arcaini

Automated Repairing of Variability Models

2017

Variability models are a common means for describing the commonalities and differences in Software Product Lines (SPL); configurations of the SPL that respect the constraints imposed by the variability model define the problem space. The …

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification

2019 · Lecture notes in computer science

Hybrid system falsification is an actively studied topic, as a scalable quality assurance methodology for real-world cyber-physical systems. In falsification, one employs stochastic hill-climbing optimization to quickly find a counterexample input to a black-box system …

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers

2021

Classification using Artificial Neural Networks (ANNs) is widely applied in critical domains, such as autonomous driving and in the medical practice; therefore, their validation is extremely important. A common approach consists in assessing the network …

Quantum Approximate Optimization Algorithm for Test Case Optimization

2023 · arXiv (Cornell University)

Test case optimization (TCO) reduces software testing cost while preserving its effectiveness, but solving TCO problems for large-scale and complex systems requires substantial computational resources. Quantum approximate optimization algorithms (QAOAs) are promising combinatorial optimization algorithms …