Clojurians Log v2

Hey folks. I have a friend who's looking to dig into some generative testing for a web service/app we're volunteering on. All the generative testing examples I have at hand are closed-source, from work done in another life. Does anyone have an open source project(s) they'd recommend he read to see some examples of exercising a domain with test.check? Preferably apps or services, rather than libraries.

that one conj keynote was about ostensibly testing dropbox I think there's a paper to go with it

and there was a much earlier conj talk about testing a web UI; that probably doesn't qualify as a real code example though