AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

Browse the full CAV paper archive.