Seguir
Varun Tulsian
Varun Tulsian
Afiliação desconhecida
Nenhum e-mail foi confirmado - Página inicial
Título
Citado por
Citado por
Ano
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–2