14 citations · 19 across the 9 of their papers we have counts for
3 papers · 1 filter
HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing
Raveendra Kumar Medicherla, Malathy Nagalakshmi, Tanya Sharma +1
Buffer-overruns are a prevalent vulnerability in software libraries and applications. Fuzz testing is one of the effective techniques to detect vulnerabilities in general. Greybox…
Checking Observational Purity of Procedures
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Verifying whether a procedure is observationally pure is useful in many software engineering scenarios. An observationally pure procedure always returns the same value for the same…
A Case Study in Matching Service Descriptions to Implementations in an Existing System
Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor +1
A number of companies are trying to migrate large monolithic software systems to Service Oriented Architectures. A common approach to do this is to first identify and describe desi…