Title: Automatic discovery of heuristics for nondeterministic programs from sample execution traces
First published: 1979