Used in "The Fallacy of Futility: Debunking the Myth of Useless Unit Tests in Statically Typed Languages"