Write these up and submit them to Canvas, the day before the lecture.

===========================================================================

Please include in your write up a summary/commentary of the paper:
Dynamically Discovering Likely Program Invariants to Support Program Evolution

===========================================================================

Define the following terms:
 * Precondition
 * Postcondition
 * Invariant

Write a two-sentence answer to each of the following questions:
 * What types of invariants can Daikon discover?
 * What guarantees does Daikon provide for the discovered invariants?
 * Briefly describe two use cases for which discovered invariants are useful.

===========================================================================

end.