Follow
Varun Tulsian
Varun Tulsian
Head of AI, Needl.ai
Verified email at needl.ai - Homepage
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
1202014
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
402014
The system can't perform the operation now. Try again later.
Articles 1–2