Palka, Michal H.: Testing an Optimising Compiler by Generating Random Lambda Terms. Göteborg : Chalmers University of Technology.

Palka, Michal H.; Claessen, Koen; Russo, Alejandro; Hughes, John: Testing an Optimising Compiler by Generating Random Lambda Terms. International Workshop on Automation of Software Test,

Claessen, Koen; Hughes, John; Palka, Michal H.; Smallbone, Nicholas; Svensson, Hans: Ranking programs using black box testing. Proceedings - International Conference on Software Engineering , pp. 103-110. ISBN/ISSN: 978-160558970-1

Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, U.: Finding Race Conditions in Erlang with Quick Check and PULSE. ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 149-160. ISBN/ISSN: 978-1-60558-332-7

Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Wiger, Ulf: Finding Race Conditions in Erlang with QuickCheck and PULSE. ACM SIGPLAN international conference on Functional programming,