I am a big fan of quickcheck, and have been for some years, it is often a great way to find very strange bugs before your customers or users do.
But I found elm-check a bit hard to figure out, the Readme file is a bit weird and not up to date, so here is a basic example on how to build and run a property in elm-check and how to use phantom js to do so.
to build it use
elm-make --yes test/WizardTest.elm
--output=test.html and open that file in a browser. However if you
want to run the properties in phantomjs you can do that as well.
I then use a makefile to actually run it like this
test: elm-make --yes test/WizardTest.elm --output=test.html phantom: test phantomjs phantomjs/run-elm-check.js test.html