Obserwuj
Raveendra Kumar Medicherla
Tytuł
Cytowane przez
Cytowane przez
Rok
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
212018
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
192022
Fitness Guided Vulnerability Detection with Greybox Fuzzing
RK Medicherla, R Komondoor, A Roychoudhury
Search based software testing, 2020
122020
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
102022
BMC+ Fuzz: Efficient and effective test generation
R Metta, RK Medicherla, S Chakraborty
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022
92022
A comparative study of analgesic potential of nalbuphine versus fentanyl during general anaesthesia
HK Prasad, R Kumar, R Rajagokilam, V Varadarajan
Int. J. Contem. Med. Res 3 (10), 2815-2821, 2016
92016
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
72023
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
72023
Architectural refactoring of a mission critical integration application: a case study
M Raveendra Kumar, R Harikumar
4th India Software Engineering Conference, 77-83, 2011
62011
Translation of low-resource COBOL to logically correct and readable Java leveraging high-resource Java refinement
S Gandhi, M Patwardhan, J Khatri, L Vig, RK Medicherla
Proceedings of the 1st International Workshop on Large Language Models for …, 2024
32024
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
32023
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
R Metta, RK Medicherla, H Karmarkar
FASE, 341-346, 2022
32022
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
Program specialization and verification using file format specifications
RK Raveendra Kumar Medicherla
IEEE International Conference on Software Maintenance and Evolution (ICSME …, 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
Hdr-fuzz: Detecting buffer overruns using addresssanitizer instrumentation and fuzzing
RK Medicherla, M Nagalakshmi, T Sharma, R Komondoor
arXiv preprint arXiv:2104.10466, 2021
22021
Method and system for performing program transformations for precise analysis of enterprise applications
RK Medicherla, S Pradhan, RD Naik, SP Kondewar
US Patent 12,182,556, 2024
12024
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20