Examples of test in ScalaTest, ScalaCheck, Specs2 and JUnit