Systematic generation of glass-box test cases for functional logic programs (2007)

by S Fischer, H Kuchen
Venue:In Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP’07