VeriFuzz: Program Aware Fuzzing-(Competition Contribution). AB Chowdhury, RK Medicherla, R Venkatesh TACAS (3), 244-249, 2019 | 53 | 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 | 22 | 2018 |
Fitness Guided Vulnerability Detection with Greybox Fuzzing RK Medicherla, R Komondoor, A Roychoudhury Search based software testing, 2020 | 12 | 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 | 10 | 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 | 8 | 2022 |
BMC+ Fuzz: Efficient and effective test generation R Metta, RK Medicherla, S Chakraborty 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 7 | 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 |
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 | 3 | 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 | 3 | 2023 |
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 |
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 |
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 |
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). R Metta, RK Medicherla, H Karmarkar FASE, 341-346, 2022 | 2 | 2022 |
Program specialization and verification using file format specifications RK Raveendra Kumar Medicherla IEEE International Conference on Software Maintenance and Evolution (ICSME …, 2015 | 2 | 2015 |
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 | 1 | 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 | 1 | 2023 |
Static analysis of file-processing programs using file format specifications RK Medicherla, R Komondoor, S Narendran arXiv preprint arXiv:1501.04730, 2015 | 1 | 2015 |
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 |