@inproceedings{ChrFis08FLOPS,
 author = {Jan Christiansen and Sebastian Fischer},
 title = {EasyCheck -- Test Data for Free},
 booktitle = {FLOPS '08: Proceedings of the 9th International Symposium on Functional and Logic Programming},
 year = {2008},
 location = {Ise, Japan},
 publisher = {Springer LNCS 4989},
 comment = {to be published}
}