| VeriFuzz: Program Aware Fuzzing-(Competition Contribution). AB Chowdhury, RK Medicherla, R Venkatesh TACAS (3), 244-249, 2019 | 44 | 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 | 18 | 2018 |
| Fitness Guided Vulnerability Detection with Greybox Fuzzing RK Medicherla, R Komondoor, A Roychoudhury Search based software testing, 2020 | 8 | 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 | 6 | 2022 |
| BMC+ Fuzz: Efficient and effective test generation R Metta, RK Medicherla, S Chakraborty 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 5 | 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 | 5 | 2022 |
| Architectural refactoring of a mission critical integration application: a case study M Raveendra Kumar, R Harikumar 4th India Software Engineering Conference, 77-83, 2011 | 5 | 2011 |
| Hdr-fuzz: Detecting buffer overruns using addresssanitizer instrumentation and fuzzing RK Medicherla, M Nagalakshmi, T Sharma, R Komondoor arXiv preprint arXiv:2104.10466, 2021 | 3 | 2021 |
| 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 |
| VeriFuzz 1.4: Checking for (non-) termination (competition contribution) R Metta, P Yeduru, H Karmarkar, RK Medicherla Tools and Algorithms for the Construction and Analysis of Systems: 29th …, 2023 | 2 | 2023 |
| VeriFuzz: Program Aware Fuzzing: (Competition Contribution) A Basak Chowdhury, RK Medicherla Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 2 | 2019 |
| Program specialization and verification using file format specifications RK Raveendra Kumar Medicherla IEEE International Conference on Software Maintenance and Evolution (ICSME …, 2015 | 2 | 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 | 1 | 2022 |
| VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). R Metta, RK Medicherla, H Karmarkar FASE, 341-346, 2022 | 1 | 2022 |
| Static analysis of file-processing programs using file format specifications RK Medicherla, R Komondoor, S Narendran arXiv preprint arXiv:1501.04730, 2015 | 1 | 2015 |
| System and method for learning-based synthesis of data transformation rules RK Medicherla, S Mitra, RD Naik US Patent App. 17/982,677, 2023 | | 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 | | 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 | | 2023 |
| Knowledge Transfer for Pseudo-code Generation from Low Resource Programming Language A Sontakke, K Kalra, M Patwardhan, L Vig, RK Medicherla, R Naik, ... arXiv preprint arXiv:2303.09062, 2023 | | 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 | | 2023 |
Raghavan KomondoorIndian Institute of Science, BangaloreVerified email at csa.iisc.ernet.in
