Experiment 2 conclusions
Invariants
- effectively summarize value data
- support programmer’s own inferences
- lead programmers to think in terms of invariants
- provide serendipitous information
Additional useful components of Daikon
- trace database (supports queries)
- invariant differencer