"Systematic generation of glass-box test cases for functional logic programs."

Sebastian Fischer, Herbert Kuchen (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics