Number of items: 2.
Conference Proceedings
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.
This list was generated on Wed Nov 20 22:52:37 2024 IST.
