K. C. Shashidhar

Publication Activity (10 Years)

Years Active: 2002-2014
Publications (10 Years): 0

Top Topics

Automotive Industry

Formal Specification

Test Case Generation

Computation Tree Logic

Top Venues

Softw. Test. Verification Reliab.

NASA Formal Methods

Publications

Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh
Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verification Reliab. 24 (2) (2014)
Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. IEEE Softw. 29 (6) (2012)
Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang
CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods (2012)
Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach
Iterative refinement of specification for component based embedded systems. ISSTA (2011)
Martin Becker, Sören Kemmann, K. C. Shashidhar
Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities. SPLC Workshops (2010)
A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh
CoGenTe: a tool for code generator testing. ASE (2010)
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. CAV (2009)
Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. CAV (2008)
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. EMSOFT (2008)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Behaviour Directed Testing of Auto-code Generators. SEFM (2008)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code CoRR (2007)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Testing Model-Processing Tools for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2007)
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh
How to Test Program Generators? A Case Study using flex. SEFM (2007)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Verification of Source Code Transformations by Program Equivalence Checking. CC (2005)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. DATE (2005)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. J. Univers. Comput. Sci. 9 (3) (2003)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Automatic functional verification of memory oriented global source code transformations. HLDVT (2003)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)