Follow
Anand Yeolekar
Anand Yeolekar
TRDDC, Pune, India
Verified email at tcs.com - Homepage
Title
Cited by
Cited by
Year
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
M Satpathy, A Yeolekar, S Ramesh
Proceedings of the 8th ACM international conference on Embedded software …, 2008
742008
Automatic test case generation from Simulink/Stateflow models using model checking
S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh
Software Testing, Verification and Reliability 24 (2), 155-180, 2014
592014
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems: Tool Paper
AA Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
542008
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models
P Peranandam, S Raviram, M Satpathy, A Yeolekar, A Gadkari, ...
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 308-311, 2012
502012
Automatic generation of test-cases using model checking for sl/sf models
AA Gadkari, S Mohalik, K Shashidhar, A Yeolekar, J Suresh, S Ramesh
Proceedings of the 4th model-driven engineering, verification and validation …, 2007
292007
Efficient coverage of parallel and hierarchical stateflow models for test case generation
M Satpathy, A Yeolekar, P Peranandam, S Ramesh
Software Testing, Verification and Reliability 22 (7), 457-479, 2012
182012
Scaling model checking for test generation using dynamic inference
A Yeolekar, D Unadkat, V Agarwal, S Kumar, R Venkatesh
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
122013
Applying design verification tools in automotive software v&v
AC Rao, AC Rajeev, A Yeolekar
SAE Technical Paper, 2011
92011
Concurrent program verification with invariant-guided underapproximation
S Prabhu, P Schrammel, M Srivas, M Tautschnig, A Yeolekar
Automated Technology for Verification and Analysis: 15th International …, 2017
52017
Functional test generation through model inversion
AV Yeolekar, R Sethu
US Patent App. 12/712,384, 2011
42011
Checking scheduling-induced violations of control safety properties
A Yeolekar, R Metta, C Hobbs, S Chakraborty
International Symposium on Automated Technology for Verification and …, 2022
32022
Cross-layer interactions in CPS for performance and certification
S Chakraborty, JH Anderson, M Becker, H Graeb, S Halder, R Metta, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
32019
Sequentialization using timestamps
A Yeolekar, K Madhukar, D Bhutada, R Venkatesh
Theory and Applications of Models of Computation: 14th Annual Conference …, 2017
12017
Improving dynamic inference with variable dependence graph
A Yeolekar
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
12014
Assertion checking using dynamic inference
A Yeolekar, D Unadkat
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
12013
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties
A Yeolekar, R Metta, S Chakraborty
37th International Conference on VLSI Design, 2024
2024
Evaluating SMT Solvers on Schedulability Checking Instances
R Metta, A Yeolekar, S Chakraborty
International Conference on Computational Technologies and Electronics (ICCTE), 2023
2023
Refining Task Specifications using Model Checking
A Yeolekar, R Metta, R Venkatesh, S Chakraborty
2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018
2018
Software Testing, Verification and Reliability
S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh
SOFTWARE TESTING VERIFICATION & RELIABILITY 24 (2), 155-180, 2014
2014
Völp, Marcus 232 Von Der Brüggen, Georg 157, 168 Wu, Lin 32 Yanagisawa, Yutaka 244
CW Yeh, T Nakajima, J Nakazawa, M Namiki, B Nikoli, N Nishio, H Noma, ...
The system can't perform the operation now. Try again later.
Articles 1–20