1. Allwood, T.O.R., Eisenbach, S.: Tickling Java with a feather. Electron. Notes Theor. Comput. Sci. 238(5), 3–16 (2009).
http://dx.doi.org/10.1016/j.entcs.2009.09.037
2. Bazzichi, F., Spadafora, I.: An automatic generator for compiler testing. IEEE Trans. Softw. Eng. 4, 343–353 (1982)
3. Blanco, R., Miller, D., Momigliano, A.: Property-based testing via proof reconstruction work-in-progress. In: LFMTP 17: Logical Frameworks and Meta-Languages: Theory and Practice (2017)
4. Celentano, A., Reghizzi, S.C., Vigna, P.D., Ghezzi, C., Granata, G., Savoretti, F.: Compiler testing using a sentence generator. Softw. Pract. Experience 10(11), 897–918 (1980)
5. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 268–279 (2000).
http://doi.acm.org/10.1145/351240.351266