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

Full description

Bibliographic Details

Published in:	Software engineering notes. 29, 6 (2004).
Main Author:	Perkins, Jeff H.
Format:	Article
Language:	English
Subjects:	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.