1. Automatic test case generation from Simulink/Stateflow models using model checking. (22nd January 2013) Authors: Mohalik, Swarup; Gadkari, Ambar A.; Yeolekar, Anand; Shashidhar, K.C.; Ramesh, S. Journal: Software testing, verification & reliability Issue: Volume 24:Number 2(2014:Apr.) Page Start: 155 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗