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