Today’s focus
An approach to make invariants more prevalent and more practical
Underlying assumption:
- The presence of invariants will reduce the difficulty and cost of evolution
Goal: recover invariants from programs
Technique: run the program, examine values