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
532019
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
122020
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
102022
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
82022
BMC+ Fuzz: Efficient and effective test generation
R Metta, RK Medicherla, S Chakraborty
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022
72022
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
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
32023
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
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
Workshop Report on Generative AI-based Software Engineering
R Naik, A Rajbhoj, M Patwardhan, RK Medicherla
Proceedings of the 17th Innovations in Software Engineering Conference, 1-5, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20