Semi-supervised verified feedback generation

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani. Semi-supervised verified feedback generation. In Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. pages 739-750, ACM, 2016. [doi]

Authors

Shalini Kaleeswaran

This author has not been identified. Look up 'Shalini Kaleeswaran' in Google

Anirudh Santhiar

This author has not been identified. Look up 'Anirudh Santhiar' in Google

Aditya Kanade

This author has not been identified. It may be one of the following persons: Look up 'Aditya Kanade' in Google

Sumit Gulwani

This author has not been identified. Look up 'Sumit Gulwani' in Google