Bibliography
Andrew W. Appel, Robert Dockins, and Xavier Leroy. A list-machine benchmark for mechanized metatheory. Journal of Automated Reasoning 49(3), pp. 453–491, 2012. http://www.cs.princeton.edu/~appel/listmachine/ |
Kenneth V. Hanford. Automatic generation of test cases. IBM Systems Journal 9(4), pp. 244–257, 1970. http://dl.acm.org/citation.cfm?id=1663480 |
Casey Klein, Robert Bruce Findler, and Matthew Flatt. The Racket virtual machine and randomized testing. Higher-Order and Symbolic Computation, 2013. http://plt.eecs.northwestern.edu/racket-machine/ |
John McCarthy. A Basis for a Mathematical Theory of Computation. In Computer Programming And Formal Systems by P. Braffort and D. Hirschberg (Ed.), 1963. http://www-formal.stanford.edu/jmc/basis.html |
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes. Testing an Optimising Compiler by Generating Random Lambda Terms. In Proc. International Workshop on Automation of Software Test, 2011. http://dl.acm.org/citation.cfm?id=1982615 |
Asumu Takikawa, T. Stephen Strickland, and Sam Tobin-Hochstadt. Constraining Delimited Control with Contracts. In Proc. European Symposium on Programming, pp. 229–248, 2013. http://dl.acm.org/citation.cfm?id=2450287 |