Follow
Varun Tulsian
Title
Cited by
Cited by
Year
Minthint: Automated synthesis of repair hints
S Kaleeswaran, V Tulsian, A Kanade, A Orso
Proceedings of the 36th International Conference on Software Engineering …, 2014
1172014
Mux: algorithm selection for software model checkers
V Tulsian, A Kanade, R Kumar, A Lal, AV Nori
Proceedings of the 11th Working Conference on Mining Software Repositories …, 2014
392014
The system can't perform the operation now. Try again later.
Articles 1–2