Browsing by Published at "IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)"

Now showing items 1-1 of 1

Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

Valle Entrena, Pablo; Arrieta, Aitor (IEEE, 2022)

Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique ...