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
732008
AutoMOTGen: Automatic model oriented test generator for embedded control systems
AA Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar
International Conference on Computer Aided Verification, 204-208, 2008
522008
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
512014
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
482012
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
102013
Applying design verification tools in automotive software v&v
AC Rao, AC Rajeev, A Yeolekar
SAE Technical Paper, 2011
82011
Concurrent program verification with invariant-guided underapproximation
S Prabhu, P Schrammel, M Srivas, M Tautschnig, A Yeolekar
International Symposium on Automated Technology for Verification and …, 2017
52017
Functional test generation through model inversion
AV Yeolekar, R Sethu
US Patent App. 12/712,384, 2011
42011
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
22019
Sequentialization using timestamps
A Yeolekar, K Madhukar, D Bhutada, R Venkatesh
International Conference on Theory and Applications of Models of Computation …, 2017
22017
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
12022
Improving dynamic inference with variable dependence graph
A Yeolekar
International Conference on Runtime Verification, 301-306, 2014
12014
Assertion checking using dynamic inference
A Yeolekar, D Unadkat
Haifa Verification Conference, 199-213, 2013
12013
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
Concurrent Program Verification with Invariant-Guided Underapproximation
M Tautschnig, A Yeolekar
Automated Technology for Verification and Analysis: 15th International …, 2017
2017
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, ...
Scaling Model Checking using Dynamic Inference for Test Generation
A Yeolekar, D Unadkat, V Agarwal, S Kumar, R Venkatesh
The system can't perform the operation now. Try again later.
Articles 1–20