Slide 1Assert early and assert often Practical hints on effective asserting Tony Hoare Techfest February 2002 Slide 2 Benefits of assertions today… Test probes Program…