Meng Li, Ratnesh Kumar. Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. In 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013. pages 1089-1094, IEEE, 2013. [doi]
Abstract is missing.