Prove your app wrong.

Select a target. Invariant explores the interface, infers the business rules that must hold, then attacks each one until something breaks.