|
 | Up a level |
Patil, Tejas and Komondoor, Raghavan and D'Souza, Deepak and Bhattacharya, Indrajit (2016) An Optimization Approach for Matching Textual Domain Models with Existing Code. In: 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), OCT 02-10, 2016, Releigh, NC, pp. 134-144.
Medicherla, Raveendra Kumar and Komondoor, Raghavan (2015) Precision vs. Scalability: Context Sensitive Analysis with Prefix Approximation. In: International Conference on Software Analysis, Evolution, and Reengineering (SANER), MAR 02-06, 2015, Montreal, CANADA, pp. 281-290.
Medicherla, Raveendra Kumar and Komondoor, Raghavan and Narendran, S (2015) Program Specialization and Verification using File Format Specifications. In: IEEE 31st International Conference on Software Maintenance and Evolution (ICSME), SEP 29-OCT 01, 2015, Bremen, GERMANY, pp. 191-200.
Lakshmi, Vasanta K and Acharya, Aravind and Komondoor, Raghavan (2014) Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. In: 19th International Symposium on Formal Methods (FM), MAY 12-16, 2014, Natl Univ Singapore, Singapore, SINGAPORE, pp. 335-350.
Komondoor, Raghavan (2013) Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. In: 20th International Static Analysis Symposium (SAS), JUN 20-22, 2013, Seattle, WA, pp. 259-282.
Komondoor, Raghavan and Bhattacharya, Indrajit and D'Souza, Deepak and Kale, Sachin (2013) Using Relationships for Matching Textual Domain Models with Existing Code. In: 20th Working Conference on Reverse Engineering, OCT 14-17, 2013, Univ Koblenz, Koblenz, GERMANY, pp. 371-380.
Athaiya, Snigdha and Komondoor, Raghavan (2017) Testing and analysis of web applications using page models. In: 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, 10 - 14 July 2017, Santa Barbara, pp. 181-191.
Komondoor, Raghavan and Nandivada, Krishna V and Sinha, Saurabh and Field, John (2012) Identifying services from Legacy batch applications. In: ISEC '12 Proceedings of the 5th India Software Engineering Conference, Feb, 2012, Kanpur, UP, India.
Komondoor, Raghavan and Lakshmi, Vasanta K and Seetharam, Deva P and Balodia, Sudha (2012) Packet flow analysis in IP networks using data-flow analysis. In: ISEC '12 Proceedings of the 5th India Software Engineering Conference, Feb, 2012, Kanpur, UP, India.
Margoor, Amogh and Komondoor, Raghavan (2015) Two techniques to improve the precision of a demand-driven null-dereference verification approach. In: SCIENCE OF COMPUTER PROGRAMMING, 98 (4). pp. 645-679.
