Efficient incremental algorithms for dynamic detection of likely invariants.

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 test...

Celý popis

Podrobná bibliografie

Vydáno v:	Software engineering notes. 29, 6 (2004).
Hlavní autor:	Perkins, Jeff H.
Médium:	Článek
Jazyk:	English
Témata:	Theory of computation. Logics and meanings of programs. Specifying and Verifying and Reasoning about Programs. Invariants. Algorithms. Performance. Batch algorithm. Dynamic invariant detection. Incremental algorithm. Reversing optimizations.