Здравствуйте, Курилка, Вы писали:

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

А что это за расширение?