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

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 29, 6 (2004).
Tác giả chính:	Perkins, Jeff H.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	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.