Coding, Software Development, Java, Scala, Agile.
typical of PBT tools in all languages, as they make use of existing libraries for a good deal of their underlying functionality, especially things like assertions, assumptions, and theories. The example is verifying that when two List objects are joined together, the length of the resulting List is