Ravindra Metta

Over-Approximating Loops to Prove Properties using Bounded Model Checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 22 citations

Computing, Computer Engineering, Computer Science +9

A New Code Obfuscation Scheme for Software Protection

Aniket Kulkarni, Ravindra Metta · 2014 · 14 citations

Computing, Computer Science, Cybersecurity +9

TIC: a scalable model checking based approach to WCET estimation

Ravindra Metta, Martin Becker, Prasad Bokil et al. · 2016 · 13 citations

Computing, Computer Engineering, Computer Science +10

Over-approximating loops to prove properties using bounded model checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh et al. · Design, Automation, and Test in Europe · 2015 · 12 citations

Computing, Computer Engineering, Computer Science +9

BMC+Fuzz: Efficient and Effective Test Generation

Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty · 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) · 2022 · 12 citations

Computing, Computer Engineering, Computer Science +12