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]
@inproceedings{PalkaCRH11,
title = {Testing an optimising compiler by generating random lambda terms},
author = {Michal H. Palka and Koen Claessen and Alejandro Russo and John Hughes},
year = {2011},
doi = {10.1145/1982595.1982615},
url = {http://doi.acm.org/10.1145/1982595.1982615},
researchr = {https://researchr.org/publication/PalkaCRH11},
cites = {0},
citedby = {0},
pages = {91-97},
booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011},
editor = {Antonia Bertolino and Howard Foster and J. Jenny Li},
publisher = {ACM},
isbn = {978-1-4503-0592-1},
}