User Interaction Models for Disambiguation in Programming by Example
A machine learning framework for programming by example