TY  - RPRT
TI  - Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
AU  - Andrea Bombarda
AU  - Luca Carminati
AU  - Nunzio Marco Bisceglia
AU  - Mehrnoosh Askarpour
AU  - Sahar Kokaly
AU  - Ramesh S
AU  - Marsha Chechik
AU  - Claudio Menghi
PY  - 2026
UR  - https://arxiv.org/abs/2610.24475
ID  - 2610.24475
ER  -