Talk on ScalaCheck at Pittsburgh Scala Meetup on 2013-04-11