Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes. Testing an optimising compiler by generating random lambda terms. In Antonia Bertolino, Howard Foster, J. Jenny Li, editors, Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011. pages 91-97, ACM, 2011. [doi]
Abstract is missing.