| emsoft | participants

Aditya Kanade

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models

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