Efficient incremental algorithms for dynamic detection of likely invariants
Jeff H. Perkins, Michael D. Ernst · 2004
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of likely invariants over the program, also known as an operational abstraction. Operational abstractions are useful in testing, verification, bug detection, refactoring, comparing behavior, and many other tasks.