> The programmer first had to decide what properties they cared about... then also had to say explicitly what state they expected each field to be in.

Yes, this is the point of testing. You have to think about what you're about to write! Before you write it! The technique in the article completely discards this. It's a terrible way to write tests.