=== Research Papers ===

== Basics ==

== Tools ==

<bibtex> 
@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}
}
</bibtex>

<bibtex>
@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},
 }
</bibtex>