Hello:<br><br>I&#39;m a Master&#39;s student in Computer Science. I have to make a project involving some research, I&#39;m very interested in Quickcheck and I wonder if there are some areas which need work or if there is some potential research topic related to it.<br>

<br>In particular I know that Erlang Quickcheck has been worked on a lot and has some features like state machines or C bindings which may be useful to the Haskell community.<br><br>I would appreciate any directions.<br>
<br>Cheers,<br>Macías López.<br>