[Haskell-cafe] Quickcheck research

[Macías López]

Hello:

I'm a Master's student in Computer Science. I have to make a project
involving some research, I'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.

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.

I would appreciate any directions.

Cheers,
Macías López.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111122/86afd690/attachment.htm>