Daikon (system)

Known as: Daikon (disambiguation)

Daikon is a computer program that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the…