Looks like a very interesting paper for everyone trying to test any kind of tool that works on a (functional) language.

Love the Acknowledgement section.