はてなブックマーク

I get asked this a lot, and I write property based testing tools for a living, so you'd think I have a good answer to this, but historically I haven't. This is my attempt to fix that. Historically the definition of property based testing has been "The thing that QuickCheck does". As a working definition this has served pretty well, but the problem is that it makes us unable to distinguish what the