Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.

Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar

Browse the full EMSOFT paper archive.