Coding, Software Development, Java, Scala, Agile.
org.scalacheck.Arbitrary._ import org.scalacheck.Prop._ class MySuite extends JUnitSuite with Checkers { @Test def testConcat() { check((a: List[Int], b: List[Int]) => a.size + b.size == (a ::: b).size) } } The example uses ScalaCheck, a PBT tool, which in turn uses ScalaTest and Checker. This is