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...
| Udgivet i: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Hovedforfatter: | |
| Format: | Article |
| Sprog: | English |
| Fag: |