K. C. Shashidhar

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Rajeev Alur, Aditya Kanade, S. Ramesh et al. · 2008 · 77 citations

Computing, Computer Science, Systems Engineering +17

Automatic test case generation from Simulink/Stateflow models using model checking

Swarup Kumar Mohalik, Anand Yeolekar, K. C. Shashidhar et al. · Software Testing Verification and Reliability · 2013 · 46 citations

Engineering, Computer Science, Systems Engineering +15

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

K. C. Shashidhar, Maurice Bruynooghe, F. Catthoor et al. · Design, Automation, and Test in Europe · 2005 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +13

Iterative refinement of specification for component based embedded systems

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach · 2011 · 19 citations · Full text

Computing, Computer Science, Systems Engineering +17

Testing Model-Processing Tools for Embedded Systems

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh et al. · Proceedings - Real-Time Technology and Applications Symposium · 2007 · 15 citations

Computing, Computer Engineering, Computer Science +17