This paper has been superceded by:

  ``Dynamically Discovering Likely Program Invariants to Support Program Evolution''
  by Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin.
  Proceedings of the 19th International Conference on Software Engineering
  (ICSE '99), Los Angeles, CA, May 19-21, 1999.


http://www.cs.washington.edu/homes/mernst/pubs/invariants-icse99.ps