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...
| Foilsithe in: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Príomhchruthaitheoir: | |
| Formáid: | Alt |
| Teanga: | English |
| Ábhair: |