Pulse

ProTest (Property-based Testing) is a project funded by the EU.

You can find more on PULSE in our ICFP paper:

Finding Race Conditions in Erlang with QuickCheck and PULSE
Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts and Ulf Wiger
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009)
Edinburgh, Scotland, 31st August - 2nd September 2009