Raveendra Kumar Medicherla
Cited by
Cited by
VeriFuzz: Program Aware Fuzzing-(Competition Contribution).
AB Chowdhury, RK Medicherla, R Venkatesh
TACAS (3), 244-249, 2019
VeriAbs: Verification by Abstraction and Test Generation: (Competition Contribution)
P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ...
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
Fitness Guided Vulnerability Detection with Greybox Fuzzing
RK Medicherla, R Komondoor, A Roychoudhury
Search based software testing, 2020
Code summarization: Do transformers really understand code?
AN Sontakke, M Patwardhan, L Vig, RK Medicherla, R Naik, G Shroff
Deep Learning for Code Workshop, 2022
Smart contract fuzzing for enterprises: the language agnostic way
S Pani, HV Nallagonda, S Prakash, R Vigneswaran, RK Medicherla, ...
2022 14th International Conference on COMmunication Systems & NETworkS …, 2022
BMC+ Fuzz: Efficient and effective test generation
R Metta, RK Medicherla, S Chakraborty
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022
VeriFuzz 1.4: Checking for (non-) termination (competition contribution)
R Metta, P Yeduru, H Karmarkar, RK Medicherla
International Conference on Tools and Algorithms for the Construction and …, 2023
Architectural refactoring of a mission critical integration application: a case study
M Raveendra Kumar, R Harikumar
4th India Software Engineering Conference, 77-83, 2011
Smartfuzzdrivergen: Smart contract fuzzing automation for golang
S Pani, HV Nallagonda, Vigneswaran, RK Medicherla, M Rajan
Proceedings of the 16th Innovations in Software Engineering Conference, 1-11, 2023
Hdr-fuzz: Detecting buffer overruns using addresssanitizer instrumentation and fuzzing
RK Medicherla, M Nagalakshmi, T Sharma, R Komondoor
arXiv preprint arXiv:2104.10466, 2021
VeriFuzz: Program Aware Fuzzing: (Competition Contribution)
A Basak Chowdhury, RK Medicherla
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
Precision vs. scalability: Context sensitive analysis with prefix approximation
RK Raveendra Kumar Medicherla
2015 IEEE 22nd International Conference on Software Analysis, Evolution and …, 2015
Fuzznt: Checking for program non-termination
H Karmarkar, RK Medicherla, R Metta, P Yeduru
2022 IEEE International Conference on Software Maintenance and Evolution …, 2022
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
R Metta, RK Medicherla, H Karmarkar
FASE, 341-346, 2022
Program specialization and verification using file format specifications
RK Raveendra Kumar Medicherla
IEEE International Conference on Software Maintenance and Evolution (ICSME …, 2015
Method and system for performing program transformations for precise analysis of enterprise applications
RK Medicherla, S Pradhan, RD Naik, SP Kondewar
US Patent App. 18/179,963, 2023
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation
K Hasija, S Pradhan, M Patwardhan, RK Medicherla, L Vig, R Naik
arXiv preprint arXiv:2304.13350, 2023
Multi-Layer Observability for Fault Localization in Microservices Based Systems
R Rangaiyengar, R Komondoor, RK Medicherla
2023 IEEE International Conference on Software Analysis, Evolution and …, 2023
Static analysis of file-processing programs using file format specifications
RK Medicherla, R Komondoor, S Narendran
arXiv preprint arXiv:1501.04730, 2015
17th Innovations in Software Engineering Conference
SK Chakrabarti, R Komondoor, RK Medicherla, A Rastogi, S Ghosh, ...
The system can't perform the operation now. Try again later.
Articles 1–20