R. Venkatesh

Smart office automation via faster R-CNN based face recognition and internet of things

G Rajeshkumar, M. Braveen, R. Venkatesh et al. · Measurement Sensors · 2023 · 49 citations · Full text

VeriAbs : Verification by Abstraction and Test Generation

Mohammad Atif Faiz Afzal, A. Asia, Avriti Chauhan et al. · 2019 · 42 citations

Program Checking, Engineering, Verification +20

Revised submission for MOF 2.0 query / views /transformations RFP.

Biju K Appukuttan, Tony Clark, Laurence Tratt et al. · 2003 · 40 citations

Software Maintenance, Define Mappings, Engineering +22

Automatic Test Data Generation for C Programs

Prasad Bokil, Priyanka Darke, Ulka Shrotri et al. · 2009 · 32 citations

Engineering, Test Coverage, Test Data Generation +20

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

Program Checking, Engineering, Verification +18