2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2015★ 2 cited
Static Analysis of File-Processing Programs using File Format Specifications
Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran
Programs that process data that reside in files are widely used in varied domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs…
cs.SE2010
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…