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...
| Izdano u: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Glavni autor: | |
| Format: | Članak |
| Jezik: | English |
| Teme: |