1. Download and install Erlang: http://www.erlang.org/download/otp_win32_R14B01.exe 2. Download QuickCheck mini: http://www.quviq.com/downloads/eqcmini.zip Extract eqcmini.zip and paste inside "lib" within the Erlang installation (see 1) 3. Make sure you have the attached file dict_eqc.erl (see link on previous page).