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]

Abstract

Abstract is missing.