Finding race conditions in Erlang with QuickCheck and PULSE. - Koen Claessen; Michal H. Palka; Nicholas Smallbone; John Hughes 001; Hans Svensson; Thomas Arts; Ulf T. Wiger (ICFP, 2009)

Ranking programs using black box testing. - Koen Claessen; John Hughes 001; Michal H. Palka; Nicholas Smallbone; Hans Svensson (AST, 2010)

Testing an optimising compiler by generating random lambda terms. - Michal H. Palka; Koen Claessen; Alejandro Russo; John Hughes 001 (AST, 2011)

Splittable pseudorandom number generators using cryptographic hashing. - Koen Claessen; Michal H. Palka (Haskell, 2013)

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. - Burke Fetscher; Koen Claessen; Michal H. Palka; John Hughes 001; Robert Bruce Findler (ESOP, 2015)

Generating constrained random data with uniform distribution. - Koen Claessen; Jonas Duregård; Michal H. Palka (J. Funct. Program., 2015)