| 1 | Design and analysis of verifiable automated refactoring tool for object oriented software systems  | 
| Researcher: | Malladi, Srinivas | 
| Guide: | Krishna, Rama | 
| University: | Koneru Lakshmaiah Education Foundation(KL University) | 
| Language: | English | 
| 2 | |
| Researcher: | Mahadevan, B | 
| Guide: | Narendran, T T | 
| University: | Indian Institute of Technology-Madras | 
| Language: | English |