3 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
Andrea Bombarda, Luca Carminati, Nunzio Marco Bisceglia +5
Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly. In the automotive domain, they enable manufacturers to update softw…
Property-Driven Synthetic Data Engineering for Data-Scarce Software Systems: Reflections from the Breast Cancer Domain
Aurora Francesca Zanenga, Andrea Bombarda, Marsha Chechik +4
Modern software systems increasingly depend on data for analysis, prediction, testing, and decision-making. Yet many important domains, including medicine, safety-critical systems,…
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Aren A. Babikian, Alessio Di Sandro, Federico Formica +2
The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two art…
Abductive Vibe Coding (Extended Abstract)
Logan Murphy, Aren A. Babikian, Marsha Chechik
When software artifacts are generated by AI models ("vibe coding"), human engineers assume responsibility for validating them. Ideally, this validation would be done through the cr…