Sales: Take algorithms apart with 20 x as few as possible examples each and train machine learning algorithm on them - pairs of consecutive statements - multiple input/output pairs for e.g. append, so can work out cases - blast pairs with possible inputs to find i/o faster