Volgen
Varun Tulsian
Varun Tulsian
Onbekend partnerschap
Geen geverifieerd e-mailadres - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2