Это видео проходило в Erlang Questions, Scala Lounge, Lambda The Ultimate, но не все их читают, поэтому спешу поделиться ссылкой на презентацию Джона Хьюза Functional Programming — A Secret Weapon for Software Testing (video 59mins) (примерно час, 200 Мбайт). В ней он рассказывает о расширенной версии хаскелевского QuickCheck написанной Quviq AB (Хьюз CEO компании) на Эрланге. В довольно увлекательной и забавной манере он рассказывает о сути этого, довольно уникального, инструмента тестирования и о том, почему выбрали функциональный язык и именно Эрланг. Улыбнул момент "почему не хаскель":

...we don't have that pesky type system...

Rickard Nilsson в своём комментарии в Scala Lounge упомянул, что ScalaCheck тоже умеет делать test case shrinking, но пока там нет конечных автоматов как у Quviq, но в ближайшей версии кое-что подобное планируется. Стоит отметить, что Хьюз упоминает конечные автоматы как одно из наиболее значимых расширений "классического" QuickCheck.