Coding, Software Development, Java, Scala, Agile.
public void filenameIncludesUsername(String username) { assumeThat(username, not(containsString("/"))); assertThat(new User(username).configFileName(), containsString(username)); } } QuickCheck QuickCheck for Haskell was one of the first, if not the first PBT tool. Here’s an example from Pedro