Cross-supervised synthesis of web-crawlers
CodeHint: dynamic and interactive synthesis of code snippets