Statistics
Statistical analysis is used to decide if properties are likely to be invariants as opposed to coincidental properties
- Negative invariants: relationships that might be expected to occur but were never observed in the input
- Inferring ends of ranges