Martin Fowler has updated his Mocks Aren’t Stubs article. It has some nice, simple examples of state vs. behaviour verification during testing using mocks, stubs and other Testing Doubles.