@inproceedings{FischerKuchen08ICFP,
 author = {Sebastian Fischer and Herbert Kuchen},
 title = {Data-Flow Testing of Declarative Programs},
 booktitle = {ICFP'08: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming},
 year = {2008},
 location = {Victoria, Canada},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }