Christiansen, J., & Fischer, S. (2008). EasyCheck -- Test Data for Free. Paper presented at the FLOPS '08: Proceedings of the 9th International Symposium on Functional and Logic Programming.

Fischer, S., & Kuchen, H. (2007). Systematic generation of glass-box test cases for functional logic programs. Paper presented at the PPDP '07: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming, New York, NY, USA.