@inproceedings{FischerKuchen07PPDP,
 author = {Sebastian Fischer and Herbert Kuchen},
 title = {Systematic generation of glass-box test cases for functional logic programs},
 booktitle = {PPDP '07: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming},
 year = {2007},
 isbn = {978-1-59593-769-8},
 pages = {63--74},
 location = {Wroclaw, Poland},
 doi = {http://doi.acm.org/10.1145/1273920.1273930},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }