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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Τόπος έκδοσης:	Software engineering notes. 29, 6 (2004).
Κύριος συγγραφέας:	Perkins, Jeff H.
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	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.