Подписаться
Varun Tulsian
Varun Tulsian
Неизвестная организация
Нет подтвержденного адреса электронной почты - Главная страница
Название
Процитировано
Процитировано
Год
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–2