@article{18167,
  author = {Pablo Valle and Aitor Arrieta and Liping Han and Shaukat Ali and Tao Yue},
  title = {Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems},
  year = {2025},
  journal = {Software and Systems Modeling},
  publisher = {Springer},
}