K. C. Shashidhar

According to our database, K. C. Shashidhar authored at least 17 papers between 2002 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh

Softw. Test. Verification Reliab., 2014

2012

Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application.

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach

IEEE Softw., 2012

CLSE: Closed-Loop Symbolic Execution.

Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang

Proceedings of the NASA Formal Methods, 2012

2011

Iterative refinement of specification for component based embedded systems.

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities.

Martin Becker, Sören Kemmann, K. C. Shashidhar

Proceedings of the Software Product Lines - 14th International Conference, 2010

CoGenTe: a tool for code generator testing.

A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh

Proceedings of the ASE 2010, 2010

2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Behaviour Directed Testing of Auto-code Generators.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.

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

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

How to Test Program Generators? A Case Study using flex.

Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Testing Model-Processing Tools for Embedded Systems.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

2005

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

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens

Proceedings of the 2005 Design, 2005

Verification of Source Code Transformations by Program Equivalence Checking.

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens

Proceedings of the Compiler Construction, 14th International Conference, 2005

2003

An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs.

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens

J. Univers. Comput. Sci., 2003

Automatic functional verification of memory oriented global source code transformations.

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002