K. C. Shashidhar

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