Pages that link to "Item:Q2463543"
From MaRDI portal
The following pages link to The Daikon system for dynamic detection of likely invariants (Q2463543):
Displayed 5 items.
- Daikon (Q16498) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Using Fault Screeners for Software Error Detection (Q3058774) (← links)