<div>Thanks for your replies John and Tilman...</div>
<div> </div>
<div>I tried downloading Quickcheck from the link provided and run it, but however I was unable to.</div>
<div>I followed the instructions in the ReadMe file and pasted the eqc- folder to the "lib" folder inside my Erlang installation folder, but still the "eqc:quickcheck" command doesnt work.</div>
<div> </div>
<div>Can you kindly help me out ?  Is there anything I am missing ?</div>
<div> </div>
<div>regards,</div>
<div>Tej</div>