VeriFuzz: Program Aware Fuzzing-(Competition Contribution). AB Chowdhury, RK Medicherla, R Venkatesh TACAS (3), 244-249, 2019 | 55 | 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 | 21 | 2018 |
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 | 19 | 2022 |
Fitness Guided Vulnerability Detection with Greybox Fuzzing RK Medicherla, R Komondoor, A Roychoudhury Search based software testing, 2020 | 12 | 2020 |
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 | 10 | 2022 |
BMC+ Fuzz: Efficient and effective test generation R Metta, RK Medicherla, S Chakraborty 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 9 | 2022 |
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 | 9 | 2016 |
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 | 7 | 2023 |
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 | 7 | 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 | 6 | 2011 |
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 | 3 | 2024 |
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 | 3 | 2023 |
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). R Metta, RK Medicherla, H Karmarkar FASE, 341-346, 2022 | 3 | 2022 |
VeriFuzz: Program Aware Fuzzing: (Competition Contribution) A Basak Chowdhury, RK Medicherla Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 3 | 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 | 3 | 2015 |
Program specialization and verification using file format specifications RK Raveendra Kumar Medicherla IEEE International Conference on Software Maintenance and Evolution (ICSME …, 2015 | 3 | 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 | 2 | 2022 |
Hdr-fuzz: Detecting buffer overruns using addresssanitizer instrumentation and fuzzing RK Medicherla, M Nagalakshmi, T Sharma, R Komondoor arXiv preprint arXiv:2104.10466, 2021 | 2 | 2021 |
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 | 1 | 2024 |
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 | 1 | 2023 |