A heuristic approach to program verification

purl.stanford.edu/jx743gt2056