Browsing: Automated Synthesis