Uncertainty-wise test case generation and minimization for Cyber-Physical Systems

Man Zhang, Shaukat Ali 0001, Tao Yue 0002. Uncertainty-wise test case generation and minimization for Cyber-Physical Systems. Journal of Systems and Software, 153:1-21, 2019. [doi]

@article{ZhangAY19,
  title = {Uncertainty-wise test case generation and minimization for Cyber-Physical Systems},
  author = {Man Zhang and Shaukat Ali 0001 and Tao Yue 0002},
  year = {2019},
  doi = {10.1016/j.jss.2019.03.011},
  url = {https://doi.org/10.1016/j.jss.2019.03.011},
  researchr = {https://researchr.org/publication/ZhangAY19},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {153},
  pages = {1-21},
}