@article{15319,
  author = {Man Zhang and Shaukat Ali and Tao Yue},
  title = {Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems},
  year = {2019},
  journal = {Journal of Systems and Software},
  volume = {153},
  month = {07/2019},
  publisher = {Elsevier},
}