@misc{indiciaeb16859a43f97, title = {Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection}, author = {Andrea Bombarda and Luca Carminati and Nunzio Marco Bisceglia and Mehrnoosh Askarpour and Sahar Kokaly and Ramesh S and Marsha Chechik and Claudio Menghi}, year = {2026}, url = {https://arxiv.org/abs/2610.24475}, note = {Source identifier: 2610.24475} }