Efficient incremental algorithms for dynamic detection of likely invariants

  title={Efficient incremental algorithms for dynamic detection of likely invariants},
  author={Jeff H. Perkins and Michael D. Ernst},
  booktitle={SIGSOFT FSE},
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… CONTINUE READING

7 Figures & Tables



Citations per Year

118 Citations

Semantic Scholar estimates that this publication has 118 citations based on the available data.

See our FAQ for additional information.