Automatic discovery of heuristics for nondeterministic programs from sample execution traces | lit.salon