Browsing by Published at "Software and Systems Modeling"

Now showing items 1-1 of 1

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems

Valle Entrena, Pablo; Arrieta Marcos, Aitor; Han, Liping; Ali, Shaukat; Yue, Tao (Springer Nature, 2025)