Follow
Raveendra Kumar Medicherla
Title
Cited by
Cited by
Year
VeriFuzz: Program Aware Fuzzing-(Competition Contribution).
AB Chowdhury, RK Medicherla, R Venkatesh
TACAS (3), 244-249, 2019
552019
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
222018
Fitness Guided Vulnerability Detection with Greybox Fuzzing
RK Medicherla, R Komondoor, A Roychoudhury
Search based software testing, 2020
132020
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
122022
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
92022
BMC+ Fuzz: Efficient and effective test generation
R Metta, RK Medicherla, S Chakraborty
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022
82022
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
62023
Architectural refactoring of a mission critical integration application: a case study
M Raveendra Kumar, R Harikumar
4th India Software Engineering Conference, 77-83, 2011
52011
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
32023
Hdr-fuzz: Detecting buffer overruns using addresssanitizer instrumentation and fuzzing
RK Medicherla, M Nagalakshmi, T Sharma, R Komondoor
arXiv preprint arXiv:2104.10466, 2021
32021
VeriFuzz: Program Aware Fuzzing: (Competition Contribution)
A Basak Chowdhury, RK Medicherla
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
32019
Precision vs. scalability: Context sensitive analysis with prefix approximation
RK Raveendra Kumar Medicherla
2015 IEEE 22nd International Conference on Software Analysis, Evolution and …, 2015
32015
Fuzznt: Checking for program non-termination
H Karmarkar, RK Medicherla, R Metta, P Yeduru
2022 IEEE International Conference on Software Maintenance and Evolution …, 2022
22022
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
R Metta, RK Medicherla, H Karmarkar
FASE, 341-346, 2022
22022
Program specialization and verification using file format specifications
RK Raveendra Kumar Medicherla
IEEE International Conference on Software Maintenance and Evolution (ICSME …, 2015
22015
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
12023
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
12023
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
12023
Static analysis of file-processing programs using file format specifications
RK Medicherla, R Komondoor, S Narendran
arXiv preprint arXiv:1501.04730, 2015
12015
17th Innovations in Software Engineering Conference
SK Chakrabarti, R Komondoor, RK Medicherla, A Rastogi, S Ghosh, ...
2024
The system can't perform the operation now. Try again later.
Articles 1–20