Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests | IEEE Conference Publication | IEEE Xplore