K. C. Shashidhar - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'K. C. Shashidhar' as author, editor, or advisor:

Automatic test case generation from Simulink/Stateflow models using model checkingSwarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh. stvr, 24(2):155-180, 2014. [doi]
Iterative refinement of specification for component based embedded systemsMuzammil Shahbaz, K. C. Shashidhar, Robert Eschbach. ISSTA 2011: 276-286 [doi]
Automatic functional verification of memory oriented global source code transformationsK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. hldvt 2003: 31-36 [doi]
Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and OpportunitiesMartin Becker 0002, Sören Kemmann, K. C. Shashidhar. SPLC 2010: 129-136 [doi]
CoGenTe: a tool for code generator testingA. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh. ASE 2010: 349-350 [doi]
CLSE: Closed-Loop Symbolic ExecutionRupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang. NFM 2012: 356-370 [doi]
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry ApplicationMuzammil Shahbaz, K. C. Shashidhar, Robert Eschbach. IEEE Software, 29(6):62-69, 2012. [doi]

runs on WebDSL